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 | |
| 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
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp49.c | 28 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 16 |
4 files changed, 54 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 64aa244d02a..7c66f3ef252 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +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. + 2010-04-06 Jakub Jelinek <jakub@redhat.com> * BASE-VER: Change to 4.6.0. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7ea5901b0bc..31e53ed58fe 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-04-06 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/43627 + * gcc.dg/tree-ssa/vrp49.c: New testcase. + 2010-04-06 Jakub Jelinek <jakub@redhat.com> PR target/43638 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c new file mode 100644 index 00000000000..664ad93ef96 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c @@ -0,0 +1,28 @@ +/* { dg-do link } */ +/* { dg-options "-O2" } */ + +extern void link_error (void) __attribute__((noreturn)); +int n; +float *x; +int main() +{ + if (n > 0) + { + int i = 0; + do + { + long long index; + i = i + 1; + index = i; + if (index <= 0) + link_error (); + x[index] = 0; + i = i + 1; + index = i; + if (index <= 0) + link_error (); + x[index] = 0; + } + while (i < n); + } +} 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; |