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