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 */