diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:24:55 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:24:55 +0330 |
| commit | 886fa9c0b7ad3c0316e85de1b2c87c54a3681b12 (patch) | |
| tree | c586a0d5428cbdb019b80f5a92a8ffd80c0d962d /tests/programs/o3call.zc | |
| parent | rt.zdiv: INT_MIN / -1 is INT_MIN and % is 0 in software division too, so zc0 ... (diff) | |
| parent | merge bounds checking (diff) | |
Merge branch 'main' into work/spec
Diffstat (limited to 'tests/programs/o3call.zc')
| -rw-r--r-- | tests/programs/o3call.zc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/programs/o3call.zc b/tests/programs/o3call.zc index d2292ad..3ad977b 100644 --- a/tests/programs/o3call.zc +++ b/tests/programs/o3call.zc @@ -19,7 +19,7 @@ unchecked o3 int nest(int n) { if (n == 0) return 0; return n + nest(n - 1); } -unchecked fn main() { +unchecked unbounded fn main() { // reads p[-1], the type word, on purpose node* n = leaf(4); int* p = n; rt.put_n(p[-1] < 0); rt.put_c(' '); |