1  extern void abort (void);
       2  
       3  short g_3;
       4  
       5  int main (void)
       6  {
       7      int l_2;
       8      for (l_2 = -1; l_2 != 0; l_2 = (unsigned char)(l_2 - 1))
       9        g_3 |= l_2;
      10      if (g_3 != -1)
      11        abort ();
      12      return 0;
      13  }