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