re PR tree-optimization/19736 (ICE with type mismatch between SSA_NAME and its symbol)

2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/19763
        * gcc.c-torture/compile/pr19736.c: New test.

2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/19736
        * tree-ssa.c (replace_immediate_uses): Update the immediate_uses
        information for the new statement.

From-SVN: r94658

gcc/ChangeLog

+2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR tree-opt/19736
+	* tree-ssa.c (replace_immediate_uses): Update the immediate_uses
+	information for the new statement.
+
 2005-02-03  Joseph S. Myers  <joseph@codesourcery.com>
 
 	PR driver/19117

gcc/testsuite/ChangeLog

+2005-02-03  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR tree-opt/19763
+	* gcc.c-torture/compile/pr19736.c: New test.
+
 2005-02-03  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
 
 	PR c++/17401

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

+/* We used to ICE because we had forgot to update the immediate_uses
+   information after foldding the last strcpy in Reduce PHI.
+   This was PR tree-opt/19763. */
+
+extern char *strcpy (char *, const char *);
+void sdbout_one_type (char *p)
+{
+  int i, t = 1;
+  char *q;
+  for (i = 0; i < 2; i++)
+    {
+      strcpy (p, "1");
+      p += sizeof ("1");
+    }
+  if (t)
+    q = "2";
+  else
+    q = "3";
+  strcpy (p, q);
+}
+

gcc/tree-ssa.c

@@ -1108,6 +1108,8 @@ replace_immediate_uses (tree var, tree repl)
 	  if (tmp != stmt)
 	    {
 	      block_stmt_iterator si = bsi_for_stmt (stmt);
+	      mark_new_vars_to_rename (tmp, vars_to_rename);
+	      redirect_immediate_uses (stmt, tmp);
 	      bsi_replace (&si, tmp, true);
 	      stmt = bsi_stmt (si);
 	    }