xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/unreachable-label0.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
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