From 1494f05d503d5cccfb072797397d0b2e55c112b9 Mon Sep 17 00:00:00 2001 From: Michael Beck Date: Mon, 10 Oct 2005 11:54:33 +0000 Subject: [PATCH] Don't check nunber of Proj's for dead blocks [r6666] --- ir/ir/irvrfy.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c index e7dcd623c..1ef248da6 100644 --- a/ir/ir/irvrfy.c +++ b/ir/ir/irvrfy.c @@ -23,6 +23,7 @@ # include "irdump.h" # include "irdom_t.h" # include "irprintf.h" +# include "irouts.h" /** if this flag is set, verify entity types in Load & Store nodes */ static int vrfy_entities = 0; @@ -829,11 +830,12 @@ static int verify_node_Cond(ir_node *n, ir_graph *irg) { ); ASSERT_AND_RET(mymode == mode_T, "Cond mode is not a tuple", 0); - if (op1mode == mode_b && get_irg_outs_state(irg) == outs_consistent) { + if (op1mode == mode_b && get_irg_outs_state(irg) == outs_consistent && + !is_Block_dead(get_nodes_block(n))) { /* we have consistent outs, check for the right number of Proj's */ ASSERT_AND_RET( - get_irn_n_outs(n) == 2, - "BinaryCond node must have 2 successors", 0); + get_irn_n_outs(n) == 2, + "Live binary Cond node must have 2 successors", 0); } return 1; } @@ -1700,7 +1702,7 @@ int irg_verify(ir_graph *irg, unsigned flags) current_ir_graph = irg; last_irg_error = NULL; - assert(get_irg_pinned(irg) == op_pin_state_pinned); + assert(get_irg_pinned(irg) == op_pin_state_pinned && "Verification need pinned graph"); if (flags & VRFY_ENFORCE_SSA) compute_doms(irg); -- 2.20.1