From 30da910a802ae6b03f6cfe191080486e62293f4f Mon Sep 17 00:00:00 2001 From: Christoph Mallon Date: Wed, 5 Dec 2012 11:14:21 +0100 Subject: [PATCH 1/1] irverify: Verify that nodes, which should be in the start block, are in the start block. --- ir/ir/irverify.c | 6 ++++++ 1 file changed, 6 insertions(+) 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); -- 2.20.1