1int g_21; 2int g_211; 3int g_261; 4 5static void __attribute__((noinline,noclone)) 6func_32 (int b) 7{ 8 if (b) { 9lbl_370: 10 g_21 = 1; 11 } 12 13 for (g_261 = -1; g_261 > -2; g_261--) { 14 if (g_211 + 1) { 15 return; 16 } else { 17 g_21 = 1; 18 goto lbl_370; 19 } 20 } 21} 22 23extern void abort (void); 24 25int main(void) 26{ 27 func_32(0); 28 if (g_261 != -1) 29 abort (); 30 return 0; 31} 32