Decision #510 — binary_reader.rs:1024
Status: unreached
Truth table
| row | c0 br 3691 | c1 br 3693 | c2 br 3695 | c3 br 3696 | c4 br 3697 | c5 br 3698 | c6 br 3699 | c7 br 3700 | outcome |
|---|
Independent-effect pairs
All 8 conditions live in wasmparser::binary_reader::BinaryReader::visit_operator — 8 br_if
c0(branch3691): DEAD view gap →c1(branch3693): DEAD view gap →c2(branch3695): DEAD view gap →c3(branch3696): DEAD view gap →c4(branch3697): DEAD view gap →c5(branch3698): DEAD view gap →c6(branch3699): DEAD view gap →c7(branch3700): DEAD view gap →