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