From: Christian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Date: Tue, 13 Feb 2007 18:04:56 +0000 (+0000)
Subject: verify edges internally as well when checking out edges
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=078c0c3071c85874491aad6a3d5976fd533c99a6;p=libfirm

verify edges internally as well when checking out edges
---

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 19b7f3bfe..3894e2a78 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -780,13 +780,14 @@ static void set_reachable(ir_node *node, void* data)
 
 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.problem_found = 0;
+
+	env.irg           = irg;
+	env.reachable     = bitset_alloca(get_irg_last_idx(irg));
+	env.problem_found = edges_verify(irg);
 
 	irg_walk_in_or_dep_graph(irg, set_reachable, NULL, env.reachable);
 	inc_irg_visited(irg);
 	check_out_edges(get_irg_start(irg), &env);
 
-	return !env.problem_found;
+	return ! env.problem_found;
 }