1 /* { dg-do run } */
2 /* { dg-additional-options "-fstrict-overflow" } */
3 
main(void)4 int 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