From 7121ce527e13b97cf701e9f3ca67474b6d9762a5 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Sun, 17 Sep 2006 21:11:31 +0000
Subject: [PATCH] make the comment more useful

[r8264]
---
 ir/ir/irvrfy.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index 2cf817d47..79d59817b 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -1441,7 +1441,8 @@ static int verify_node_Phi(ir_node *n, ir_graph *irg) {
         if (is_Bad(pred_j))
           continue;
 #if 0
-        /* did NOT work with the current exception model where blocks a NOT basic blocks */
+        /* currently this checks fails for blocks with exception
+           outputs (and these are NOT basic blocks).  So it is disabled yet. */
         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",
-- 
2.20.1