Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/pr22018.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do run } */ /* { dg-options -O2 } */ void abort (void); void g(int); void f(int l) { unsigned i; for (i = 0; i < l; i++) { int y = i; /* VRP was wrongfully computing z's range to be [0, 0] instead of [-INF, 0]. */ int z = y*-32; g(z); } } void g(int i) { static int x = 0; if (i == 0) x ++; if (x > 1) abort (); } int main(void) { f(3); return 0; }