1  /* { dg-do compile } */
       2  /* { dg-options "-O -fno-tree-ccp" } */
       3  
       4  int a;
       5  void b(int c) {}
       6  int main()
       7  {
       8    int d = 0, *e = &a;
       9    if (d) {
      10      int *f = e;
      11      while (a)
      12        b(e != f);
      13    }
      14    return 0;
      15  }