C++ (Cpp) l3_insert Exemples

Exemple #1

Fichier : test-0235_true.c Projet : jirislaby/svcomp

static void l2_insert(struct L2 **list)
{
    struct L2 *item = zalloc_or_die(sizeof *item);

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

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

Exemple #2

Fichier : test-0237.c Projet : jpokorny/predator

static void l2_insert(struct L2 **list, void *owner)
{
    struct L2 *item = zalloc_or_die(sizeof *item);

    do
        l3_insert(&item->down);
    while (___sl_get_nondet_int());

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

Exemple #3

Fichier : test-0237_true-valid-memsafety.c Projet : SunshineAllWay/CPAchecker

static void l2_insert(struct L2 **list, void *owner)
{
    struct L2 *item = zalloc_or_die(sizeof *item);

    int c = 0;

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

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