xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/inline-return.c (revision 1e56f352c1c208679012bca47d552e127f5b1072) 
1 static inline int def(void)
2 {
3 	return 1;
4 }
5 
6 int foo(void)
7 {
8 	return def();
9 }
10 
11 int bar(void)
12 {
13 	return def();
14 	return 0;
15 }
16 
17 /*
18  * check-name: inline-return.c
19  * check-command: test-linearize -Wno-decl $file
20  *
21  * check-output-ignore
22  * check-output-pattern(2): ret\\..*\\$1
23  * check-output-excludes: ret\\..*\\$0
24  */
25