summaryrefslogtreecommitdiffhomepage
path: root/ir/adt
diff options
context:
space:
mode:
authorChristoph Mallon <mallon@cs.uni-saarland.de>2014-10-25 16:05:10 +0200
committerChristoph Mallon <mallon@cs.uni-saarland.de>2014-10-27 14:56:56 +0100
commitf3f4b5533f6dc330e3fd16d65f2c878e2e4b7317 (patch)
treed01a8a1af83a20aa2e1aed0706a07428aaef87f1 /ir/adt
parent14c58c47af148bc28c3472e14a878e4dad94c86b (diff)
array: Assert size <= capacity for ARR_D, too, not just ARR_F.
Diffstat (limited to 'ir/adt')
-rw-r--r--ir/adt/array.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/ir/adt/array.c b/ir/adt/array.c
index a4fa5bb..dd3c4a6 100644
--- a/ir/adt/array.c
+++ b/ir/adt/array.c
@@ -36,7 +36,7 @@ void ir_verify_arr(const void *arr)
#ifndef NDEBUG
ir_arr_descr *descr = ARR_DESCR(arr);
assert(descr->magic == ARR_D_MAGIC || descr->magic == ARR_F_MAGIC);
- assert(descr->magic != ARR_F_MAGIC || descr->allocated >= descr->nelts);
+ assert(descr->allocated >= descr->nelts);
#else
(void) arr;
#endif