/* 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 (); | |
} |