aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
AgeCommit message (Expand)AuthorFilesLines
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