db/fixup_kernel.sh: commit all my stuff
[smatch.git] / validation / crash-add-doms.c
blob54ad93e8424f4a34902fcaa71db2d526d9dad6f9
1 char a;
2 int b;
3 void c(void)
5 if (0) {
6 char *d;
7 for (;;)
8 for (;;)
9 e:
10 *d *= (a && 0) ^ b && *d;
12 goto e;
17 * check-name: crash add-doms
18 * check-command: test-linearize $file
20 * check-error-ignore
21 * check-output-ignore