diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 18:22:04 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 20:03:38 +0330 |
| commit | 459b7661aaa0d65d01be064bd4b9976c4f045a5c (patch) | |
| tree | eccb0738631fc52e5116fb238c2f7f961784ff36 /tests/parity.known | |
| parent | zy: nonzero exit on compile errors (diff) | |
bounds: body scan, loop-entry hoisting, pointer proofs from requested size, --explain-checks v1 (non-o3 code)
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 37874f9..39898b2 100644 --- a/tests/parity.known +++ b/tests/parity.known @@ -18,3 +18,6 @@ tests/programs/bench_strings.zc # reads the repeat count from stdin; with none, 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 tests/programs/bounds_proof.zc # bounds checks: zc0 emits none, so the variable-bound loop is as short as the unbounded one +tests/programs/bounds_hoist.zc # bounds checks: zc0 emits none, so the loop past the end runs on +tests/programs/bounds_body.zc # bounds checks: zc0 emits none, so the moved index reads outside the array +tests/programs/bounds_ptr.zc # bounds checks: zc0 emits none, so the loop past the block does not fault |