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  }