diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2005-10-01 14:00:09 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2005-10-01 10:00:09 -0400 |
| commit | e82d7e604b1f422979641eae89fcc9a04280dd58 (patch) | |
| tree | ba9321a7c633c51156a2da0b2b0d781d14821c27 /gcc/tree-vrp.c | |
| parent | fde5c44c5c8c5ea33da3cef11ad742309733dfb8 (diff) | |
| download | gcc-e82d7e604b1f422979641eae89fcc9a04280dd58.zip gcc-e82d7e604b1f422979641eae89fcc9a04280dd58.tar.gz gcc-e82d7e604b1f422979641eae89fcc9a04280dd58.tar.bz2 | |
re PR tree-optimization/24141 (VRP ICE in compare_name_with_value, at tree-vrp.c:2965)
PR 24141
* tree-vrp.c (vrp_meet): Clear VR0->EQUIV when building a
non-null range as a last resort.
testsuite/
PR 24141
* gcc.c-torture/execute/pr24141.c: New test.
From-SVN: r104859
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 21e6cf6..0e5ea09 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3439,7 +3439,14 @@ no_meet: && !range_includes_zero_p (vr0) && !symbolic_range_p (vr1) && !range_includes_zero_p (vr1)) - set_value_range_to_nonnull (vr0, TREE_TYPE (vr0->min)); + { + set_value_range_to_nonnull (vr0, TREE_TYPE (vr0->min)); + + /* Since this meet operation did not result from the meeting of + two equivalent names, VR0 cannot have any equivalences. */ + if (vr0->equiv) + bitmap_clear (vr0->equiv); + } else set_value_range_to_varying (vr0); } |