Decision #1159 — types.rs:2216
Status: unreached
Truth table
| row | c0 br 7869 | c1 br 7870 | outcome |
|---|
Independent-effect pairs
c0(branch7869): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_f64· br_ifc1(branch7870): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_f64· br_if