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