source: src/examples/gc_no_raii/bug-repro/push_back.c@ 98278b3a

#include <stddef.h>
#include <stdint.h>

#include "push_back.h"

typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t;

void test()
{
        worklist_t w;
        if(!empty(&w))
        {
                intptr_t zero = 0;
                push_back(&w, &zero);
        }
}