diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-08-22 21:11:48 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-08-22 21:11:48 +0000 |
| commit | d3cbd7deea504d12d9eb4d0dbe8da9a143825079 (patch) | |
| tree | 5830c841f2ee8d3cb22709679eb2f5be5e8779e8 /gcc/tree-vrp.c | |
| parent | fee3292b1460655f81a06c160de992638749373a (diff) | |
| download | gcc-d3cbd7deea504d12d9eb4d0dbe8da9a143825079.tar.gz | |
re PR tree-optimization/37143 (ICE in VRP with the auto-vectorizer)
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.
From-SVN: r139500
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 { |