C++ (Cpp) l4_destroy Examples

Example #1

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

static void l3_destroy(struct L3 *list)
{
    do {
        l4_destroy(list->down);

        struct L3 *next = list->next;
        free(list);
        list = next;
    }
    while (list);
}

Example #2

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

static void l3_destroy(struct L3 *list, int level)
{
    do {
        if (3 < level)
            l4_destroy(list->down, level);

        struct L3 *next = list->next;
        if (3 == level)
            free(list);

        list = next;
    }
    while (list);
}