foo(int a)1*c85f09ccSJohn Levon static int foo(int a)
2*c85f09ccSJohn Levon {
3*c85f09ccSJohn Levon 	goto label;
4*c85f09ccSJohn Levon 	switch(a) {
5*c85f09ccSJohn Levon 	default:
6*c85f09ccSJohn Levon label:
7*c85f09ccSJohn Levon 		break;
8*c85f09ccSJohn Levon 	}
9*c85f09ccSJohn Levon 	return 0;
10*c85f09ccSJohn Levon }
11*c85f09ccSJohn Levon 
12*c85f09ccSJohn Levon /*
13*c85f09ccSJohn Levon  * check-name: unreachable-label0
14*c85f09ccSJohn Levon  * check-command: test-linearize $file
15*c85f09ccSJohn Levon  *
16*c85f09ccSJohn Levon  * check-output-ignore
17*c85f09ccSJohn Levon  * check-output-contains: ret\\.
18*c85f09ccSJohn Levon  * check-output-excludes: END
19*c85f09ccSJohn Levon  */
20