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
main(void)14 main (void)
15 {
16   int a = INT_MAX;
17   if ((a < 0) || (a + 1 < 0))
18     exit (0);
19 
20   abort ();
21 }
22