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