diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:09:07 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:09:07 +0330 |
| commit | e228e7609929763d5acddb728ba543832fcffc6a (patch) | |
| tree | 9b4ecc4d46bf38e8d20234d631a6d41543daa211 /tests/parity.known | |
| parent | merge: memdebug obj_base via size classes (diff) | |
| parent | bounds checking: constant loop bound proof works, plain-op fixed-array check,... (diff) | |
merge bounds checking
Diffstat (limited to 'tests/parity.known')
| -rw-r--r-- | tests/parity.known | 3 |
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 |