From d55b5fdf92a674a6495878f97a09e95bafdcba3f Mon Sep 17 00:00:00 2001
From: zinc <zinc@downsta.ir>
Date: Wed, 14 Oct 2026 15:58:58 +0330
Subject: bounds checking: port agent/bounds-checking onto main 0879d0a;
 unbounded main in o3call, o3 tests expect no check, boundsrules,
 bounds_fixed, bounds_heap and zc0unbounded tests

---
 tests/programs/o3call.zc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/programs/o3call.zc')

diff --git a/tests/programs/o3call.zc b/tests/programs/o3call.zc
index d2292ad..3ad977b 100644
--- a/tests/programs/o3call.zc
+++ b/tests/programs/o3call.zc
@@ -19,7 +19,7 @@ unchecked o3 int nest(int n) {
 	if (n == 0) return 0;
 	return n + nest(n - 1);
 }
-unchecked fn main() {
+unchecked unbounded fn main() {	// reads p[-1], the type word, on purpose
 	node* n = leaf(4);
 	int* p = n;
 	rt.put_n(p[-1] < 0); rt.put_c(' ');
-- 
cgit v1.2.3