source:
tests/zombies/gc_no_raii/bug-repro/push_back.c
@
6740533e
Last change on this file since 6740533e was 87b9332, checked in by , 4 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.