From: Sebastian Hack <hack@ipd.info.uni-karlsruhe.de>
Date: Mon, 29 Aug 2005 14:37:23 +0000 (+0000)
Subject: Fixed a bug
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=f5f35eb38b655f5c0df9a17d488e1bcd69d8a489;p=libfirm

Fixed a bug

[r6527]
---

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);
 		}
 	}