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