Decision #1408 — binary_reader.rs:1256
Status: partial
Truth table
| row | c0 br 5934 | c1 br 5935 | c2 br 5936 | c3 br 5937 | c4 br 5938 | outcome |
|---|
Independent-effect pairs
All 5 conditions live in <wasmparser::readers::core::types::HeapType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 4 br_table_target
c0(branch5934): DEAD view gap →c1(branch5935): DEAD view gap →c2(branch5936): DEAD view gap →c3(branch5937): DEAD view gap →c4(branch5938): PROVED