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