Decision #738 — lib.rs:5163
Status: unreached
Truth table
| row | c0 br 4787 | c1 br 4788 | outcome |
|---|
Independent-effect pairs
c0(branch4787): DEAD view gap →scry_analyze_core::i32_bitop· br_ifc1(branch4788): DEAD view gap →scry_analyze_core::i32_bitop· br_if