From: Sebastian Hack <hack@ipd.info.uni-karlsruhe.de>
Date: Thu, 8 Dec 2005 12:46:39 +0000 (+0000)
Subject: Dominance is inconsistent after dead node elim
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=cdb09d115b4c981507317d298e19844bd924f167;p=libfirm

Dominance is inconsistent after dead node elim

[r7058]
---

diff --git a/ir/ir/irgopt.c b/ir/ir/irgopt.c
index 1ab451122..778636627 100644
--- 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);
 }
 
 /**