aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/call-inline.c
AgeCommit message (Expand)AuthorFilesLines
2024-01-07testsuite: avoid "warning: stray \ before t" messageLuc Van Oostenryck1-1/+1
2020-11-17cfg: early CFG simplificationLuc Van Oostenryck1-1/+1
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck1-1/+1
2017-12-21dereference of a function is a no-opLuc Van Oostenryck1-1/+0
2017-12-21add testcases for multiple deref of callsLuc Van Oostenryck1-1/+5
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck1-0/+15