From cdb09d115b4c981507317d298e19844bd924f167 Mon Sep 17 00:00:00 2001
From: Sebastian Hack <hack@ipd.info.uni-karlsruhe.de>
Date: Thu, 8 Dec 2005 12:46:39 +0000
Subject: [PATCH] Dominance is inconsistent after dead node elim

[r7058]
---
 ir/ir/irgopt.c | 4 ++++
 1 file changed, 4 insertions(+)

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);
 }
 
 /**
-- 
2.20.1