gcc/testsuite/gcc.dg/torture/pr57656.c

   1 /* { dg-do run } */
   2 /* { dg-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 }