Decision #794 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 5297 | c1 br 5298 | outcome |
|---|
Independent-effect pairs
c0(branch5297): DEAD view gap →<wasmparser::binary_reader::BinaryReaderError>::new::<&str>· br_ifc1(branch5298): DEAD view gap →<wasmparser::binary_reader::BinaryReaderError>::new::<&str>· br_if