diff options
author | Diego Novillo <dnovillo@google.com> | 2008-02-05 11:31:20 -0500 |
---|---|---|
committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2008-02-05 11:31:20 -0500 |
commit | c1e7d240125d4927db2f87df874e2133d0e63ba9 (patch) | |
tree | 381dc8fbf6b7e9978afb8ed9677ef95490311161 /gcc/tree-vrp.c | |
parent | 3a2041755b4ec15331bff0d7b60d545eeb6171a9 (diff) | |
download | gcc-c1e7d240125d4927db2f87df874e2133d0e63ba9.zip gcc-c1e7d240125d4927db2f87df874e2133d0e63ba9.tar.gz gcc-c1e7d240125d4927db2f87df874e2133d0e63ba9.tar.bz2 |
http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00140.html
PR 33738
* tree-vrp.c (vrp_evaluate_conditional): Revert fix for
PR 33738.
testsuite/ChangeLog
PR 33738
* g++.dg/warn/pr33738.C: Remove.
From-SVN: r132124
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 9b9cc03..5f9a327 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -5073,48 +5073,6 @@ vrp_evaluate_conditional (tree cond, tree stmt) } } - if (warn_type_limits - && ret - && TREE_CODE_CLASS (TREE_CODE (cond)) == tcc_comparison) - { - /* If the comparison is being folded and the operand on the LHS - is being compared against a constant value that is outside of - the natural range of OP0's type, then the predicate will - always fold regardless of the value of OP0. If -Wtype-limits - was specified, emit a warning. */ - const char *warnmsg = NULL; - tree op0 = TREE_OPERAND (cond, 0); - tree op1 = TREE_OPERAND (cond, 1); - tree type = TREE_TYPE (op0); - value_range_t *vr0 = get_value_range (op0); - - if (vr0->type != VR_VARYING - && INTEGRAL_TYPE_P (type) - && vrp_val_is_min (vr0->min) - && vrp_val_is_max (vr0->max) - && is_gimple_min_invariant (op1)) - { - if (integer_zerop (ret)) - warnmsg = G_("comparison always false due to limited range of " - "data type"); - else - warnmsg = G_("comparison always true due to limited range of " - "data type"); - } - - if (warnmsg) - { - location_t locus; - - if (!EXPR_HAS_LOCATION (stmt)) - locus = input_location; - else - locus = EXPR_LOCATION (stmt); - - warning (OPT_Wextra, "%H%s", &locus, warnmsg); - } - } - return ret; } |