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

1 files changed, 1 insertions, 1 deletions

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(' ');