X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Firouts.c;h=815977bbeda5e82fddfe54efad45c7c930d72644;hb=b6c7fa168fe20849fce7c7400f6c1743a92e63df;hp=c2084b157d7886658faff0ad75f407b2cbd4a3cd;hpb=1a26f4853c07d1ecd68a097409dd602edfe29eff;p=libfirm

diff --git a/ir/ana/irouts.c b/ir/ana/irouts.c
index c2084b157..815977bbe 100644
--- a/ir/ana/irouts.c
+++ b/ir/ana/irouts.c
@@ -203,7 +203,8 @@ ir_node *get_Block_cfg_out_ka(const ir_node *bl, int pos)
 }
 
 static void irg_out_walk_2(ir_node *node, irg_walk_func *pre,
-            irg_walk_func *post, void *env) {
+                           irg_walk_func *post, void *env)
+{
 	int     i, n;
 	ir_node *succ;
 
@@ -223,9 +224,9 @@ static void irg_out_walk_2(ir_node *node, irg_walk_func *pre,
 	if (post) post(node, env);
 }
 
-void irg_out_walk(ir_node *node,
-                  irg_walk_func *pre, irg_walk_func *post,
-                  void *env) {
+void irg_out_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post,
+                  void *env)
+{
 	assert(node);
 	if (get_irg_outs_state(current_ir_graph) != outs_none) {
 		inc_irg_visited (current_ir_graph);
@@ -233,9 +234,9 @@ void irg_out_walk(ir_node *node,
 	}
 }
 
-static void irg_out_block_walk2(ir_node *bl,
-                                irg_walk_func *pre, irg_walk_func *post,
-                                void *env) {
+static void irg_out_block_walk2(ir_node *bl, irg_walk_func *pre,
+                                irg_walk_func *post, void *env)
+{
 	int i, n;
 
 	if (!Block_block_visited(bl)) {
@@ -258,9 +259,9 @@ static void irg_out_block_walk2(ir_node *bl,
 
 /* Walks only over Block nodes in the graph.  Has it's own visited
    flag, so that it can be interleaved with the other walker.         */
-void irg_out_block_walk(ir_node *node,
-                        irg_walk_func *pre, irg_walk_func *post,
-                        void *env) {
+void irg_out_block_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post,
+                        void *env)
+{
 
 	assert(is_Block(node) || (get_irn_mode(node) == mode_X));
 
@@ -658,48 +659,3 @@ void free_irg_outs(ir_graph *irg)
 	irg_walk_graph (irg, reset_outs, NULL, NULL);
 #endif /* defined DEBUG_libfirm */
 }
-
-static void check_out_edges(ir_node *irn, void *env)
-{
-	int i, j, pos;
-	int *pError = env;
-	int error = *pError;
-	int last = is_Block(irn) ? 0 : -1;
-
-	/* check forward: every input must have an out edge */
-	for (i = get_irn_arity(irn) - 1; i >= last; --i) {
-		ir_node *pred = get_irn_n(irn, i);
-
-		for (j = get_irn_n_outs(pred) - 1; j >= 0; --j) {
-			ir_node *user = get_irn_out_ex(pred, j, &pos);
-
-			if (user == irn && pos == i) {
-				break;
-			}
-		}
-		if (j < 0) {
-			ir_fprintf(stderr, "Missing out edge from %+F input %d to %+F", irn, i, pred);
-			++error;
-		}
-	}
-
-	/* checking backward */
-	for (i = get_irn_n_outs(irn) - 1; i >= 0; --i) {
-		ir_node *user = get_irn_out_ex(irn, i, &pos);
-
-		if (get_irn_n(user, pos) != irn) {
-			ir_fprintf(stderr, "Spurious out edge from %+F output %d to %+F", irn, i, user);
-			++error;
-		}
-	}
-	*pError = error;
-}
-
-/* verify outs edges. */
-void verify_outs(ir_graph *irg)
-{
-	int errors = 0;
-	irg_walk_graph(irg, NULL, check_out_edges, &errors);
-	if (errors > 0)
-		panic("Out edges are corrupt");
-}