aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
AgeCommit message (Expand)AuthorFilesLines
2018-01-02Merge branches 'fix-expand-bitfield-deref', 'fix-fpops-cse', 'null-expr', 'si...Luc Van Oostenryck10-0/+262
2017-12-28add more testcases for function designator dereferenceLuc Van Oostenryck1-0/+13
2017-12-21fix expansion of constant bitfield dereferenceLuc Van Oostenryck1-1/+0
2017-12-21add testcase for constant bitfield dereferenceLuc Van Oostenryck1-0/+28
2017-12-21Merge branches 'deref-fun-ptr' and 'deref-base-type' into tipLuc Van Oostenryck2-0/+62
2017-12-21dereference of a function is a no-opLuc Van Oostenryck4-4/+0
2017-12-21add testcases for multiple deref of callsLuc Van Oostenryck4-4/+19
2017-12-21fix linearize (*fun)()Luc Van Oostenryck3-3/+0
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck7-0/+179
2017-12-21fix: evaluate_dereference() unexamined base typeLuc Van Oostenryck2-2/+0
2017-12-21add testcases for unexamined base typeLuc Van Oostenryck2-0/+64
2017-12-08fix: add missing degenerate() for logical notLuc Van Oostenryck1-1/+0
2017-12-07add testcases linearization of degenerated arrays/functionsLuc Van Oostenryck3-0/+110
2017-11-13Merge branches 'testcases-bugs', 'testcases-bugs-optim' and 'testcases-mem2re...Luc Van Oostenryck2-0/+55
2017-11-13add test case for superfluous cast with volatilesLuc Van Oostenryck1-0/+14
2017-11-13add testcase for return & inlineLuc Van Oostenryck1-0/+24
2017-11-13add testcase for __builtin_unreachable()Luc Van Oostenryck1-0/+31
2017-11-13add test case for memory to register problemLuc Van Oostenryck1-0/+25
2017-11-13dump-ir: make it more flexibleLuc Van Oostenryck1-1/+1
2017-11-13dump-ir: rename -fdump-linearize to -fdump-irLuc Van Oostenryck1-1/+1
2017-06-15fix: add missing examine in evaluate_dereference()Luc Van Oostenryck1-0/+19
2017-05-19fix implicit zero initializer.Luc Van Oostenryck3-0/+171
2017-05-19add test case for linearize_initializer() of bitfieldsLuc Van Oostenryck1-0/+27