From: Richard Guenther <rguenther@suse.de>
Date: Thu, 11 Mar 2010 15:08:24 +0000 (+0000)
Subject: re PR middle-end/43255 (ICE in extract_range_from_assert, at tree-vrp.c:1423)
X-Git-Tag: releases/gcc-4.5.0~420
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ff0a0c1d883427293cc007f273ad6f9a31b511a6;p=thirdparty%2Fgcc.git

re PR middle-end/43255 (ICE in extract_range_from_assert, at tree-vrp.c:1423)

2010-03-11  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/43255
	* tree-vrp.c (process_assert_insertions_for): Do not insert
	asserts for trivial conditions.

	* gcc.c-torture/compile/pr43255.c: New testcase.

From-SVN: r157388
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5e07486aa72c..a6fc80d8be7d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-03-11  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/43255
+	* tree-vrp.c (process_assert_insertions_for): Do not insert
+	asserts for trivial conditions.
+
 2010-03-11  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
 
 	PR tree-optimization/43280
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fc9f8e649462..9a8709ae1fef 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-03-11  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/43255
+	* gcc.c-torture/compile/pr43255.c: New testcase.
+
 2010-03-11  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
 
 	* gcc.dg/optimize-bswapdi-1.c: Add OpenSSL bswap variant.
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr43255.c b/gcc/testsuite/gcc.c-torture/compile/pr43255.c
new file mode 100644
index 000000000000..1b5384684175
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr43255.c
@@ -0,0 +1,33 @@
+int safe (int);
+
+static unsigned foo (unsigned ui1, unsigned ui2)
+{
+  return ui1 + ui2;
+}
+
+int g_22;
+int *volatile g_23 = &g_22;
+int **g_282[8][10][1];
+int *g_330 = &g_22;
+volatile unsigned g_348;
+int g_397;
+
+void int32func (const unsigned char p_10)
+{
+  if (foo
+      (~
+       (p_10 |
+	(*g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10][g_348 % 1]) ==
+	(*g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10][g_348 % 1])),
+       1))
+    {
+    }
+  else if (*g_330 >=
+	   safe (*g_23 ^
+		 (**g_282[(unsigned long) g_397 % 8][(unsigned) g_22 % 10]
+		  [g_348 % 1])) & **g_282[8][10][1], 1)
+    {
+    }
+}
+
+
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 152d389a9c7b..0071e822a688 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -4836,6 +4836,10 @@ process_assert_insertions_for (tree name, assert_locus_t loc)
   edge_iterator ei;
   edge e;
 
+  /* If we have X <=> X do not insert an assert expr for that.  */
+  if (loc->expr == loc->val)
+    return false;
+
   cond = build2 (loc->comp_code, boolean_type_node, loc->expr, loc->val);
   assert_stmt = build_assert_expr_for (cond, name);
   if (loc->e)