xref: /illumos-gate/usr/src/tools/smatch/src/validation/crash-ptrlist.c (revision b210e77709da8e42dfe621e10ccf4be504206058)
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
10           ;
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
16 
17 /*
18  * check-name: crash ptrlist
19  * check-command: test-linearize $file
20  *
21  * check-error-ignore
22  * check-output-ignore
23  */
24