re PR tree-optimization/50389 (ICE: in execute_todo, at passes.c:1730 with -O…

re PR tree-optimization/50389 (ICE: in execute_todo, at passes.c:1730 with -O -freorder-blocks -ftracer and __builtin___memcpy_chk())

2011-10-10  Richard Guenther  <rguenther@suse.de>

	PR middle-end/50389
	* gimple-fold.c (gimplify_and_update_call_from_tree): Do not
	mark symbols for renaming.  Append the VUSE to all statements
	that possibly can have one.

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

From-SVN: r179757

gcc/ChangeLog

 2011-10-10  Richard Guenther  <rguenther@suse.de>
 
+	PR middle-end/50389
+	* gimple-fold.c (gimplify_and_update_call_from_tree): Do not
+	mark symbols for renaming.  Append the VUSE to all statements
+	that possibly can have one.
+
+2011-10-10  Richard Guenther  <rguenther@suse.de>
+
 	* ipa-split.c (pass_split_functions): Add verification TODOs.
 	(pass_feedback_split_functions): Likewise.
 

gcc/gimple-fold.c

@@ -588,13 +588,10 @@ gimplify_and_update_call_from_tree (gimple_stmt_iterator *si_p, tree expr)
 	}
       new_stmt = gsi_stmt (i);
       if (gimple_in_ssa_p (cfun))
-	{
-	  find_new_referenced_vars (new_stmt);
-	  mark_symbols_for_renaming (new_stmt);
-	}
-      /* If the new statement has a VUSE, update it with exact SSA name we
-         know will reach this one.  */
-      if (gimple_vuse (new_stmt))
+	find_new_referenced_vars (new_stmt);
+      /* If the new statement possibly has a VUSE, update it with exact SSA
+	 name we know will reach this one.  */
+      if (gimple_has_mem_ops (new_stmt))
 	{
 	  /* If we've also seen a previous store create a new VDEF for
 	     the latter one, and make that the new reaching VUSE.  */

gcc/testsuite/ChangeLog

 2011-10-10  Richard Guenther  <rguenther@suse.de>
 
+	PR middle-end/50389
+	* gcc.dg/torture/pr50389.c: New testcase.
+
+2011-10-10  Richard Guenther  <rguenther@suse.de>
+
 	PR middle-end/50195
 	* gcc.dg/builtins-47.c: Optimize.
 

gcc/testsuite/gcc.dg/torture/pr50389.c

+/* { dg-do compile } */
+/* { dg-options "-freorder-blocks -ftracer" } */
+
+extern int data[];
+extern int i;
+
+void
+foo (void)
+{
+  char buf[8];
+  __builtin___memcpy_chk (buf, data, i ? 8 : 4,
+			  __builtin_object_size (buf, 0));
+  __builtin___memcpy_chk (buf, data, i ? 8 : 4,
+			  __builtin_object_size (buf, 0));
+}