From ecc350ca5c2eb50be8309c5f14f8bf0d87db9a02 Mon Sep 17 00:00:00 2001
From: Moon Flower <moonflower@elhenney.local>
Date: Mon, 12 Oct 2026 08:46:23 +0330
Subject: a

---
 tests/programs/share_dbg.zc | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/programs/share_dbg.zc

(limited to 'tests/programs/share_dbg.zc')

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;
+}
-- 
cgit v1.2.3