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

1 files changed, 39 insertions, 0 deletions

diff --git a/tests/conformance/8-runtime/o3_no_gc_inside.zc b/tests/conformance/8-runtime/o3_no_gc_inside.zc
new file mode 100644
index 0000000..532765c
--- /dev/null
+++ b/tests/conformance/8-runtime/o3_no_gc_inside.zc
@@ -0,0 +1,39 @@
+// expect: 0 1 0 1 0 1/
+// spec 4.10.3: no collection runs inside an o3 region; an allocation that would collect grows the heap, and leaving the outermost region runs the pending collection once
+include rt;
+word sink;
+int inside;
+o3 int churn(int n) {
+	int i = 0;
+	while (i < n) { sink = rt.new(64); i++; }
+	rt.gc();
+	return 0;
+}
+int early(int base) {
+	o3 {
+		int i = 0;
+		while (i < 20000) { sink = rt.new(64); i++; }
+		rt.gc();
+		inside = rt.gc_runs - base;
+		return 0;
+	}
+	return 1;
+}
+fn main() {
+	int before = rt.gc_runs;
+	o3 {
+		int i = 0;
+		while (i < 20000) { sink = rt.new(64); i++; }
+		inside = rt.gc_runs - before;
+	}
+	rt.put_n(inside); rt.put_c(32); rt.put_n(rt.gc_runs - before); rt.put_c(32);
+	before = rt.gc_runs;
+	churn(20000);
+	rt.put_n(0); rt.put_c(32); rt.put_n(rt.gc_runs - before); rt.put_c(32);
+	before = rt.gc_runs;
+	early(before);
+	rt.put_n(inside); rt.put_c(32); rt.put_n(rt.gc_runs - before);
+	rt.put_c(10);
+	return 0;
+}
+// zc0: skip