xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/call-inline.c (revision 8515d723262b57176aeeda8734edbe79fe1e7a5a)
1 static inline int fun(void) { return 42; }
2 
3 int fi(void) { return fun(); }
4 
5 int i0(void) { return (fun)(); }
6 int i1(void) { return (*fun)(); }		// C99,C11 6.5.3.2p4
7 int i2(void) { return (**fun)(); }		// C99,C11 6.5.3.2p4
8 int i3(void) { return (***fun)(); }		// C99,C11 6.5.3.2p4
9 
10 /*
11  * check-name: inline calls
12  * check-command: test-linearize -Wno-decl $file
13  *
14  * check-output-ignore
15  * check-output-excludes: load
16  * check-output-excludes: call
17  * check-output-pattern(5): ret\\..* \\$42
18  */
19