a(void)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 */
16