1 2 3 4 5 6 7 8 9 10 11 12
/* { dg-do run } */ unsigned a, b; int main() { unsigned c = 0; for (a = 0; a < 2; a++) for (b = 0; b < 2; b++) if (++c < a) __builtin_abort (); return 0; }