From f5f35eb38b655f5c0df9a17d488e1bcd69d8a489 Mon Sep 17 00:00:00 2001 From: Sebastian Hack Date: Mon, 29 Aug 2005 14:37:23 +0000 Subject: [PATCH] Fixed a bug [r6527] --- ir/ir/irvrfy.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c index 1c7fa2526..45ad02853 100644 --- a/ir/ir/irvrfy.c +++ b/ir/ir/irvrfy.c @@ -1581,7 +1581,7 @@ 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), + ASSERT_AND_RET(block_dominates(def_bl, use_bl), "the definition of a value used violates the dominance property", 0); } } -- 2.20.1