Skip to content

RQ-59-ZEROINIT (#990): a local written on one arm of a br_if now reads the wasm-mandated 0 — domination-precise zero-init classification, ARM + RV32 - #1016

Merged
avrabe merged 6 commits into
mainfrom
fix/arm-brif-zeroinit-990
Aug 21, 2026
Merged

RQ-59-ZEROINIT (#990): a local written on one arm of a br_if now reads the wasm-mandated 0 — domination-precise zero-init classification, ARM + RV32#1016
avrabe merged 6 commits into
mainfrom
fix/arm-brif-zeroinit-990

test(#990): committed potency tests for the BRANCH_POPULATION checker…

51fd085
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 21, 2026 in 0s

98.52% of diff hit (target 87.27%)

View this Pull Request on Codecov

98.52% of diff hit (target 87.27%)

View more details on Codecov