source: examples/gc_no_raii/bug-repro/push_back.c@ 351c519

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr persistent-indexer pthread-emulation qualifiedEnum
Last change on this file since 351c519 was bf71cfd, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Moved up many directories in source

  • 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.