- = { ARR_D_MAGIC, 0, {0}, 0, {{{0}}} }
+ 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->nelts >= 0);
+#else
+ (void) arr;