VR_RANGE of [-INF,+INF] is canonicalized to VARYING at creation. That is why the test now becomes varying_p().
gcc/ChangeLog: * vr-values.c (simplify_using_ranges::vrp_evaluate_conditional): Adjust for irange API. --- gcc/vr-values.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/gcc/vr-values.c b/gcc/vr-values.c index 1190fa96453..90ba8fca246 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; -- 2.26.2