1  unsigned char g_5;
       2  
       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);
      10  int main (void)
      11  {
      12    func_1 ();
      13    if (g_5 != 0)
      14      abort ();
      15    return 0;
      16  }
      17