22 lines
396 B
C
22 lines
396 B
C
/* PR tree-optimization/23518.
|
|
make_range used to transform a + 1 < 0 into a < -1 even when a is
|
|
signed and -fwrapv is given. Make sure that no longer happens. */
|
|
|
|
/* { dg-do run } */
|
|
/* { dg-options "-O2 -fwrapv" } */
|
|
|
|
#include <limits.h>
|
|
|
|
extern void abort (void);
|
|
extern void exit (int);
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
int a = INT_MAX;
|
|
if ((a < 0) || (a + 1 < 0))
|
|
exit (0);
|
|
|
|
abort ();
|
|
}
|