From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Wed, 28 Jun 2006 15:19:17 +0000 (+0000)
Subject: When checking PhiM's, ignore Bad predecessors
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=54473f46aefff029b5dc2908ec4d9ec0765221a5;hp=14f6977ee494fe288e7b4b101cd33ef5579164d0;p=libfirm

When checking PhiM's, ignore Bad predecessors

[r7961]
---

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index 745e75d6a..7e7ffd33c 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -1432,9 +1432,14 @@ static int verify_node_Phi(ir_node *n, ir_graph *irg) {
     for (i = get_Phi_n_preds(n) - 1; i >= 0; --i) {
       int j;
       ir_node *pred_i = get_Phi_pred(n, i);
+
+      if (is_Bad(pred_i))
+        continue;
       for (j = i - 1; j >= 0; --j) {
         ir_node *pred_j = get_Phi_pred(n, j);
 
+        if (is_Bad(pred_j))
+          continue;
         ASSERT_AND_RET_DBG(
           (pred_i == pred_j) || (get_irn_n(pred_i, -1) != get_irn_n(pred_j, -1)),
           "At least two different PhiM predecessors are in the same block",