diff options
Diffstat (limited to 'tests/programs/share_dbg.zc')
| -rw-r--r-- | tests/programs/share_dbg.zc | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/tests/programs/share_dbg.zc b/tests/programs/share_dbg.zc index 5485b51..63b8cba 100644 --- a/tests/programs/share_dbg.zc +++ b/tests/programs/share_dbg.zc @@ -1,10 +1,13 @@ +namespace; +include rt; + // memdebug still checks a shared cell. free does not quarantine it, and car // reads the payload through checkptr. memdebug on; fn main() { - let a = cons(7, 8); - free(a); - put_n(car(a)); put_c(32); - put_n(is_shared(a)); put_c(10); + let a = rt.cons(7, 8); + rt.free(a); + rt.put_n(rt.car(a)); rt.put_c(32); + rt.put_n(rt.is_shared(a)); rt.put_c(10); return 0; } |
