1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  int main()
       5  {
       6    int a = -1;
       7    static int b = -2147483647 - 1;
       8    static int c = 0;
       9    int t = a - (b + c*-2);
      10    if (t != 2147483647)
      11      __builtin_abort();
      12    return 0;
      13  }
      14