diff options
Diffstat (limited to 'tests/conformance/6-ownership/overwrite_frees.zc')
| -rw-r--r-- | tests/conformance/6-ownership/overwrite_frees.zc | 6 |
1 files changed, 6 insertions, 0 deletions
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 |