C++ (Cpp) l4_insert Exemples

Exemple #1

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

static void l3_insert(struct L3 **list)
{
    struct L3 *item = zalloc_or_die(sizeof *item);

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

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

Exemple #2

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

static void l3_insert(struct L3 **list)
{
    struct L3 *item = zalloc_or_die(sizeof *item);

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

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

Exemple #3

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

static void l3_insert(struct L3 **list)
{
    struct L3 *item = zalloc_or_die(sizeof *item);

    int c = 0;

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

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