re PR tree-optimization/55111 (ICE: tree check: expected ssa_name, have…

re PR tree-optimization/55111 (ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89)

2012-10-30  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/55111
	* tree-ssa-pre.c (eliminate_insert): Properly fold the built
	stmt.

	* gcc.dg/torture/pr55111.c: New testcase.

From-SVN: r192984

gcc/ChangeLog

+2012-10-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/55111
+	* tree-ssa-pre.c (eliminate_insert): Properly fold the built
+	stmt.
+
 2012-10-30  Oleg Endo  <olegendo@gcc.gnu.org>
 
 	PR target/54963

gcc/testsuite/ChangeLog

+2012-10-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/55111
+	* gcc.dg/torture/pr55111.c: New testcase.
+
 2012-10-30  Oleg Endo  <olegendo@gcc.gnu.org>
 
 	PR target/54988

gcc/testsuite/gcc.dg/torture/pr55111.c

+/* { dg-do compile } */
+
+int a, b, c;
+long d;
+unsigned long *e;
+
+int f(void)
+{
+  for(;; a++)
+    {
+      if(c)
+	{
+	  for(b = d = 0; b < 1; b++)
+	    e = &d;
+
+	  --*e;
+
+	  if(d > 0)
+	    a = 0;
+
+	  return d;
+	}
+    }
+}

gcc/tree-ssa-pre.c

@@ -3996,8 +3996,8 @@ eliminate_insert (gimple_stmt_iterator *gsi, tree val)
 
   tree res = make_temp_ssa_name (TREE_TYPE (val), NULL, "pretmp");
   gimple tem = gimple_build_assign (res,
-				    build1 (TREE_CODE (expr),
-					    TREE_TYPE (expr), leader));
+				    fold_build1 (TREE_CODE (expr),
+						 TREE_TYPE (expr), leader));
   gsi_insert_before (gsi, tem, GSI_SAME_STMT);
   VN_INFO_GET (res)->valnum = val;