1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
unsigned char g_5; void func_1 (void) { for (g_5 = 9; g_5 >= 4; g_5 -= 5) ; } extern void abort (void); int main (void) { func_1 (); if (g_5 != 0) abort (); return 0; }