1  /* { dg-additional-options "-O1" } */
       2  
       3  int oh[1];
       4  int *x3;
       5  
       6  int *
       7  cm (char *m0)
       8  {
       9    return oh;
      10  }
      11  
      12  void
      13  ek (void)
      14  {
      15    for (;;)
      16      {
      17        char *b2 = 0;
      18  
      19        if (*b2 != 0) /* { dg-warning "dereference of NULL" } */
      20  	++b2;
      21  
      22        x3 = cm (b2);
      23      }
      24  }