From d3cbd7deea504d12d9eb4d0dbe8da9a143825079 Mon Sep 17 00:00:00 2001
From: Richard Guenther <rguenther@suse.de>
Date: Fri, 22 Aug 2008 21:11:48 +0000
Subject: [PATCH] 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
---
 gcc/ChangeLog                       |  6 ++++++
 gcc/testsuite/ChangeLog             |  5 +++++
 gcc/testsuite/g++.dg/vect/pr37143.C | 21 +++++++++++++++++++++
 gcc/tree-vrp.c                      |  5 ++++-
 4 files changed, 36 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/g++.dg/vect/pr37143.C

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c7e5e5a15b96..84e6baa42d8d 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 4ee805b5b4ee..8b41251f2969 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 000000000000..70cdfd29b8bc
--- /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 a61f292c43f5..17fbcdbb7703 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
 	{
-- 
2.47.2