From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Sat, 12 Jan 2008 02:51:08 +0000 (+0000)
Subject: when setting a block to dead, set its dom_depth to -1 to indicate that no dominance... 
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;ds=inline;h=f0543263df9b59c3d34ab1b0d4d7d925cd3c1c69;p=libfirm

when setting a block to dead, set its dom_depth to -1 to indicate that no dominance is avalable. It might not be possible to update the dom_info anymore!

[r17338]
---

diff --git a/ir/ir/irnode_t.h b/ir/ir/irnode_t.h
index 5d3e42ee5..11db681d4 100644
--- a/ir/ir/irnode_t.h
+++ b/ir/ir/irnode_t.h
@@ -797,6 +797,7 @@ _Block_block_visited(const ir_node *node) {
 static INLINE ir_node *
 _set_Block_dead(ir_node *block) {
 	assert(_get_irn_op(block) == op_Block);
+	block->attr.block.dom.dom_depth = -1;
 	block->attr.block.is_dead = 1;
 	return block;
 }