Decision #739 — lib.rs:5810
Status: unreached
Truth table
| row | c0 br 4809 | c1 br 4811 | c2 br 4812 | c3 br 4815 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::i32_bitop — 4 br_if
c0(branch4809): DEAD view gap →c1(branch4811): DEAD view gap →c2(branch4812): DEAD view gap →c3(branch4815): DEAD view gap →