foo(int a)1 static int foo(int a)
2 {
3 	if (a)
4 		return;
5 }
6 
ref(void)7 static void ref(void)
8 {
9 }
10 
11 /*
12  * check-name: missing-return3
13  * check-command: sparse -vir -flinearize=last $file
14  *
15  * check-error-start
16 linear/missing-return3.c:4:17: error: return with no return value
17  * check-error-end
18  */
19