xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/call-direct.c (revision 440a8a36792bdf9ef51639066aab0b7771ffcab8)
1 extern int fun(void);
2 
3 int ff(void) { return fun(); }
4 
5 int f0(void) { return (fun)(); }
6 int f1(void) { return (*fun)(); }	// C99,C11 6.5.3.2p4
7 int f2(void) { return (**fun)(); }	// C99,C11 6.5.3.2p4
8 int f3(void) { return (***fun)(); }	// C99,C11 6.5.3.2p4
9 
10 /*
11  * check-name: direct calls
12  * check-command: test-linearize -Wno-decl $file
13  *
14  * check-output-ignore
15  * check-output-excludes: load
16  * check-output-pattern(5): call\\..* fun
17  */
18