char a;
int b;
void c(void)
{
        if (0) {
                char *d;
                for (;;)
                        for (;;)
e:
                                *d *= (a && 0) ^ b && *d;
        }
        goto e;
}


/*
 * check-name: crash add-doms
 * check-command: test-linearize $file
 *
 * check-error-ignore
 * check-output-ignore
 */