re PR tree-optimization/26672 (ICE in op_iter_init, triggered by printf->puts optimization)

2006-03-14  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/26672
	* tree-ssa-propagate.c (set_rhs): Don't walk DEFs if not in
	SSA form.

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

From-SVN: r112050

gcc/ChangeLog

 2006-03-14  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/26672
+	* tree-ssa-propagate.c (set_rhs): Don't walk DEFs if not in
+	SSA form.
+
+2006-03-14  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/26667
 	* ipa-inline.c (cgraph_check_inline_limits): Walk the correct
 	node for the callees.  Always allow inlining if it will shrink

gcc/testsuite/ChangeLog

+2006-03-14  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/26672
+	* gcc.dg/torture/pr26672.c: New testcase.
+
 2006-03-14  Joseph S. Myers  <joseph@codesourcery.com>
 
 	* gcc.target/powerpc/405-dlmzb-strlen-1.c,

gcc/testsuite/gcc.dg/torture/pr26672.c

+/* { dg-do compile } */
+
+int printf(const char *format, ...);
+extern const char help_string[];
+void app_opts(void) {
+    printf("%s", help_string);
+}
+const char help_string[] = "foo\n";

gcc/tree-ssa-propagate.c

@@ -632,7 +632,8 @@ set_rhs (tree *stmt_p, tree expr)
       *stmt_p = TREE_SIDE_EFFECTS (expr) ? expr : build_empty_stmt ();
       (*stmt_p)->common.ann = (tree_ann_t) ann;
 
-      if (TREE_SIDE_EFFECTS (expr))
+      if (in_ssa_p
+	  && TREE_SIDE_EFFECTS (expr))
 	{
 	  /* Fix all the SSA_NAMEs created by *STMT_P to point to its new
 	     replacement.  */