From: Richard Biener <rguenther@suse.de>
Date: Fri, 20 Sep 2013 10:19:12 +0000 (+0000)
Subject: re PR tree-optimization/58473 (FAIL: ext/random/normal_mv_distribution/cons/default... 
X-Git-Tag: releases/gcc-4.9.0~3960
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a820c834673a3f4de4c0f303d7c686252f5eee8c;p=thirdparty%2Fgcc.git

re PR tree-optimization/58473 (FAIL: ext/random/normal_mv_distribution/cons/default.cc (test for excess errors))

2013-09-20  Richard Biener  <rguenther@suse.de>

	PR middle-end/58473
	* tree-chrec.h (build_polynomial_chrec): Use gcc_checking_assert,
	make type comparison less strict.

From-SVN: r202774
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a1ef806bc33e..14c30162e3fd 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-09-20  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/58473
+	* tree-chrec.h (build_polynomial_chrec): Use gcc_checking_assert,
+	make type comparison less strict.
+
 2013-09-20  Alan Modra  <amodra@gmail.com>
 
 	* configure: Regenerate.
diff --git a/gcc/tree-chrec.h b/gcc/tree-chrec.h
index ad39a6b22d3f..c69183b966e4 100644
--- a/gcc/tree-chrec.h
+++ b/gcc/tree-chrec.h
@@ -137,15 +137,18 @@ build_polynomial_chrec (unsigned loop_num,
       || !val)
     return chrec_dont_know;
 
-  /* Pointer types should occur only on the left hand side, i.e. in
-     the base of the chrec, and not in the step.  */
-  gcc_assert (!POINTER_TYPE_P (TREE_TYPE (right)));
-
-  /* Types of left and right sides of a chrec should be compatible.  */
+  /* Types of left and right sides of a chrec should be compatible, but
+     pointer CHRECs are special in that the evolution is of ptroff type.  */
   if (POINTER_TYPE_P (TREE_TYPE (left)))
-    gcc_assert (ptrofftype_p (TREE_TYPE (right)));
+    gcc_checking_assert (ptrofftype_p (TREE_TYPE (right)));
   else
-    gcc_assert (TREE_TYPE (left) == TREE_TYPE (right));
+    {
+      /* Pointer types should occur only on the left hand side, i.e. in
+	 the base of the chrec, and not in the step.  */
+      gcc_checking_assert (!POINTER_TYPE_P (TREE_TYPE (right))
+			   && types_compatible_p (TREE_TYPE (left),
+						  TREE_TYPE (right)));
+    }
 
   if (chrec_zerop (right))
     return left;