aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
AgeCommit message (Expand)AuthorFilesLines
2018-06-26cast: simplify TRUNC + ZEXT to ANDLuc Van Oostenryck1-106/+0
2018-06-23cast: keep instruction sizes consistentLuc Van Oostenryck2-11/+189
2018-06-23cast: specialize integer castsLuc Van Oostenryck5-99/+97
2018-06-23cast: make casts from pointer always size preservingLuc Van Oostenryck1-84/+86
2018-06-23cast: add support for -Wpointer-to-int-castLuc Van Oostenryck1-1/+1
2018-06-23cast: specialize cast from pointersLuc Van Oostenryck4-4/+42
2018-06-23cast: make pointer casts always size preservingLuc Van Oostenryck1-30/+32
2018-06-23cast: specialize casts from unsigned to pointersLuc Van Oostenryck1-5/+5
2018-06-23cast: specialize floats to integer conversionLuc Van Oostenryck3-9/+11
2018-06-23cast: handle NO-OP castsLuc Van Oostenryck1-0/+15
2018-06-23cast: specialize FPCAST into [USF]CVTFLuc Van Oostenryck1-10/+10
2018-06-23cast: reorg testcases related to castsLuc Van Oostenryck6-0/+858
2018-06-16testsuite: fix missing returnLuc Van Oostenryck1-8/+8
2018-05-06use function-like syntax for __range__Luc Van Oostenryck1-0/+31
2018-03-18fix-return: remove special case for single returnLuc Van Oostenryck2-27/+3
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck8-11/+11
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