fix(ssa): Replace unreachable array access with a constrain in Brillig#9378

Closed

vezenovm wants to merge 28 commits intomasterfrom

mv/unreachable-array-access-constrain-trap

Commits on Aug 1, 2025

gate the dummy array in remove_unreachable_instructions to only be for ACIR
vezenovm
committed
debug info
vezenovm
committed
don't gate the array check by runtime testing
vezenovm
committed
debug status
vezenovm
committed
fmt
vezenovm
committed
gate remove_unreachable_instructions only for acir
vezenovm
committed
debug status
vezenovm
committed
gate remove_unreachable_instructions to only be for ACIR and not Brillig, keep gate in ssa gen
vezenovm
committed
only gate dummy array for acir
vezenovm
committed
gate only instructions that try to use a predicate for acir
vezenovm
committed
debug status
vezenovm
committed
gate any instructions can mark reachability as UnreachableUnderPredicate as only for ACIR
vezenovm
committed
test
vezenovm
committed
only gate array get/set
vezenovm
committed
Update compiler/noirc_evaluator/src/ssa/opt/remove_unreachable_instructions.rs
vezenovm
authored
replace unreachable array access with a constrain in brillig
vezenovm
committed
Merge branch 'mv/gate-dummy-array-for-unreachable-array-get-set' into mv/unreachable-array-access-constrain-trap
vezenovm
authored
test just removing the array access
vezenovm
committed
Merge remote-tracking branch 'origin/mv/unreachable-array-access-constrain-trap' into mv/unreachable-array-access-constrain-trap
vezenovm
committed
add some index and length information
vezenovm
committed
fmt
vezenovm
committed
Merge branch 'master' into mv/unreachable-array-access-constrain-trap
vezenovm
authored
log nname
vezenovm
committed
Merge remote-tracking branch 'origin/mv/unreachable-array-access-constrain-trap' into mv/unreachable-array-access-constrain-trap
vezenovm
committed
use element size in output
vezenovm
committed
cleanup
vezenovm
committed
fixup test
vezenovm
committed

Commits on Aug 4, 2025

fix test
vezenovm
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix(ssa): Replace unreachable array access with a constrain in Brillig#9378

fix(ssa): Replace unreachable array access with a constrain in Brillig#9378
vezenovm wants to merge 28 commits intomasterfrom
mv/unreachable-array-access-constrain-trap

Commits on Aug 1, 2025

gate the dummy array in remove_unreachable_instructions to only be for ACIR

debug info

don't gate the array check by runtime testing

debug status

fmt

gate remove_unreachable_instructions only for acir

debug status

gate remove_unreachable_instructions to only be for ACIR and not Brillig, keep gate in ssa gen

only gate dummy array for acir

gate only instructions that try to use a predicate for acir

debug status

gate any instructions can mark reachability as UnreachableUnderPredicate as only for ACIR

test

only gate array get/set

Update compiler/noirc_evaluator/src/ssa/opt/remove_unreachable_instructions.rs

replace unreachable array access with a constrain in brillig

Merge branch 'mv/gate-dummy-array-for-unreachable-array-get-set' into mv/unreachable-array-access-constrain-trap

test just removing the array access

Merge remote-tracking branch 'origin/mv/unreachable-array-access-constrain-trap' into mv/unreachable-array-access-constrain-trap

add some index and length information

fmt

Merge branch 'master' into mv/unreachable-array-access-constrain-trap

log nname

Merge remote-tracking branch 'origin/mv/unreachable-array-access-constrain-trap' into mv/unreachable-array-access-constrain-trap

use element size in output

cleanup

fixup test

Commits on Aug 4, 2025

fix test