xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/fn-ref.c (revision e82490700e19f1b8a2cef6102f4726144d281988)
1 extern int fun0(int a);
2 extern int fun1(int a);
3 
4 int foo(int a);
5 int foo(int a)
6 {
7 	int v = fun0(a);
8 	return v;
9 }
10 
11 void *bar(int a)
12 {
13 	return fun1;
14 }
15 
16 int fun0(int a)
17 {
18 	return a + 0;
19 }
20 
21 int fun1(int a)
22 {
23 	return a + 1;
24 }
25 
26 /*
27  * check-name: llvm function reference
28  * check-command: sparse-llvm-dis -Wno-decl $file
29  *
30  * check-output-ignore
31  * check-output-excludes: fun[0-9]\.[1-9]
32  */
33