From: Matthias Braun <matze@braunis.de>
Date: Thu, 22 Jul 2010 19:07:47 +0000 (+0000)
Subject: improve assert in abihelper register value getter
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=a0792e93ac867d761c40c9f5492975c1b3124d27;p=libfirm

improve assert in abihelper register value getter

[r27785]
---

diff --git a/ir/be/beabihelper.c b/ir/be/beabihelper.c
index 7deb48928..40890a639 100644
--- a/ir/be/beabihelper.c
+++ b/ir/be/beabihelper.c
@@ -149,7 +149,7 @@ static void rsm_add_reg(register_state_mapping_t *rsm,
 
 static ir_node *rsm_get_value(register_state_mapping_t *rsm, int index)
 {
-	assert(index < ARR_LEN(rsm->value_map));
+	assert(0 <= index && index < ARR_LEN(rsm->value_map));
 	return rsm->value_map[index];
 }
 
@@ -166,7 +166,7 @@ static ir_node *rsm_get_reg_value(register_state_mapping_t *rsm,
 static void rsm_set_value(register_state_mapping_t *rsm, int index,
                           ir_node *value)
 {
-	assert(index < ARR_LEN(rsm->value_map));
+	assert(0 <= index && index < ARR_LEN(rsm->value_map));
 	rsm->value_map[index] = value;
 }