1 static int foo(int a) 2 { 3 if (a) 4 return 1; 5 } 6 7 /* 8 * check-name: missing-return0 9 * check-command: sparse -vir -flinearize=last $file 10 */ 11