1 unsigned char g_5; 2 func_1(void)3 void func_1 (void) 4 { 5 for (g_5 = 9; g_5 >= 4; g_5 -= 5) 6 ; 7 } 8 9 extern void abort (void); main(void)10 int main (void) 11 { 12 func_1 (); 13 if (g_5 != 0) 14 abort (); 15 return 0; 16 } 17 18