re PR tree-optimization/21356 (Dominance error after aggressive dead code elimination (cd_dce))

	PR 21356
	PR 22332
	* passes.c (execute_todo): Cleanup the CFG before updating
	SSA.

From-SVN: r101832

gcc/ChangeLog

+2005-07-09  Diego Novillo  <dnovillo@redhat.com>
+
+	PR 21356
+	PR 22332
+	* passes.c (execute_todo): Cleanup the CFG before updating
+	SSA.
+
 2005-07-09  Jakub Jelinek  <jakub@redhat.com>
 
 	* config/i386/i386.c (output_set_got): Don't omit OFFSET FLAT:

gcc/passes.c

@@ -666,12 +666,7 @@ execute_todo (struct tree_opt_pass *pass, unsigned int flags, bool use_required)
     gcc_assert (flags & TODO_update_ssa_any);
 #endif
 
-  if (flags & TODO_update_ssa_any)
-    {
-      unsigned update_flags = flags & TODO_update_ssa_any;
-      update_ssa (update_flags);
-    }
-
+  /* Always cleanup the CFG before doing anything else.  */
   if (flags & TODO_cleanup_cfg)
     {
       if (current_loops)
@@ -680,6 +675,12 @@ execute_todo (struct tree_opt_pass *pass, unsigned int flags, bool use_required)
 	cleanup_tree_cfg ();
     }
 
+  if (flags & TODO_update_ssa_any)
+    {
+      unsigned update_flags = flags & TODO_update_ssa_any;
+      update_ssa (update_flags);
+    }
+
   if ((flags & TODO_dump_func)
       && dump_file && current_function_decl)
     {