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