Decision #919 — library/alloc/src/vec/mod.rs:4030
Status: unreached
Truth table
| row | c0 br 6630 | c1 br 6631 | c2 br 6632 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::read_f64 — 3 br_if
c0(branch6630): DEAD view gap →c1(branch6631): DEAD view gap →c2(branch6632): DEAD view gap →