diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2015-04-27 13:26:12 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2015-04-27 13:26:12 +0200 |
| commit | 9c3cb3607913d35e96243a26b1ad4aaee1ad8a68 (patch) | |
| tree | 71ff1501327cc81f60701d41ac26e0c9f1cb2a32 /gcc/tree-vrp.c | |
| parent | 97d87f7502351f80784f77dbeb4119def98c133d (diff) | |
| download | gcc-9c3cb3607913d35e96243a26b1ad4aaee1ad8a68.zip gcc-9c3cb3607913d35e96243a26b1ad4aaee1ad8a68.tar.gz gcc-9c3cb3607913d35e96243a26b1ad4aaee1ad8a68.tar.bz2 | |
re PR tree-optimization/65875 (ICE: Segmentation fault)
PR tree-optimization/65875
* tree-vrp.c (update_value_range): If in is_new case setting
old_vr to VR_VARYING, also set new_vr to it. Remove
old_vr->type == VR_VARYING test.
(vrp_visit_phi_node): Return SSA_PROP_VARYING instead of
SSA_PROP_INTERESTING if update_value_range returned true,
but new range is VR_VARYING.
* gcc.c-torture/compile/pr65875.c: New test.
From-SVN: r222458
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index e7ab23c..0ade55c 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -886,13 +886,18 @@ update_value_range (const_tree var, value_range_t *new_vr) if (is_new) { /* Do not allow transitions up the lattice. The following - is slightly more awkward than just new_vr->type < old_vr->type + is slightly more awkward than just new_vr->type < old_vr->type because VR_RANGE and VR_ANTI_RANGE need to be considered the same. We may not have is_new when transitioning to - UNDEFINED or from VARYING. */ - if (new_vr->type == VR_UNDEFINED - || old_vr->type == VR_VARYING) - set_value_range_to_varying (old_vr); + UNDEFINED. If old_vr->type is VARYING, we shouldn't be + called. */ + if (new_vr->type == VR_UNDEFINED) + { + BITMAP_FREE (new_vr->equiv); + set_value_range_to_varying (old_vr); + set_value_range_to_varying (new_vr); + return true; + } else set_value_range (old_vr, new_vr->type, new_vr->min, new_vr->max, new_vr->equiv); @@ -8941,6 +8946,9 @@ update_range: fprintf (dump_file, "\n"); } + if (vr_result.type == VR_VARYING) + return SSA_PROP_VARYING; + return SSA_PROP_INTERESTING; } |