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