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