diff options
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/vect/pr37143.C | 21 | ||||
-rw-r--r-- | gcc/tree-vrp.c | 5 |
4 files changed, 36 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c7e5e5a..84e6baa 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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. + 2008-08-22 Uros Bizjak <ubizjak@gmail.com> PR target/37184 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4ee805b..8b41251 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-08-22 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/37143 + * g++.dg/vect/pr37143.C: New testcase. + 2008-08-22 Daniel Kraft <d@domob.eu> PR fortran/30239 diff --git a/gcc/testsuite/g++.dg/vect/pr37143.C b/gcc/testsuite/g++.dg/vect/pr37143.C new file mode 100644 index 0000000..70cdfd2 --- /dev/null +++ b/gcc/testsuite/g++.dg/vect/pr37143.C @@ -0,0 +1,21 @@ +/* { dg-do compile } */ + +void +f(int NumberOfSideSets, int *ssNumDFperSide, float *ssDF) +{ + int i; + float *newssDF = __null; + int *newssNumDF = new int [NumberOfSideSets]; + int ndf, nextDF, numNewDF = 0; + int ii=0; + for (i=0; i<NumberOfSideSets; i++) + numNewDF += newssNumDF[i]; + if (numNewDF > 0) + newssDF = new float [numNewDF]; + nextDF = 0; + ndf = ssNumDFperSide[ii]; + for (i=0; i<ndf; i++) + newssDF[nextDF++] = ssDF[i]; +} + +/* { dg-final { cleanup-tree-dump "vect" } } */ diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a61f292..17fbcdb 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 { |