foo(int a)1*c85f09ccSJohn Levon int foo(int a)
2*c85f09ccSJohn Levon {
3*c85f09ccSJohn Levon }
4*c85f09ccSJohn Levon 
bar(int a)5*c85f09ccSJohn Levon int bar(int a)
6*c85f09ccSJohn Levon {
7*c85f09ccSJohn Levon 	if (a)
8*c85f09ccSJohn Levon 		return 0;
9*c85f09ccSJohn Levon }
10*c85f09ccSJohn Levon 
11*c85f09ccSJohn Levon /*
12*c85f09ccSJohn Levon  * check-name: missing return
13*c85f09ccSJohn Levon  * check-command: sparse -Wno-decl $file
14*c85f09ccSJohn Levon  * check-known-to-fail
15*c85f09ccSJohn Levon  *
16*c85f09ccSJohn Levon  * check-error-start
17*c85f09ccSJohn Levon missing-return.c:3:1: warning: control reaches end of non-void function
18*c85f09ccSJohn Levon missing-return.c:9:1: warning: control reaches end of non-void function
19*c85f09ccSJohn Levon  * check-error-end
20*c85f09ccSJohn Levon  */
21