merge main into work/line-tables

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/conformance/6-ownership/loop_give_away.zc b/tests/conformance/6-ownership/loop_give_away.zc
new file mode 100644
index 0000000..6c1d385
--- /dev/null
+++ b/tests/conformance/6-ownership/loop_give_away.zc
@@ -0,0 +1,6 @@
+// expect error: p: is given away inside a loop that comes back around to it
+// spec 6.10.2
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() { int* p = rt.new(1); p[0] = 1; for (int i = 0; i < 2; i++) { rt.free(p); } return 0; }
+// zc0: skip