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  }