foo(int a)1*c85f09ccSJohn Levonstatic 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