simplify fehler35

[libfirm] / ir / be / beverify.c

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 9bb6c88..b3ad1d8 100644 (file)
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -252,19 +252,6 @@ static void verify_schedule_walker(ir_node *block, void *data) {
                        env->problem_found = 1;
                }
 
-#ifdef SCHEDULE_PROJS
-               /* check that all projs/keeps are behind their nodes */
-               if(is_Proj(node)) {
-                       ir_node *prev = sched_prev(node);
-                       while(is_Proj(prev))
-                               prev = sched_prev(prev);
-                       if(get_Proj_pred(node) != prev) {
-                               ir_fprintf(stderr, "%+F not scheduled after its pred node in block %+F (%s)\n",
-                                          node, block, get_irg_dump_name(env->irg));
-                               env->problem_found = 1;
-                       }
-               }
-#endif
                if(be_is_Keep(node)) {
                        /* at least 1 of the keep arguments has to be it schedule
                         * predecessor */
@@ -879,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;