From: Christoph Mallon <christoph.mallon@gmx.de>
Date: Wed, 5 Dec 2012 10:14:21 +0000 (+0100)
Subject: irverify: Verify that nodes, which should be in the start block, are in the start... 
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=30da910a802ae6b03f6cfe191080486e62293f4f;hp=22c2fe6b8fbb1f9886016f468be8a178aacee6aa;p=libfirm

irverify: Verify that nodes, which should be in the start block, are in the start block.
---

diff --git a/ir/ir/irverify.c b/ir/ir/irverify.c
index 6d60b2d9d..b122d5843 100644
--- a/ir/ir/irverify.c
+++ b/ir/ir/irverify.c
@@ -1672,6 +1672,12 @@ int irn_verify_irg(const ir_node *n, ir_graph *irg)
 		);
 	}
 
+	ASSERT_AND_RET_DBG(
+		!is_irn_start_block_placed(n) || get_nodes_block(n) == get_irg_start_block(irg),
+		"node should be in start block", 0,
+		ir_printf("node %+F", n);
+	);
+
 	if (op->ops.verify_node)
 		return op->ops.verify_node(n);