interp: bound-check elision for provably in-range array/vector access#3327

Draft

aleksisch wants to merge 3 commits into

aleksisch/bound-check

Commits on Jul 1, 2026

interp: bound-check elision for provably in-range access [skip ci]

aleksisch
and
claude
committed
interp: collect bound-check elision facts over the CFG [skip ci]

aleksisch
and
claude
committed
interp: fuse unchecked array/at nodes + elision logging + benchmark [skip ci]

aleksisch
and
claude
committed