diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 15:51:30 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 15:51:30 +0330 |
| commit | a80e322bc2e437def62e84cecdbed3374f57338c (patch) | |
| tree | 46bf8e1f52a1334d97832adb1840fc227c4acdb5 /tests/conformance/6-ownership/loop_give_away.zc | |
| parent | xref self-test: a real write in a compiler copy, reject unknown options; rune... (diff) | |
| parent | conformance: port the previous agent's suite, fix six expectations, add secti... (diff) | |
merge spec conformance suite
Diffstat (limited to 'tests/conformance/6-ownership/loop_give_away.zc')
| -rw-r--r-- | tests/conformance/6-ownership/loop_give_away.zc | 6 |
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 |