1  /* { dg-do run } */
       2  
       3  int m = 9;
       4  
       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  }