static void* zalloc_or_die(unsigned size)
{
void *ptr = calloc_model(1U, size);
if (ptr)
return ptr;
abort();
}
static void l1_insert(struct L1 **list)
{
struct L1 *item = calloc_model(1U, sizeof *item);
if (!item)
abort();
do
l2_insert(&item->l2);
while (__VERIFIER_nondet_int());
item->next = *list;
*list = item;
}
static void l2_insert(struct L2 **list)
{
struct L2 *item = calloc_model(1U, sizeof *item);
if (!item)
abort();
item->proto = malloc(119U);
if (!item->proto)
abort();
item->next = *list;
*list = item;
}
