From fa1f14ad7b57be216bdd5168d3f7e90d11b8f44a Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Mon, 26 Jul 2010 09:06:28 +0000 Subject: [PATCH] verify that start black has no predecessors [r27814] --- ir/ir/irvrfy.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c index b9b28b0ae..fe56d2d2f 100644 --- a/ir/ir/irvrfy.c +++ b/ir/ir/irvrfy.c @@ -881,6 +881,10 @@ static int verify_node_Block(ir_node *n, ir_graph *irg) "Block node must have a mode_X predecessor", 0); } + if (n == get_irg_start_block(irg)) { + ASSERT_AND_RET(get_Block_n_cfgpreds(n) == 0, "Start Block node", 0); + } + if (n == get_irg_end_block(irg) && get_irg_phase_state(irg) != phase_backend) /* End block may only have Return, Raise or fragile ops as preds. */ for (i = get_Block_n_cfgpreds(n) - 1; i >= 0; --i) { -- 2.20.1