diff options
Diffstat (limited to 'tests/errors')
| -rw-r--r-- | tests/errors/leak_overwrite.zc | 4 | ||||
| -rw-r--r-- | tests/errors/move_live_owner.zc | 5 | ||||
| -rw-r--r-- | tests/errors/reassign_from_own_child.zc | 6 |
3 files changed, 9 insertions, 6 deletions
diff --git a/tests/errors/leak_overwrite.zc b/tests/errors/leak_overwrite.zc index 50fecfa..45febed 100644 --- a/tests/errors/leak_overwrite.zc +++ b/tests/errors/leak_overwrite.zc @@ -1,5 +1,7 @@ namespace; include rt; +// a u object still has to leave its block, so overwriting it is not a free (spec 6.8.5) // expect: x: still owns an object -fn main() { let x = rt.new(1); x = rt.new(2); return x[0]; } +int*.u mk() { int*.u x = rt.new(1); x = rt.new(2); return x; } +fn main() { let p = mk(); return p[0]; } diff --git a/tests/errors/move_live_owner.zc b/tests/errors/move_live_owner.zc deleted file mode 100644 index e36909c..0000000 --- a/tests/errors/move_live_owner.zc +++ /dev/null @@ -1,5 +0,0 @@ -namespace; -include rt; - -// expect: still owns an object; overwriting it would leak it -fn main() { word r = rt.new(4); { word n = rt.new(8); n[0] = 1; r = n; } r[0] = 2; return 0; } diff --git a/tests/errors/reassign_from_own_child.zc b/tests/errors/reassign_from_own_child.zc new file mode 100644 index 0000000..4a23e51 --- /dev/null +++ b/tests/errors/reassign_from_own_child.zc @@ -0,0 +1,6 @@ +namespace; +include rt; + +struct node { node* next; int v; } +// expect: a: reassigning frees the old value, and the new value is part of it +fn main() { node* a = rt.new(node); a.next = rt.new(node); a = a.next; return 0; } |