Decision #450 — binary_reader.rs:632
Status: unreached
Truth table
| row | c0 br 3046 | c1 br 3047 | c2 br 3048 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in wasmparser::binary_reader::BinaryReader::read_var_u32_big — 3 br_if
c0(branch3046): DEAD view gap →c1(branch3047): DEAD view gap →c2(branch3048): DEAD view gap →