gcc/testsuite/c-c++-common/analyzer/pr96646.c

   1 /* { dg-additional-options "-O1" } */
   2
   3 struct zx {
   4   struct zx *b4, *g0;
   5 };
   6
   7 struct oo {
   8   void *ph;
   9   struct zx el;
  10 };
  11
  12 inline void
  13 k7 (struct zx *xj)
  14 {
  15   xj->b4->g0 = 0; /* { dg-warning "dereference of NULL" } */
  16   xj->b4 = 0;
  17 }
  18
  19 void
  20 n8 (struct oo *yx)
  21 {
  22   k7 (&yx->el);
  23   n8 (yx);
  24 }