Decision #994 — binary_reader.rs:94
Status: unreached
Truth table
| row | c0 br 3125 | c1 br 3126 | c2 br 3127 | c3 br 3128 | c4 br 3129 | c5 br 3130 | c6 br 3131 | outcome |
|---|
Independent-effect pairs
All 7 conditions live in <wasmparser::readers::core::imports::TypeRef as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 6 br_table_target
c0(branch3125): DEAD view gap →c1(branch3126): DEAD view gap →c2(branch3127): DEAD view gap →c3(branch3128): DEAD view gap →c4(branch3129): DEAD view gap →c5(branch3130): DEAD view gap →c6(branch3131): DEAD view gap →