diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-04-06 12:32:25 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-04-06 12:32:25 +0000 |
| commit | 33731620c0f4b4c8f1128f27c3f015052fac75ca (patch) | |
| tree | 2f14f42f42d043356e4dcb409a2fe721ee4ea3b1 /gcc/tree-vrp.c | |
| parent | 2fb69c7ac1a474c30db3d9e3a3806cb623179203 (diff) | |
| download | gcc-33731620c0f4b4c8f1128f27c3f015052fac75ca.tar.gz | |
2010-04-06 Richard Guenther <rguenther@suse.de>
PR tree-optimization/43627
* tree-vrp.c (extract_range_from_unary_expr): Widenings
of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
not varying.
* gcc.dg/tree-ssa/vrp49.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@157992 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index bab0aab145d..c84004e6be4 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2715,8 +2715,16 @@ extract_range_from_unary_expr (value_range_t *vr, enum tree_code code, || vr0.type == VR_ANTI_RANGE) && TREE_CODE (vr0.min) == INTEGER_CST && TREE_CODE (vr0.max) == INTEGER_CST - && !is_overflow_infinity (vr0.min) - && !is_overflow_infinity (vr0.max) + && (!is_overflow_infinity (vr0.min) + || (vr0.type == VR_RANGE + && TYPE_PRECISION (outer_type) > TYPE_PRECISION (inner_type) + && needs_overflow_infinity (outer_type) + && supports_overflow_infinity (outer_type))) + && (!is_overflow_infinity (vr0.max) + || (vr0.type == VR_RANGE + && TYPE_PRECISION (outer_type) > TYPE_PRECISION (inner_type) + && needs_overflow_infinity (outer_type) + && supports_overflow_infinity (outer_type))) && (TYPE_PRECISION (outer_type) >= TYPE_PRECISION (inner_type) || (vr0.type == VR_RANGE && integer_zerop (int_const_binop (RSHIFT_EXPR, @@ -2730,6 +2738,10 @@ extract_range_from_unary_expr (value_range_t *vr, enum tree_code code, new_max = force_fit_type_double (outer_type, TREE_INT_CST_LOW (vr0.max), TREE_INT_CST_HIGH (vr0.max), 0, 0); + if (is_overflow_infinity (vr0.min)) + new_min = negative_overflow_infinity (outer_type); + if (is_overflow_infinity (vr0.max)) + new_max = positive_overflow_infinity (outer_type); set_and_canonicalize_value_range (vr, vr0.type, new_min, new_max, NULL); return; |