aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/6-ownership/loop_give_away.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/conformance/6-ownership/loop_give_away.zc')
-rw-r--r--tests/conformance/6-ownership/loop_give_away.zc6
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