perf(gc): prove coercing loop operands inert so pure numeric loops lose the back-edge poll - #7076

Merged

proggeramlug merged 4 commits into

mainfrom

perf/loop-purity-whitelist

Jul 30, 2026

Commits on Jul 30, 2026

perf(gc): prove coercing loop operands inert so pure loops lose the back-edge poll
Ralph Küpper
committed
5ac6602
test(gc): pin the loop back-edge poll contract in both directions
Ralph Küpper
committed
2f0f809
docs: changelog fragment for #7076
Ralph Küpper
committed
ad6c721
docs(codegen): correct the stale acc += arr[i] claim in loop purity
Ralph Küpper
committed
2e2f0d0