Decision #1157 — binary_reader.rs:842
Status: unreached
Truth table
| row | c0 br 7859 | c1 br 7860 | outcome |
|---|
Independent-effect pairs
c0(branch7859): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_var_i64· br_ifc1(branch7860): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_var_i64· br_if