gcc/testsuite/gcc.dg/pr61045.c

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