fix(ssa): Do not remove array operations that can be OOB during DIE #9232

Merged

TomAFrench merged 6 commits intotf/optimize-array-access-checksfrom

mv/array-get-side-effects

Jul 22, 2025

Commits on Jul 17, 2025

check whether array gets require an acir gen predicate
vezenovm
committed

Commits on Jul 18, 2025

Merge branch 'tf/optimize-array-access-checks' into mv/array-get-side-effects
vezenovm
authored

Commits on Jul 21, 2025

feat(ssa): Mark instructions after OOB array op as unreachable (#9234)

vezenovm
and
TomAFrench
authored
Merge branch 'tf/optimize-array-access-checks' into mv/array-get-side-effects
TomAFrench
authored

Commits on Jul 22, 2025