1  /* { dg-do compile } */
       2  
       3  int a, b, c, d;
       4  void h();
       5  int e() __attribute__((returns_twice));
       6  void f() {
       7    int *g = (int *)(__INTPTR_TYPE__)c;
       8    if (b) {
       9      h();
      10      g--;
      11      if (a)
      12        if (d)
      13          h();
      14    }
      15    if (g++)
      16      e();
      17    c = (__INTPTR_TYPE__)g;
      18  }