conf2: add 2 ASSERT's on checking the user-defined type size

diff --git a/lib/conf2.c b/lib/conf2.c
index 7ef69ff973d887b78a572977f1adbcceb9a6b610..8e3028a3d8b894b661be61aa646817c10adea88f 100644 (file)
--- a/lib/conf2.c
+++ b/lib/conf2.c
@@ -675,6 +675,7 @@ interpret_set_dynamic(struct cf_item *item, int number, byte **pars, void **ptr)
   cf_journal_block(ptr, sizeof(void*));
   // boundary checks done by the caller
   uns size = type_size(item->type, item->u.utype);
+  ASSERT(size >= sizeof(uns));
   *ptr = cf_malloc((number+1) * size) + size;
   * (uns*) (*ptr - size) = number;
   return cf_parse_ary(number, pars, *ptr, type, &item->u);
@@ -686,6 +687,7 @@ interpret_add_dynamic(struct cf_item *item, int number, byte **pars, int *proces
   enum cf_type type = item->type;
   void *old_p = *ptr;
   uns size = type_size(item->type, item->u.utype);
+  ASSERT(size >= sizeof(uns));
   int old_nr = * (int*) (old_p - size);
   int taken = MIN(number, item->number-old_nr);
   *processed = taken;