uninit: track aggregate fills per part, sticky computed-index fills, &a[k] and method calls set the aggregate; fix test/example hits; docs

1 files changed, 1 insertions, 1 deletions

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;