From d55b5fdf92a674a6495878f97a09e95bafdcba3f Mon Sep 17 00:00:00 2001 From: zinc 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/parity.known | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tests/parity.known') diff --git a/tests/parity.known b/tests/parity.known index 0a73eb3..6892499 100644 --- a/tests/parity.known +++ b/tests/parity.known @@ -13,3 +13,6 @@ tests/programs/uaf_in.zc # memdebug on: only the self-hosted compiler emits the examples/lists.zc # ownership: the block's owner frees at its end, zc0 never frees # the next program reads a local it never sets when stdin is empty, so it prints stack garbage tests/programs/bench_strings.zc # reads the repeat count from stdin; with none, acc is uninitialized +# zc0 reads unbounded and ignores it, and emits no index checks at all +tests/programs/bounds_fixed.zc # bounds checks: only the self-hosted compiler checks a fixed array index +tests/programs/bounds_heap.zc # bounds checks: only the self-hosted compiler checks a pointer into a heap block -- cgit v1.2.3