tests/programs/share_dbg.zc


1
2
3
4
5
6
7
8
9
10
11
12
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 = 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;
}