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