[PATCH] fix for switch(bad_type) {...} segfault

[smatch.git] / validation / badtype4.c

void a(void)
{
        switch(x) {
        case 1:
                break;
        }
}