1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
/* { dg-do run } */ int m = 9; int main() { int n, x; n = m; for (x = 0; x <= n; x++) if (n == x + (x + 1) + (x + 2)) return 0; __builtin_abort(); }