destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.15

2 files changed, 25 insertions, 0 deletions

diff --git a/tests/actor/reject/drop_message.zc b/tests/actor/reject/drop_message.zc
new file mode 100644
index 0000000..fb37d5f
--- /dev/null
+++ b/tests/actor/reject/drop_message.zc
@@ -0,0 +1,13 @@
+// destructors 7: copying a value with a drop into an actor message is an error; two processes would drop it twice
+namespace;
+include rt, actor;
+struct res { int fd; void drop() { rt.put_s("closed"); } }
+actor Keeper { int total; int handle(res* r) { return r.fd; } }
+fn main() {
+	Keeper* k = rt.new(Keeper);
+	res* r = rt.new(res); r.fd = 3;
+	k.spawn();
+	k.send(r);
+	k.close();
+	return 0;
+}
diff --git a/tests/actor/reject/drop_value.zc b/tests/actor/reject/drop_value.zc
new file mode 100644
index 0000000..10e941d
--- /dev/null
+++ b/tests/actor/reject/drop_value.zc
@@ -0,0 +1,12 @@
+// destructors 7: a value whose own drop is set can't be copied into an actor message either
+namespace;
+include rt, actor;
+actor Echo { int handle(int* p) { return *p; } }
+fn main() {
+	Echo* e = rt.new(Echo);
+	int* p = rt.new(int); p.drop = fn() { rt.put_s("dropped"); };
+	e.spawn();
+	e.send(p);
+	e.close();
+	return 0;
+}