validation/crash-add-doms.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

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
 */