1extern void abort (void);
2
3short g_3;
4
5int 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}
14