1 void abort(void);
2 int x, y;
3 void init_xy(void);
4 void
test4(void)5 test4(void)
6 {
7   init_xy();
8   _Bool iftemp0;
9   int x1 = x;
10   _Bool iftemp1;
11   x1++;
12   if (x1 != 3)
13     {
14       iftemp1 = 1;
15       goto endfirstif;
16     }
17   iftemp1 = 0;
18   endfirstif:
19   iftemp0 = iftemp1;
20   if (iftemp0)
21     abort();
22 }
23 
24