xref: /illumos-gate/usr/src/tools/smatch/src/validation/crash-add-doms.c (revision c65ebfc7045424bd04a6c7719a27b0ad3399ad54)
1 char a;
2 int b;
3 void c(void)
4 {
5 	if (0) {
6 		char *d;
7 		for (;;)
8 			for (;;)
9 e:
10 				*d *= (a && 0) ^ b && *d;
11 	}
12 	goto e;
13 }
14 
15 
16 /*
17  * check-name: crash add-doms
18  * check-command: test-linearize $file
19  *
20  * check-error-ignore
21  * check-output-ignore
22  */
23