1 /* { dg-do run } */
2 /* { dg-require-effective-target int32plus } */
3 
main()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);
10   if (t != 2147483647)
11     __builtin_abort();
12   return 0;
13 }
14