From: Christian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Date: Wed, 7 Feb 2007 17:00:56 +0000 (+0000)
Subject: Unknowns don't need a register assigned
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=af4c4bce4dce0c12193786e3ecb373f6734037c1;p=libfirm

Unknowns don't need a register assigned
---

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 7b3f5d4f0..a9b89aecf 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -622,6 +622,9 @@ static void check_register_constraints(ir_node *node, be_verify_register_allocat
 	for (i = 0; i < arity; ++i) {
 		ir_node *pred = get_irn_n(node, i);
 
+		if (is_Unknown(pred))
+			continue;
+
 		if (is_Bad(pred)) {
 			ir_fprintf(stderr, "Verify warning: %+F in block %+F(%s) has Bad as input %d\n",
 				node, get_nodes_block(node), get_irg_dump_name(env->irg), i);