Merge branch 'main' into work/spec

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/programs/bounds_heap.zc b/tests/programs/bounds_heap.zc
new file mode 100644
index 0000000..d0bd318
--- /dev/null
+++ b/tests/programs/bounds_heap.zc
@@ -0,0 +1,16 @@
+namespace;
+include rt;
+
+// a pointer to the start of a live heap block is checked against the block's
+// payload, which a buddy block rounds up: rt.new(4) holds 11 words. a pointer
+// into the middle of a block, or to memory that is not a heap block, is not
+// checked. a char is a word, so a char* counts words.
+int main() {
+	int* p = rt.new(4); int* q; char* c = rt.new(2); int i = 10;
+	p[i] = 3; rt.put_n(p[i]); rt.put_c(10);
+	q = p + 1; i = 10; rt.put_n(q[i - 1] - 3); rt.put_c(10);
+	i = 2; c[i] = 'x'; rt.put_c(c[i]); rt.put_c(10);
+	i = 11;
+	rt.put_n(p[i]); rt.put_c(10);
+	return 0;
+}