xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/missing-return1.c (revision a629ded1d7b2e67c2028ccbc5ba9099328cc4e1b)
1 static inline int fun(int a)
2 {
3 	if (a)
4 		return 1;
5 }
6 
7 static int foo(int a)
8 {
9 	return fun(a);
10 }
11 
12 /*
13  * check-name: missing-return1
14  * check-command: sparse -vir -flinearize=last $file
15  */
16