diff options
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22018.c')
-rw-r--r-- | gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22018.c | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22018.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22018.c deleted file mode 100644 index d4d332c2f..000000000 --- a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/pr22018.c +++ /dev/null @@ -1,32 +0,0 @@ -/* { 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; -} |