aboutsummaryrefslogtreecommitdiff
path: root/tests/programs/bounds_body.zc
Commit message (Collapse)AuthorAgeFilesLines
* uninit: track aggregate fills per part, sticky computed-index fills, &a[k] ↵Gravatar zinc 12 days1-1/+1
| | | | and method calls set the aggregate; fix test/example hits; docs
* bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵Gravatar zinc 13 days1-0/+11
--explain-checks v1 (non-o3 code)