From 597f59975ce15635260a58533e436748c9600c36 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 27 May 2014 10:32:39 +0000 Subject: [PATCH] tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops_using_ranges): Try using literal operands when comparing value-ranges failed. 2014-05-27 Richard Biener * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops_using_ranges): Try using literal operands when comparing value-ranges failed. From-SVN: r210966 --- gcc/ChangeLog | 5 +++++ gcc/tree-vrp.c | 13 +++++++------ 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8e588176147..d336d136240 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2014-05-27 Richard Biener + + * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops_using_ranges): + Try using literal operands when comparing value-ranges failed. + 2014-05-27 Richard Sandiford * ira.c (commutative_operand): Adjust for change to recog_data. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 7f0489f3c25..afabc4cfbb8 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6919,14 +6919,15 @@ vrp_evaluate_conditional_warnv_with_ops_using_ranges (enum tree_code code, vr0 = (TREE_CODE (op0) == SSA_NAME) ? get_value_range (op0) : NULL; vr1 = (TREE_CODE (op1) == SSA_NAME) ? get_value_range (op1) : NULL; + tree res = NULL_TREE; if (vr0 && vr1) - return compare_ranges (code, vr0, vr1, strict_overflow_p); - else if (vr0 && vr1 == NULL) - return compare_range_with_value (code, vr0, op1, strict_overflow_p); - else if (vr0 == NULL && vr1) - return (compare_range_with_value + res = compare_ranges (code, vr0, vr1, strict_overflow_p); + if (!res && vr0) + res = compare_range_with_value (code, vr0, op1, strict_overflow_p); + if (!res && vr1) + res = (compare_range_with_value (swap_tree_comparison (code), vr1, op0, strict_overflow_p)); - return NULL; + return res; } /* Helper function for vrp_evaluate_conditional_warnv. */ -- 2.30.2