extra: fix bug handling untracked pointers
[smatch.git] / validation / badtype4.c
blob7421ba4872c2a31dfab656e585bfb42b35195e0e
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:16: error: undefined identifier 'x'
13 badtype4.c:4:14: error: incompatible types for 'case' statement
14 * check-error-end