(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
pr94099.c
       1  /* { dg-additional-options "-O1" } */
       2  
       3  struct cg {
       4    int hk;
       5    int *bg;
       6  };
       7  
       8  union vb {
       9    struct cg gk;
      10  };
      11  
      12  void
      13  l3 (union vb *);
      14  
      15  void
      16  pl (void)
      17  {
      18    union vb th = { 0, };
      19    int sc;
      20  
      21    for (sc = 0; sc < 1; ++sc)
      22      {
      23        th.gk.hk = 0;
      24        th.gk.bg[sc] = 0; /* { dg-warning "dereference of NULL '0'" } */
      25        // TODO: above message could be improved
      26        l3 (&th);
      27      }
      28  }