aboutsummaryrefslogtreecommitdiff
path: root/gcc/vr-values.c
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2019-06-06 07:32:44 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2019-06-06 07:32:44 +0000
commit8ce6fb5fec60f0ce6363d2a41f30e5fc620a4beb (patch)
tree7394a568931edeb98af3a8d7ae2e512a1ee71833 /gcc/vr-values.c
parented315c041f48f491d6310fe83810bb93cc3e5d17 (diff)
downloadgcc-8ce6fb5fec60f0ce6363d2a41f30e5fc620a4beb.zip
gcc-8ce6fb5fec60f0ce6363d2a41f30e5fc620a4beb.tar.gz
gcc-8ce6fb5fec60f0ce6363d2a41f30e5fc620a4beb.tar.bz2
vr-values.c (vr_values::extract_range_from_ssa_name): Do not put equivalences on UNDEFINED ranges.
2019-06-06 Richard Biener <rguenther@suse.de> * vr-values.c (vr_values::extract_range_from_ssa_name): Do not put equivalences on UNDEFINED ranges. * gimple-ssa-evrp.c (evrp_dom_walker::before_dom_children): Make sure to drop defs of stmts added during simplification to VARYING. From-SVN: r271990
Diffstat (limited to 'gcc/vr-values.c')
-rw-r--r--gcc/vr-values.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/vr-values.c b/gcc/vr-values.c
index b401516..9e58cbf 100644
--- a/gcc/vr-values.c
+++ b/gcc/vr-values.c
@@ -719,7 +719,8 @@ vr_values::extract_range_from_ssa_name (value_range *vr, tree var)
else
vr->set (var);
- vr->equiv_add (var, get_value_range (var), &vrp_equiv_obstack);
+ if (!vr->undefined_p ())
+ vr->equiv_add (var, get_value_range (var), &vrp_equiv_obstack);
}
/* Extract range information from a binary expression OP0 CODE OP1 based on