tree-ssa.c (verify_flow_sensitive_alias_info): Do not walk dead nodes.

	* tree-ssa.c (verify_flow_sensitive_alias_info): Do not walk dead nodes.
	* tree-tailcall.c (eliminate_tail_call): Release SSA name.

From-SVN: r87554

gcc/ChangeLog

 2004-09-15  Jan Hubicka  <jh@suse.cz>
 
+	* tree-ssa.c (verify_flow_sensitive_alias_info): Do not walk dead nodes.
+	* tree-tailcall.c (eliminate_tail_call): Release SSA name.
+
 	* tree-cfg.c (remove_bb): Release SSA defs.
 
 2004-09-15  Kazu Hirata  <kazu@cs.umass.edu>

gcc/tree-tailcall.c

@@ -686,12 +686,14 @@ eliminate_tail_call (struct tailcall *t)
   bsi_next (&bsi);
   while (!bsi_end_p (bsi))
     {
+      tree t = bsi_stmt (bsi);
       /* Do not remove the return statement, so that redirect_edge_and_branch
 	 sees how the block ends.  */
-      if (TREE_CODE (bsi_stmt (bsi)) == RETURN_EXPR)
+      if (TREE_CODE (t) == RETURN_EXPR)
 	break;
 
       bsi_remove (&bsi);
+      release_defs (t);
     }
 
   /* Replace the call by a jump to the start of function.  */
@@ -775,6 +777,7 @@ eliminate_tail_call (struct tailcall *t)
     }
 
   bsi_remove (&t->call_bsi);
+  release_defs (call);
 }
 
 /* Optimizes the tailcall described by T.  If OPT_TAILCALLS is true, also