re PR tree-optimization/41728 (error: SSA name in freelist but still referenced)

2009-10-16  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/41728
	* tree-ssa-dom.c (optimize_stmt): Mark the stmt modified
	if fold_stmt did anything.

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

From-SVN: r152910

gcc/ChangeLog

 2009-10-16  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/41728
+	* tree-ssa-dom.c (optimize_stmt): Mark the stmt modified
+	if fold_stmt did anything.
+
+2009-10-16  Richard Guenther  <rguenther@suse.de>
+
 	PR lto/41715
 	* lto-streamer-in.c (lto_input_tree_ref): Revert last change.
 	(maybe_fixup_handled_component): New function.

gcc/testsuite/ChangeLog

 2009-10-16  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/41728
+	* gcc.c-torture/compile/pr41728.c: New testcase.
+
+2009-10-16  Richard Guenther  <rguenther@suse.de>
+
 	PR lto/41598
 	* gcc.dg/lto/20091016-1_0.c: New testcase.
 	* gcc.dg/lto/20091016-1_1.c: Likewise.

gcc/testsuite/gcc.c-torture/compile/pr41728.c

+int a[8];
+int s244(void)
+{
+  int lrc, j;
+  lrc = 0;
+  for (j=0; j<7; j++)
+    if(a[j] != a[j+1])
+      lrc = 1;
+  if (lrc != 0)
+    return 0;
+  return 1;
+}

gcc/tree-ssa-dom.c

@@ -2099,6 +2099,7 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si)
       if (fold_stmt (&si))
 	{
 	  stmt = gsi_stmt (si);
+	  gimple_set_modified (stmt, true);
 
 	  if (dump_file && (dump_flags & TDF_DETAILS))
 	    {