Decision #583 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 4421 | c1 br 4422 | outcome |
|---|
Independent-effect pairs
c0(branch4421): DEAD view gap →wasmparser::binary_reader::BinaryReader::read· br_if
inlined: binary_reader.rs:369c1(branch4422): DEAD view gap →wasmparser::binary_reader::BinaryReader::read· br_if