fix: vector_push_front is PureWithPredicate - #13445

Open

AztecBot wants to merge 6 commits into

cb/ast-fuzzer-repro-licm-vector-mutator

Commits on Aug 3, 2026

chore: reproduce LICM miscompiling a hoisted Brillig vector mutator (AST fuzzer)
AztecBot
committed
chore: add failing source-level regression test for the LICM vector mutator hoist

asterite
and
claude
committed
chore: add failing regression test for the LICM hoist of a pure wrapper around a vector mutator

asterite
and
claude
committed
chore: add failing regression test for LICM speculatively hoisting a vector mutator out of an empty loop

asterite
and
claude
committed
fix(ssa): classify vector_push_front as PureWithPredicate so LICM keeps it behind its inc_rc guard

asterite
and
claude
committed
Snapshots and Prover.toml return value
asterite
committed