simplify fehler35

[libfirm] / ir / be / beverify.c

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 10acd2c..b3ad1d8 100644 (file)
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -866,10 +866,14 @@ static void check_out_edges(ir_node *node, verify_out_dead_nodes_env *env) {
                return;
        mark_irn_visited(node);
 
+       /* we find too many (uncritical) dead nodes in block out edges */
+       if(is_Block(node))
+               return;
+
        foreach_out_edge(node, edge) {
                ir_node* src = get_edge_src_irn(edge);
 
-               if(!bitset_is_set(env->reachable, get_irn_idx(src)) && !is_Block(node)) {
+               if(!bitset_is_set(env->reachable, get_irn_idx(src)) && !is_Block(src)) {
                        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;