aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/call-direct.c
AgeCommit message (Collapse)AuthorFilesLines
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck1-1/+1
Since the patterns in the testcases are evaluated in the shell script, the backslash used to escape characters special to the pattern need itself to be escaped. Theer is a few cases where it wasn't done so, partly because 'format -l' gave a single escape in its template. Fix all occurences neededing this double-escape as well as the 'format -l' template. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2017-12-21dereference of a function is a no-opLuc Van Oostenryck1-1/+0
For the '*' operator and functions, the C standard says: "If the operand points to a function, the result is a function designator; ... If the operand has type ‘pointer to type’, the result has type ‘type’". but also (C11 6.3.2.1p4): "(except with 'sizeof' ...) a function designator with type ‘function returning type’ is converted to an expression that has type ‘pointer to function returning type’". This means that in dereferencement of a function-designator is a no-op since the resulting expression is immediately back converted to a pointer to the function. The change effectively drop any dereferencement of function types during their evaluation. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2017-12-21add testcases for multiple deref of callsLuc Van Oostenryck1-1/+5
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck1-0/+14
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>