1  /* PR tree-optimization/23518.
       2     make_range used to transform a + 1 < 0 into a < -1 even when a is
       3     signed and -fwrapv is given.  Make sure that no longer happens.  */
       4  
       5  /* { dg-do run } */
       6  /* { dg-options "-O2 -fwrapv" } */
       7  
       8  #include <limits.h>
       9  
      10  extern void abort (void);
      11  extern void exit (int);
      12  
      13  int
      14  main (void)
      15  {
      16    int a = INT_MAX;
      17    if ((a < 0) || (a + 1 < 0))
      18      exit (0);
      19  
      20    abort ();
      21  }