aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/deref-ptr-ptr.c
AgeCommit message (Expand)AuthorFilesLines
2019-02-04target.c: ignore -m64 on archs where int32_t is a longLuc Van Oostenryck1-0/+1
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck1-2/+2
2017-12-21fix: evaluate_dereference() unexamined base typeLuc Van Oostenryck1-1/+0
2017-12-21add testcases for unexamined base typeLuc Van Oostenryck1-0/+27