X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fadt%2Farray.c;h=d84007e4282a979e4bce18b0086fe3d015398043;hb=7eb9592b75afa78475ceec1625ce2a67b805efbf;hp=44ba20eed87760c4b1b7abf60634de592b40605c;hpb=f8cc15664f571aa7ef89d6f6bc8d5bd2b8ca7d53;p=libfirm

diff --git a/ir/adt/array.c b/ir/adt/array.c
index 44ba20eed..d84007e42 100644
--- a/ir/adt/array.c
+++ b/ir/adt/array.c
@@ -54,9 +54,7 @@ void ir_verify_arr(const void *arr)
 	ir_arr_descr *descr = ARR_DESCR(arr);
 	assert(descr->magic == ARR_D_MAGIC || descr->magic == ARR_A_MAGIC
 			 || descr->magic == ARR_F_MAGIC);
-	if (descr->magic == ARR_F_MAGIC) {
-		assert(descr->u.allocated >= descr->nelts);
-	}
+	assert(descr->magic != ARR_F_MAGIC || descr->u.allocated >= descr->nelts);
 #else
 	(void) arr;
 #endif