X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.c;h=7b3f5d4f093b80ec23cfad58f6402f1eec94a847;hb=f73b8014037f87fca038a96e04a9a8cc5354079c;hp=b9a2399e943bce7143d2752c1d712969910c1c38;hpb=c05876d5432352d4815dfa17aed3ed3d193ac813;p=libfirm

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index b9a2399e9..7b3f5d4f0 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -738,26 +738,33 @@ int be_verify_register_allocation(const arch_env_t *arch_env, ir_graph *irg) {
 typedef struct _verify_out_dead_nodes_env {
 	ir_graph *irg;
 	bitset_t *reachable;
-	bitset_t *visited;
 	int problem_found;
 } verify_out_dead_nodes_env;
 
 static void check_out_edges(ir_node *node, verify_out_dead_nodes_env *env) {
+	ir_graph *irg = env->irg;
 	const ir_edge_t* edge;
 
+	if(irn_visited(node))
+		return;
+	mark_irn_visited(node);
+
 	foreach_out_edge(node, edge) {
 		ir_node* src = get_edge_src_irn(edge);
 
 		if(!bitset_is_set(env->reachable, get_irn_idx(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(env->irg), node);
-			env->problem_found = 1;
+			if(src != get_irg_globals(irg)
+					&& src != get_irg_tls(irg)) {
+				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;
+			}
+			continue;
 		}
 
-		if(!bitset_is_set(env->visited, get_irn_idx(src))) {
-			bitset_set(env->visited, get_irn_idx(src));
-			if(!is_Block(src))
-				check_out_edges(src, env);
+		if(!is_Block(src)) {
+			check_out_edges(src, env);
 		}
 	}
 }
@@ -772,10 +779,10 @@ int be_verify_out_edges(ir_graph *irg) {
 	verify_out_dead_nodes_env env;
 	env.irg = irg;
 	env.reachable = bitset_alloca(get_irg_last_idx(irg));
-	env.visited = bitset_alloca(get_irg_last_idx(irg));
 	env.problem_found = 0;
 
 	irg_walk_graph(irg, set_reachable, NULL, env.reachable);
+	inc_irg_visited(irg);
 	check_out_edges(get_irg_start(irg), &env);
 
 	return !env.problem_found;