aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/4-statements/memdebug_use_after_free.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/conformance/4-statements/memdebug_use_after_free.zc')
-rw-r--r--tests/conformance/4-statements/memdebug_use_after_free.zc10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/conformance/4-statements/memdebug_use_after_free.zc b/tests/conformance/4-statements/memdebug_use_after_free.zc
new file mode 100644
index 0000000..434aa5a
--- /dev/null
+++ b/tests/conformance/4-statements/memdebug_use_after_free.zc
@@ -0,0 +1,10 @@
+// expect error: zy: use after 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); *p = 5; rt.free(p); pn(*p); }
+ return 0;
+}
+// zc0: skip