xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/missing-return4.c (revision e82490700e19f1b8a2cef6102f4726144d281988)
1 static int foo(int a)
2 {
3 	int r = a;
4 	r;
5 }
6 
7 /*
8  * check-name: missing-return4
9  * check-command: test-linearize -Wno-decl $file
10  *
11  * check-error-ignore
12  * check-output-ignore
13  * check-output-contains: ret\\..*UNDEF
14  */
15