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/programs/bounds_hi.zc | |
| 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/programs/bounds_hi.zc')
| -rw-r--r-- | tests/programs/bounds_hi.zc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/programs/bounds_hi.zc b/tests/programs/bounds_hi.zc index 49639c5..5475764 100644 --- a/tests/programs/bounds_hi.zc +++ b/tests/programs/bounds_hi.zc @@ -1,7 +1,8 @@ namespace; include rt; -// the index is not the induction variable. i + 1 walks off the end. +// the index is not the induction variable. i + 1 walks off the end, but o3 +// implies unbounded: nothing checks it, and the write lands in the block's slack o3 fn main() { fixed int[?] f = rt.new(fixed int[?], 4); int n = len(f), i; |