aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2020-08-04 07:01:22 +0200
committerGiuliano Belinassi <giuliano.belinassi@usp.br>2020-08-17 15:07:28 -0300
commit4ea19964aba834cb1b6fff7b0533689667a138a2 (patch)
tree9b135c285e9b8a0e81e524e5cb7d09b8faa02c87
parentac9483d5c514bfd98a1e9edb55b1415577ed28e5 (diff)
downloadgcc-4ea19964aba834cb1b6fff7b0533689667a138a2.zip
gcc-4ea19964aba834cb1b6fff7b0533689667a138a2.tar.gz
gcc-4ea19964aba834cb1b6fff7b0533689667a138a2.tar.bz2
Adjust vrp_evaluate_conditional for irange API.
gcc/ChangeLog: * vr-values.c (simplify_using_ranges::vrp_evaluate_conditional): Adjust for irange API.
-rw-r--r--gcc/vr-values.c6
1 files changed, 1 insertions, 5 deletions
diff --git a/gcc/vr-values.c b/gcc/vr-values.c
index 1190fa9..90ba8fc 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;