1 void abort(void); 2 int x, y; 3 void init_xy(void); 4 void test4(void)5test4(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