From 5a4dc62a79af6135c7050e81a82dbfdfb0a7d4e0 Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 22:28:06 +0330 Subject: uninit: track aggregate fills per part, sticky computed-index fills, &a[k] and method calls set the aggregate; fix test/example hits; docs --- tests/programs/bounds_body.zc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/programs/bounds_body.zc') diff --git a/tests/programs/bounds_body.zc b/tests/programs/bounds_body.zc index ea838ac..d239802 100644 --- a/tests/programs/bounds_body.zc +++ b/tests/programs/bounds_body.zc @@ -4,7 +4,7 @@ include rt; // a loop proof only holds while the body leaves the index alone: here the body // moves i back below 0 once, so t[i] keeps its check and the access faults int main() { - int[4] t; int s = 0, once = 1; + int[4] t = {}; int s = 0, once = 1; for (int i = 0; i < 4; i++) { s = s + t[i]; if (once) { once = 0; i = -3000; } } rt.put_n(s); rt.put_c(10); return 0; -- cgit v1.2.3