From: Aldy Hernandez <aldyh@redhat.com>
Date: Tue, 4 Aug 2020 05:01:22 +0000 (+0200)
Subject: Adjust vrp_evaluate_conditional for irange API.
X-Git-Tag: basepoints/gcc-12~5726
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=01aa5fcad27f87af833a003cf7b014bf9627e48c;p=thirdparty%2Fgcc.git

Adjust vrp_evaluate_conditional for irange API.

gcc/ChangeLog:

	* vr-values.c (simplify_using_ranges::vrp_evaluate_conditional): Adjust
	for irange API.
---

diff --git a/gcc/vr-values.c b/gcc/vr-values.c
index 1190fa964531..90ba8fca246b 100644
--- a/gcc/vr-values.c
+++ b/gcc/vr-values.c
@@ -2495,11 +2495,7 @@ simplify_using_ranges::vrp_evaluate_conditional (tree_code code, tree op0,
       tree type = TREE_TYPE (op0);
       const value_range_equiv *vr0 = get_value_range (op0);
 
-      if (vr0->kind () == VR_RANGE
-	  && INTEGRAL_TYPE_P (type)
-	  && vrp_val_is_min (vr0->min ())
-	  && vrp_val_is_max (vr0->max ())
-	  && is_gimple_min_invariant (op1))
+      if (vr0->varying_p () && INTEGRAL_TYPE_P (type))
 	{
 	  location_t location;