Type check


int
main(void) {
        char *a = "foo";

        switch (a) {
        default:
                break;
        }
}
error - switch value not an integer