1 /* { dg-do compile } */
2 
3 int a, b, c, d;
4 void h();
5 int e() __attribute__((returns_twice));
f()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 }
19