root/usr/src/tools/smatch/src/validation/crash-ptrlist.c
a;
char b;
c() {
  while () {
    int *d;
    while () {
      char *e = &b;
      if (a ?: (*d = f || *0) || g) {
        if
          ;
      } else {
        int h = 0;
        if (j) {
          char **i = &e;
          if (0 ? 0 : 0 ?: (**i = 1 || 0 && 0))             h ?: (*e = i && &h

/*
 * check-name: crash ptrlist
 * check-command: test-linearize $file
 *
 * check-error-ignore
 * check-output-ignore
 */