Type check


int
main(void) {
        int a[10];
        char *b;

        a[b] = 0;
}
error: array index not integer at line 6