From: Sebastian Hack <hack@ipd.info.uni-karlsruhe.de>
Date: Mon, 29 Aug 2005 16:32:37 +0000 (+0000)
Subject: A little better debug output
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=8d9fa2d5692fb518a79a481c391d7531340e2fbf;p=libfirm

A little better debug output

[r6534]
---

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index d6c02a945..3150c836b 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -1581,8 +1581,10 @@ static int check_dominance_for_node(ir_node *irn)
 			if(is_Phi(irn))
 				use_bl = get_Block_cfgpred_block(bl, i);
 
-			ASSERT_AND_RET(block_dominates(def_bl, use_bl),
-					"the definition of a value used violates the dominance property", 0);
+			ASSERT_AND_RET_DBG(block_dominates(def_bl, use_bl),
+					"the definition of a value used violates the dominance property", 0,
+						ir_fprintf(stderr, "%+F of %+F must dominate %+F of user %+F\n",
+							def_bl, op, use_bl, irn););
 		}
 	}