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