C++ (Cpp) l2_insert Examples

Example #1

File: test-0235_true.c Project: jirislaby/svcomp

static void l1_insert(struct L1 **list)
{
    struct L1 *item = zalloc_or_die(sizeof *item);

    do
        l2_insert(&item->down);
    while (__VERIFIER_nondet_int());

    item->next = *list;
    *list = item;
}

Example #2

File: test-0219_true-valid-memsafety.c Project: ultimate-pa/ultimate

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;
}

Example #3

File: test-0237.c Project: jpokorny/predator

static void l1_insert(struct L1 **list)
{
    struct L1 *item = zalloc_or_die(sizeof *item);

    do
        l2_insert(&item->down, list);
    while (___sl_get_nondet_int());

    item->owner = list;
    item->next = *list;
    *list = item;
}

Example #4

File: test-0237_true-valid-memsafety.c Project: SunshineAllWay/CPAchecker

static void l1_insert(struct L1 **list)
{
    struct L1 *item = zalloc_or_die(sizeof *item);

    int c = 0;

    do {
        c++;
        l2_insert(&item->down, list);
    } while (c < 2);

    item->owner = list;
    item->next = *list;
    *list = item;
}