diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 15:52:01 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 15:52:01 +0330 |
| commit | 4fc8f54a21f7a9d8712665501b40c3a52b3eede9 (patch) | |
| tree | fcb16d3185c1f80fae8d54cd9062bd68d6c0c88d /tests/conformance/6-ownership/overwrite_leaks.zc | |
| parent | line tables and backtraces: port agent/line-tables onto main, op 56 on the x8... (diff) | |
| parent | merge spec conformance suite (diff) | |
merge main into work/line-tables
Diffstat (limited to 'tests/conformance/6-ownership/overwrite_leaks.zc')
| -rw-r--r-- | tests/conformance/6-ownership/overwrite_leaks.zc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/conformance/6-ownership/overwrite_leaks.zc b/tests/conformance/6-ownership/overwrite_leaks.zc new file mode 100644 index 0000000..a9b0138 --- /dev/null +++ b/tests/conformance/6-ownership/overwrite_leaks.zc @@ -0,0 +1,6 @@ +// expect error: a: still owns an object; overwriting it would leak it +// spec 6.8.5 +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 |