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