aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/eval
AgeCommit message (Expand)AuthorFilesLines
2021-04-19remove early simplification of casts during evaluationLuc Van Oostenryck2-2/+0
2021-04-18add testcases for simplification of casts.Luc Van Oostenryck2-0/+30
2021-02-24fix eval of the assignment of a non-restricted value to a restricted variableLuc Van Oostenryck1-0/+22
2020-11-18unqual: statement expressions should drop qualifiersLuc Van Oostenryck1-1/+0
2020-11-18unqual: comma expressions should drop qualifiersLuc Van Oostenryck1-1/+0
2020-11-18unqual: add testcasesLuc Van Oostenryck4-0/+75
2020-11-18casts should drop qualifiersLuc Van Oostenryck1-0/+14
2020-08-17union-cast: teach sparse about union castsLuc Van Oostenryck2-2/+0
2020-08-15union-cast: add some testcasesLuc Van Oostenryck2-0/+49
2020-07-13fix evaluation error with assignment of qualified arraysLuc Van Oostenryck2-2/+0
2020-07-10add testcase for missing warning for assignment to constLuc Van Oostenryck1-0/+29
2020-07-10add another testcase with const array/pointerLuc Van Oostenryck1-0/+50
2020-07-09add a testcase for assignment to const <type> (*)[]Luc Van Oostenryck1-0/+7
2020-07-04avoid multiple warnings when inlining undeclared callsLuc Van Oostenryck1-0/+19
2019-12-17Merge branch 'expand-init' (early part) into nextLuc Van Oostenryck2-0/+40
2019-12-10degenerated arrays & functions are addressable tooLuc Van Oostenryck1-1/+0
2019-12-10fix addressability marking in evaluate_addressof()Luc Van Oostenryck1-1/+0
2019-12-10add testcase for addressability of 'complex' symbolsLuc Van Oostenryck1-0/+24
2019-12-10add testcase for addressability of degenerated symbolLuc Van Oostenryck1-0/+18
2019-12-09fix premature examination of dereferenced objectLuc Van Oostenryck1-0/+27
2019-11-10typeof: examine it at show-timeLuc Van Oostenryck1-1/+0
2019-11-10typeof: add a test for unexamined typeofLuc Van Oostenryck1-0/+11
2019-09-28asm: arrays & functions in non-memory operand degenerate into pointersLuc Van Oostenryck1-1/+0
2019-09-27asm: missing evaluation of asm statementsLuc Van Oostenryck1-1/+0
2019-09-27asm: add test evaluation, expansion & linearization of ASM operandsLuc Van Oostenryck2-0/+85