From 411003c6816b9e71a19d860acd221d2f57142bf3 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Fri, 10 Jul 2009 16:00:13 +0000 Subject: [PATCH] backport: re PR middle-end/38934 (ICE in set_value_range, at tree-vrp.c:398) 2009-07-10 Richard Guenther Backport from mainline 2009-01-28 Jakub Jelinek PR middle-end/38934 * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR set to varying whenever max has TREE_OVERFLOW set, similarly for GE_EXPR and GT_EXPR and TREE_OVERFLOW min. * gcc.dg/pr38934.c: New test. From-SVN: r149486 --- gcc/ChangeLog | 10 ++++++++++ gcc/testsuite/ChangeLog | 8 ++++++++ gcc/testsuite/gcc.dg/pr38934.c | 19 +++++++++++++++++++ gcc/tree-vrp.c | 4 ++-- 4 files changed, 39 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr38934.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 621f2e268bc5..921b6c88566c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2009-07-10 Richard Guenther + + Backport from mainline + 2009-01-28 Jakub Jelinek + + PR middle-end/38934 + * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR + set to varying whenever max has TREE_OVERFLOW set, similarly + for GE_EXPR and GT_EXPR and TREE_OVERFLOW min. + 2009-07-07 Richard Guenther PR middle-end/40328 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bef72f362331..de50754b7d68 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2009-07-10 Richard Guenther + + Backport from mainline + 2009-01-28 Jakub Jelinek + + PR middle-end/38934 + * gcc.dg/pr38934.c: New test. + 2009-07-10 Richard Guenther Backport from mainline diff --git a/gcc/testsuite/gcc.dg/pr38934.c b/gcc/testsuite/gcc.dg/pr38934.c new file mode 100644 index 000000000000..c05742c5baa7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr38934.c @@ -0,0 +1,19 @@ +/* PR middle-end/38934 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -std=gnu99 -w" } */ + +/* This variable needed only to work around earlier optimizations than VRP. */ +unsigned char g; + +extern void abort (); + +void +f (long long int p) +{ + g = 255; + if (p >= -9223372036854775808LL - (signed char) g) + p = 1; + + if (p) + abort (); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 53f910d97d65..185728dfdd3a 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1253,7 +1253,7 @@ extract_range_from_assert (value_range_t *vr_p, tree expr) all should be optimized away above us. */ if ((cond_code == LT_EXPR && compare_values (max, min) == 0) - || is_overflow_infinity (max)) + || (CONSTANT_CLASS_P (max) && TREE_OVERFLOW (max))) set_value_range_to_varying (vr_p); else { @@ -1288,7 +1288,7 @@ extract_range_from_assert (value_range_t *vr_p, tree expr) all should be optimized away above us. */ if ((cond_code == GT_EXPR && compare_values (min, max) == 0) - || is_overflow_infinity (min)) + || (CONSTANT_CLASS_P (min) && TREE_OVERFLOW (min))) set_value_range_to_varying (vr_p); else { -- 2.47.2