diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 21:11:48 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 21:11:48 +0000 |
| commit | eaba51b9f6b095b29d661da6cc8cb5e05cc241de (patch) | |
| tree | 5830c841f2ee8d3cb22709679eb2f5be5e8779e8 /gcc/tree-vrp.c | |
| parent | 89b9a6ab732c28a6a2d400ce30069cd50f70f58f (diff) | |
| download | gcc-eaba51b9f6b095b29d661da6cc8cb5e05cc241de.tar.gz | |
2008-08-22 Richard Guenther <rguenther@suse.de>
PR tree-optimization/37143
* tree-vect-transform.c (vect_create_cond_for_align_checks): Build
a conversion statement instead of a copy.
* g++.dg/vect/pr37143.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139500 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a61f292c43f..17fbcdbb770 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2707,7 +2707,10 @@ extract_range_from_unary_expr (value_range_t *vr, enum tree_code code, max = fold_unary_to_constant (code, type, vr0.max); else if (!needs_overflow_infinity (type)) max = TYPE_MAX_VALUE (type); - else if (supports_overflow_infinity (type)) + else if (supports_overflow_infinity (type) + /* We shouldn't generate [+INF, +INF] as set_value_range + doesn't like this and ICEs. */ + && !is_positive_overflow_infinity (min)) max = positive_overflow_infinity (type); else { |