diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2005-10-02 20:15:55 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2005-10-02 16:15:55 -0400 |
| commit | b19bb8b0445fca3bef3d30d244395c2319c1bf9c (patch) | |
| tree | 03e110a82bcb3ef30244905ac0866fc09e18c916 /gcc/tree-vrp.c | |
| parent | f13c9b2c76d81cebc647765b6e4b99c952cc594d (diff) | |
| download | gcc-b19bb8b0445fca3bef3d30d244395c2319c1bf9c.zip gcc-b19bb8b0445fca3bef3d30d244395c2319c1bf9c.tar.gz gcc-b19bb8b0445fca3bef3d30d244395c2319c1bf9c.tar.bz2 | |
re PR tree-optimization/24142 (VRP miscompiles unzip inflate.c)
PR 24142
* tree-vrp.c (vrp_meet): Fix call to range_includes_zero_p in
case of anti-ranges.
testsuite/
PR 24142
* gcc.c-torture/execute/pr24142.c: New test.
From-SVN: r104874
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index de7a931..7d7e0c9 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3454,11 +3454,15 @@ vrp_meet (value_range_t *vr0, value_range_t *vr1) no_meet: /* The two range VR0 and VR1 do not meet. Before giving up and setting the result to VARYING, see if we can at least derive a - useful anti-range. */ + useful anti-range. FIXME, all this nonsense about distinguishing + anti-ranges from ranges is necessary because of the odd + semantics of range_includes_zero_p and friends. */ if (!symbolic_range_p (vr0) - && !range_includes_zero_p (vr0) + && ((vr0->type == VR_RANGE && !range_includes_zero_p (vr0)) + || (vr0->type == VR_ANTI_RANGE && range_includes_zero_p (vr0))) && !symbolic_range_p (vr1) - && !range_includes_zero_p (vr1)) + && ((vr1->type == VR_RANGE && !range_includes_zero_p (vr1)) + || (vr1->type == VR_ANTI_RANGE && range_includes_zero_p (vr1)))) { set_value_range_to_nonnull (vr0, TREE_TYPE (vr0->min)); |