From 31ae48845492c12f2745c7f4c0cd2ea448e0942a Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 02:35:04 +0330 Subject: destructors: reassigning an m owner that still holds a value frees the old value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.2 --- tests/conformance/6-ownership/overwrite_frees.zc | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/conformance/6-ownership/overwrite_frees.zc (limited to 'tests/conformance/6-ownership/overwrite_frees.zc') diff --git a/tests/conformance/6-ownership/overwrite_frees.zc b/tests/conformance/6-ownership/overwrite_frees.zc new file mode 100644 index 0000000..9ae60d0 --- /dev/null +++ b/tests/conformance/6-ownership/overwrite_frees.zc @@ -0,0 +1,6 @@ +// expect: 0/ +// spec 6.8.5: overwriting a variable that still owns frees the old object first +include rt; +void pn(int x) { rt.put_n(x); rt.put_c(10); } +fn main() { int* a = rt.new(1); a[0] = 1; a = rt.new(1); pn(a[0]); return 0; } +// zc0: skip -- cgit v1.2.3