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