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