struct node_top* alloc2(void)
{
struct node_top *pi = create_top();
#ifdef PREDATOR
pi->data = create_low();
pi->data->next = create_low();
#else
// a special quirk for tools that are not ready for real-world code sources
struct node_low *help = create_low();
pi->data = help;
help->next = create_low();
#endif
return pi;
}
struct node_top* alloc(void)
{
struct node_top *pi = create_top();
if (get_nondet())
return pi;
pi->data = create_low();
while (get_nondet()) {
struct node_low *low = create_low();
low->next = pi->data;
low->next->prev = low;
pi->data = low;
}
return pi;
}
struct node_top* alloc1(void)
{
struct node_top *pi = create_top();
pi->data = create_low();
return pi;
}