implied: tweak some debug statements
[smatch.git] / validation / crash-ptrlist.c
blob8e9b5cb5fa962b40ea91901f0df421e31dbef720
1 a;
2 char b;
3 c() {
4 while () {
5 int *d;
6 while () {
7 char *e = &b;
8 if (a ?: (*d = f || *0) || g) {
9 if
11 } else {
12 int h = 0;
13 if (j) {
14 char **i = &e;
15 if (0 ? 0 : 0 ?: (**i = 1 || 0 && 0)) h ?: (*e = i && &h
18 * check-name: crash ptrlist
19 * check-command: test-linearize $file
21 * check-error-ignore
22 * check-output-ignore