From a275919ea9141a9d8c966ccef040666d9bda3b60 Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 15:37:28 +0330 Subject: agent/spec-conformance: unmerged work from previous session --- tests/conformance/4-statements/unchecked_fn_does_not_extend.zc | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/conformance/4-statements/unchecked_fn_does_not_extend.zc (limited to 'tests/conformance/4-statements/unchecked_fn_does_not_extend.zc') diff --git a/tests/conformance/4-statements/unchecked_fn_does_not_extend.zc b/tests/conformance/4-statements/unchecked_fn_does_not_extend.zc new file mode 100644 index 0000000..e93a582 --- /dev/null +++ b/tests/conformance/4-statements/unchecked_fn_does_not_extend.zc @@ -0,0 +1,6 @@ +// expect error: q: owned object is never used +// spec 4.9: only that function is unchecked +include rt; +void pn(int x) { rt.put_n(x); rt.put_c(10); } +unchecked fn leaky() { int* p = rt.new(int); return 0; } +fn main() { int* q = rt.new(int); leaky(); return 0; } -- cgit v1.2.3