source:
src/examples/gc_no_raii/bug-repro/push_back.c
@
982f95d
| Last change on this file since 982f95d was df4aea7, checked in by , 9 years ago | |
|---|---|
|
|
| File size: 229 bytes | |
| Line | |
|---|---|
| 1 | #include <stddef.h> |
| 2 | #include <stdint.h> |
| 3 | |
| 4 | #include "push_back.h" |
| 5 | |
| 6 | typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t; |
| 7 | |
| 8 | void 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.
