From a275919ea9141a9d8c966ccef040666d9bda3b60 Mon Sep 17 00:00:00 2001
From: zinc <zinc@downsta.ir>
Date: Wed, 14 Oct 2026 15:37:28 +0330
Subject: agent/spec-conformance: unmerged work from previous session

---
 tests/conformance/4-statements/memdebug_double_free.zc | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/conformance/4-statements/memdebug_double_free.zc

(limited to 'tests/conformance/4-statements/memdebug_double_free.zc')

diff --git a/tests/conformance/4-statements/memdebug_double_free.zc b/tests/conformance/4-statements/memdebug_double_free.zc
new file mode 100644
index 0000000..ff91511
--- /dev/null
+++ b/tests/conformance/4-statements/memdebug_double_free.zc
@@ -0,0 +1,10 @@
+// expect error: zy: double free from line
+// spec 4.11
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+memdebug on;
+fn main() {
+	unchecked { int* p = rt.new(int); rt.free(p); rt.free(p); }
+	return 0;
+}
+// zc0: skip
-- 
cgit v1.2.3