foo(int a)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  */
12