foo(int a)1*c85f09ccSJohn Levon void foo(int a)
2*c85f09ccSJohn Levon {
3*c85f09ccSJohn Levon 	return a;
4*c85f09ccSJohn Levon }
5*c85f09ccSJohn Levon 
bar(void)6*c85f09ccSJohn Levon int bar(void)
7*c85f09ccSJohn Levon {
8*c85f09ccSJohn Levon 	return;
9*c85f09ccSJohn Levon }
10*c85f09ccSJohn Levon 
11*c85f09ccSJohn Levon /*
12*c85f09ccSJohn Levon  * check-name: bad return type
13*c85f09ccSJohn Levon  * check-command: sparse -Wno-decl $file
14*c85f09ccSJohn Levon  *
15*c85f09ccSJohn Levon  * check-error-start
16*c85f09ccSJohn Levon bad-return-type.c:3:16: error: return expression in void function
17*c85f09ccSJohn Levon bad-return-type.c:8:9: error: return with no return value
18*c85f09ccSJohn Levon  * check-error-end
19*c85f09ccSJohn Levon  */
20