From 0ff8e8ee280e46f9f0ff06bf0958e91ff29da52e Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 15:49:27 +0330 Subject: conformance: port the previous agent's suite, fix six expectations, add sections 5 to 8 and appendix b, known.txt, zc0 skips, wire into test.sh --- tests/conformance/6-ownership/d_param_transfers.zc | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/conformance/6-ownership/d_param_transfers.zc (limited to 'tests/conformance/6-ownership/d_param_transfers.zc') diff --git a/tests/conformance/6-ownership/d_param_transfers.zc b/tests/conformance/6-ownership/d_param_transfers.zc new file mode 100644 index 0000000..78cc0e1 --- /dev/null +++ b/tests/conformance/6-ownership/d_param_transfers.zc @@ -0,0 +1,7 @@ +// expect error: q: used after it was given away +// spec 6.4 +include rt; +void pn(int x) { rt.put_n(x); rt.put_c(10); } +void take(int*.d p) { rt.free(p); } +fn main() { int* q = rt.new(int); take(q); pn(*q); return 0; } +// zc0: skip -- cgit v1.2.3