1 /* { dg-do run } */
2 /* { dg-options "-fstrict-overflow" } */
3 
main()4 int main ()
5 {
6   int a = 0;
7   int b = __INT_MAX__;
8   int t = (a - 2) > (b - 1);
9   if (t != 0)
10     __builtin_abort();
11   return 0;
12 }
13