source: tests/zombies/gc_no_raii/bug-repro/malloc.c@ 6ece306

ADT
Last change on this file since 6ece306 was 6e1e2d0, checked in by caparsons <caparson@…>, 2 years ago

resolved merge conflicts

  • Property mode set to 100644
File size: 391 bytes
Line 
1forall(T)
2struct wrapper
3{
4 T val;
5};
6
7forall(T)
8void ctor(wrapper(T)* this)
9{
10 this->val = 0;
11}
12
13forall(T)
14wrapper(T) gcmalloc()
15{
16 wrapper(T) w;
17 ctor(&w);
18 return w;
19}
20
21forall(T)
22wrapper(T)* ?=? (wrapper(T)* lhs, wrapper(T)* rhs)
23{
24 lhs->val = rhs->val;
25 return lhs;
26}
27
28int main(int argc, char *argv[])
29{
30 wrapper(int) test;
31 test = gcmalloc();
32 return 0;
33}
Note: See TracBrowser for help on using the repository browser.