diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:08:34 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:08:34 +0330 |
| commit | 76a4db8ef506e4fb2c3eb530a3d95904a42ca0cb (patch) | |
| tree | 6cf50f1bd3d5e44d8d0306e7547d072c9822fa27 /tests/conformance | |
| parent | bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main... (diff) | |
bounds checking: constant loop bound proof works, plain-op fixed-array check, docs (readme, spec 4.15 and friends, server, vscode), conformance and test.sh fixes, todo
Diffstat (limited to 'tests/conformance')
4 files changed, 4 insertions, 4 deletions
diff --git a/tests/conformance/3-expressions/dyn_array_const_index_warning.zc b/tests/conformance/3-expressions/dyn_array_const_index_warning.zc index 36890d7..9639128 100644 --- a/tests/conformance/3-expressions/dyn_array_const_index_warning.zc +++ b/tests/conformance/3-expressions/dyn_array_const_index_warning.zc @@ -1,4 +1,4 @@ -// expect: zc: line 5: warning: out-of-bounds access: index 2 is outside length 2 (storage declared or allocated on line 4)/zy: index 2 out of range (length 2)/ +// expect: zc: line 5: warning: out-of-bounds access: index 2 is outside length 2 (storage declared or allocated on line 4)/zy: index 2 out of range (length 2)/ at <stdin>:5 in main/ include rt; fn main() { int[?] a = {1, 2}; diff --git a/tests/conformance/3-expressions/dyn_array_index_negative.zc b/tests/conformance/3-expressions/dyn_array_index_negative.zc index c87e786..023951e 100644 --- a/tests/conformance/3-expressions/dyn_array_index_negative.zc +++ b/tests/conformance/3-expressions/dyn_array_index_negative.zc @@ -1,4 +1,4 @@ -// expect: zy: index -1 out of range (length 2)/ +// expect: zy: index -1 out of range (length 2)/ at <stdin>:7 in main/ include rt; void pn(int x) { rt.put_n(x); rt.put_c(10); } fn main() { diff --git a/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc b/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc index eff8061..e613b70 100644 --- a/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc +++ b/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc @@ -1,4 +1,4 @@ -// expect: 2/zy: index 2 out of range (length 2)/ +// expect: 2/zy: index 2 out of range (length 2)/ at <stdin>:8 in main/ include rt; void pn(int x) { rt.put_n(x); rt.put_c(10); } fn main() { diff --git a/tests/conformance/3-expressions/dyn_array_pop_empty.zc b/tests/conformance/3-expressions/dyn_array_pop_empty.zc index 6f5fdd0..ce08fca 100644 --- a/tests/conformance/3-expressions/dyn_array_pop_empty.zc +++ b/tests/conformance/3-expressions/dyn_array_pop_empty.zc @@ -1,4 +1,4 @@ -// expect: zy: index -1 out of range (length 0)/ +// expect: zy: index -1 out of range (length 0)/ at <stdin>:6 in main/ include rt; void pn(int x) { rt.put_n(x); rt.put_c(10); } fn main() { |