a

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/programs/share_dbg.zc b/tests/programs/share_dbg.zc
new file mode 100644
index 0000000..5485b51
--- /dev/null
+++ b/tests/programs/share_dbg.zc
@@ -0,0 +1,10 @@
+// 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);
+	return 0;
+}