aboutsummaryrefslogtreecommitdiff
path: root/tests/parity.known
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 16:25:05 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 16:25:05 +0330
commit8a7092df7b7fc8a5eb4f02ef14588246bd111daf (patch)
tree0d9d28ca93ccbddb1f99cb02b88ed466e0ade481 /tests/parity.known
parenthistory: 43-stdlib notes point forward to zc0 no longer reserving u, m and d (diff)
parentmerge bounds checking (diff)
Merge branch 'main' into work/xref
Diffstat (limited to 'tests/parity.known')
-rw-r--r--tests/parity.known3
1 files changed, 3 insertions, 0 deletions
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