perf(codegen): prove array-index ranges for strided counters and constant-argument parameters (#7286) - #7296

Merged

proggeramlug merged 7 commits into

mainfrom

perf/7286-index-range-proof

Aug 3, 2026

Commits on Aug 3, 2026

perf(codegen): prove array-index ranges for strided counters and constant-argument params (#7286)
Ralph Küpper
committed
3c4cefe
test(gap): array-index range-proof negative cases; fmt
Ralph Küpper
committed
ee0ff2e
docs(changelog): fragment for #7296
Ralph Küpper
committed
161e14a
fix(codegen): walk closure bodies directly in the param-range scan
Ralph Küpper
committed
7bc40d9
fix(codegen): poison alias-exported functions in the param-range summary
Ralph Küpper
committed
3fe57e5
fix(codegen): use boxed_vars for the closure-writer guard; negative-stride case J
Ralph Küpper
committed
7416502
docs(codegen): why the loop bound needs no closure-writer guard
Ralph Küpper
committed
bc4f2df