From 76a4db8ef506e4fb2c3eb530a3d95904a42ca0cb Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 16:08:34 +0330 Subject: 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 --- tests/conformance/3-expressions/dyn_array_const_index_warning.zc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/conformance/3-expressions/dyn_array_const_index_warning.zc') 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 :5 in main/ include rt; fn main() { int[?] a = {1, 2}; -- cgit v1.2.3