/* { dg-do run } */
/* { dg-options "-fstrict-overflow" } */

int main (void)
{
  int a = -1;
  int b = __INT_MAX__;
  int c = 2;
  int t = 1 - ((a - b) / c);  // t = 1 - ( __INT_MIN__ / 2 )
  if (t != (1 - (-1 - __INT_MAX__) / 2))
    __builtin_abort();
  return 0;
}