From 8d9fa2d5692fb518a79a481c391d7531340e2fbf Mon Sep 17 00:00:00 2001 From: Sebastian Hack Date: Mon, 29 Aug 2005 16:32:37 +0000 Subject: [PATCH] A little better debug output [r6534] --- ir/ir/irvrfy.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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);); } } -- 2.20.1