1  /* { dg-additional-options "-fanalyzer-transitivity" } */
       2  /* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
       3  
       4  extern void g();
       5  struct a {
       6  } b(int c, int d) {
       7    struct a *e = 0;
       8    int f;
       9    if (c & 1 || !(c & 2))
      10      return *e;
      11    f = 0;
      12    for (; f < d - 1; f++)
      13      g(e[1]); /* { dg-warning "dereference of NULL" } */
      14  }