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  */