foo(int a)1*c85f09ccSJohn Levonvoid foo(int a) 2*c85f09ccSJohn Levon { 3*c85f09ccSJohn Levon return a; 4*c85f09ccSJohn Levon } 5*c85f09ccSJohn Levon bar(void)6*c85f09ccSJohn Levonint 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