1  /* { dg-do run } */
       2  /* { dg-additional-options "-fstrict-overflow" } */
       3  
       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  }