(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
torture/
pr93647.c
       1  /* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
       2  
       3  int *tz;
       4  
       5  void
       6  ky (int);
       7  
       8  void
       9  wd (void)
      10  {
      11    tz = 0;
      12    ky (*tz); /* { dg-warning "dereference of NULL" } */
      13  }
      14