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