foo(int a)1static int foo(int a) 2 { 3 if (a) 4 return; 5 } 6 ref(void)7static void ref(void) 8 { 9 } 10 11 /* 12 * check-name: missing-return3 13 * check-command: sparse -vir -flinearize=last $file 14 * 15 * check-error-start 16 linear/missing-return3.c:4:17: error: return with no return value 17 * check-error-end 18 */ 19