Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/pr23518.c @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* 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 (); }