Dominance is inconsistent after dead node elim

[r7058]

diff --git a/ir/ir/irgopt.c b/ir/ir/irgopt.c
index 1ab4511..7786366 100644 (file)
--- a/ir/ir/irgopt.c
+++ b/ir/ir/irgopt.c
@@ -565,6 +565,10 @@ dead_node_elimination(ir_graph *irg) {
 
   current_ir_graph = rem;
   set_interprocedural_view(rem_ipview);
+
+       /* reset the dominator's state */
+       if(get_irg_dom_state(irg) != dom_none)
+               set_irg_dom_inconsistent(irg);
 }
 
 /**