gcc/testsuite/gcc.dg/pr101254.c

   1 /* PR tree-optimization/101254 */
   2 /* { dg-do run } */
   3 /* { dg-options "-O2 -fwrapv" } */
   4
   5 int
   6 foo (long long imin, long long imax)
   7 {
   8   if (imin > imax)
   9     return 0;
  10   else if (imax - imin < 0 || (imax - imin) + 1 < 0)
  11     return 0;
  12   return 1;
  13 }
  14
  15 int
  16 main ()
  17 {
  18   long long imax = __LONG_LONG_MAX__;
  19   long long imin = -imax - 1;
  20   if (!foo (-10, 10))
  21     __builtin_abort ();
  22   if (foo (-10, imax))
  23     __builtin_abort ();
  24   if (foo (imin, imax))
  25     __builtin_abort ();
  26   return 0;
  27 }