re PR tree-optimization/16808 (verify_ssa failed: Missing definition for SSA_NAME)

2004-11-02  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/16808
        * gcc.c-torture/compile/pr16808.c: New test.

2004-11-02  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/16808
        * tree-ssa.c (replace_immediate_uses): If we call fold_stmt, make sure
        that the vops get marked for renaming.

From-SVN: r89990

gcc/ChangeLog

+2004-11-02  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR tree-opt/16808
+	* tree-ssa.c (replace_immediate_uses): If we call fold_stmt, make sure
+	that the vops get marked for renaming.
+
 2004-11-02  Andreas Krebbel  <krebbel1@de.ibm.com>
 
 	* config/s390/s390.md ("movcc"): Set type attribute.

gcc/testsuite/ChangeLog

+2004-11-02  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR tree-opt/16808
+	* gcc.c-torture/compile/pr16808.c: New test.
+
 2004-11-02  Nathan Sidwell  <nathan@codesourcery.com>
 
 	PR rtl-optimization/17104

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

+/* We used to ICE as we did not mark a Vop for rename as
+   we changed a function call to a normal modify statement
+   while folding exp(0.0); */
+
+double exp(double);
+void f0(void);
+void f(double);
+typedef struct Parser {
+    int x;
+    char *s;
+} Parser;
+static double pop(Parser *p) {
+    if (p->s[0] <= 0) {
+	f0();
+	return 0;
+    }
+    --p->x;
+    return 0;
+}
+static void evalFactor(Parser *p) {
+    while (p->x)
+	f(exp(pop(p)));
+}
+static void evalTerm(Parser *p) {
+    while (p->s[0])
+	evalFactor(p);
+}
+static void evalExpression(Parser *p) {
+    evalTerm(p);
+    while (p->s[0])
+	evalTerm(p);
+}
+void evalPrimary(Parser *p) {
+    if (p->s)
+	return;
+    evalExpression(p);
+}
+

gcc/tree-ssa.c

@@ -1124,6 +1124,7 @@ replace_immediate_uses (tree var, tree repl)
 	{
 	  tree tmp = stmt;
 	  fold_stmt (&tmp);
+          mark_new_vars = true;
 	  if (tmp != stmt)
 	    {
 	      block_stmt_iterator si = bsi_for_stmt (stmt);