Remove some false positives and enable the check.
[smatch.git] / validation / badtype4.c
blob978c5bdbd7da8cbebc9d10e5adfe6918b94c31eb
1 void a(void)
3 switch(x) {
4 case 1:
5 break;
8 /*
9 * check-name: switch(bad_type) {...} segfault
11 * check-error-start
12 badtype4.c:3:9: error: undefined identifier 'x'
13 badtype4.c:4:7: error: incompatible types for 'case' statement
14 * check-error-end