From 516c377e0d3f22f46a08035822ea54114254af39 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Thu, 15 Feb 2007 10:35:25 +0000 Subject: [PATCH] don't issue warnings for nodes that can still be reached through block out edges (as it's nearly impossible to avoid this situation) --- ir/be/beverify.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ir/be/beverify.c b/ir/be/beverify.c index 6b1efa2f3..6f34c2995 100644 --- a/ir/be/beverify.c +++ b/ir/be/beverify.c @@ -755,7 +755,7 @@ static void check_out_edges(ir_node *node, verify_out_dead_nodes_env *env) { foreach_out_edge(node, edge) { ir_node* src = get_edge_src_irn(edge); - if(!bitset_is_set(env->reachable, get_irn_idx(src))) { + if(!bitset_is_set(env->reachable, get_irn_idx(src)) && !is_Block(node)) { ir_fprintf(stderr, "Verify warning: Node %+F in block %+F(%s) only reachable through out edges from %+F\n", src, get_nodes_block(src), get_irg_dump_name(irg), node); env->problem_found = 1; -- 2.20.1