From: Christian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Date: Wed, 13 Dec 2006 14:59:51 +0000 (+0000)
Subject: BugFix: check_register_allocation crashed when no register was assigned
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=c3ec0c0e7fb69f7ca04a6ba04af86e978dab1b0e;p=libfirm

BugFix: check_register_allocation crashed when no register was assigned
added some spaces and indents
---

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 7dc4e587b..d9d8a0a89 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -648,25 +648,30 @@ static void check_register_constraints(ir_node *node, be_verify_register_allocat
 
 static void check_register_allocation(be_verify_register_allocation_env_t *env,
                                       const arch_register_class_t *regclass, pset *nodes) {
-	const arch_env_t *arch_env = env->arch_env;
-	ir_node *node;
-	const arch_register_t *reg = NULL;
-	int fail = 0;
-
-	bitset_t *registers = bitset_alloca(arch_register_class_n_regs(regclass));
+	const arch_env_t      *arch_env  = env->arch_env;
+	const arch_register_t *reg       = NULL;
+	int                   fail       = 0;
+	bitset_t              *registers = bitset_alloca(arch_register_class_n_regs(regclass));
+	ir_node               *node;
 
 	foreach_pset(nodes, node) {
-		if(arch_get_irn_reg_class(arch_env, node, -1) != regclass)
+		if (arch_get_irn_reg_class(arch_env, node, -1) != regclass)
 			continue;
 
 		reg = arch_get_irn_register(arch_env, node);
-		if(bitset_is_set(registers, reg->index)) {
+
+		/* this problem is already reported in 'check_register_constraints' */
+		if (! reg)
+			continue;
+
+		if (bitset_is_set(registers, reg->index)) {
 			pset_break(nodes);
 			fail = 1;
 			break;
 		}
 		bitset_set(registers, reg->index);
 	}
+
 	if (fail) {
 		ir_fprintf(stderr, "Verify warning: Register %s assigned more than once in block %+F(%s)\n",
 			       reg->name, get_nodes_block(node), get_irg_dump_name(env->irg));