source: src/examples/gc_no_raii/bug-repro/push_back.c @ 624aab0

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 624aab0 was df4aea7, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

all implemented files compile

  • Property mode set to 100644
File size: 229 bytes
Line 
1#include <stddef.h>
2#include <stdint.h>
3
4#include "push_back.h"
5
6typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t;
7
8void test()
9{
10        worklist_t w;
11        if(!empty(&w))
12        {
13                intptr_t zero = 0;
14                push_back(&w, &zero);
15        }
16}
Note: See TracBrowser for help on using the repository browser.