1 void a(void)
   2 {
   3         switch(x) {
   4         case 1:
   5                 break;
   6         }
   7 }
   8 /*
   9  * check-name: switch(bad_type) {...} segfault
  10  *
  11  * check-error-start
  12 badtype4.c:3:16: error: undefined identifier 'x'
  13 badtype4.c:4:14: error: incompatible types for 'case' statement
  14  * check-error-end
  15  */