Decision #1009 — binary_reader.rs:524
Status: unreached
Truth table
| row | c0 br 4451 | c1 br 4452 | c2 br 4453 | c3 br 4454 | c4 br 4455 | c5 br 4456 | c6 br 4457 | c7 br 4458 | c8 br 4459 | c9 br 4460 | c10 br 4461 | c11 br 4462 | c12 br 4463 | c13 br 4464 | c14 br 4465 | outcome |
|---|
Independent-effect pairs
All 15 conditions live in wasmparser::readers::core::types::RefType::new — 1 br_table_default + 14 br_table_target
c0(branch4451): DEAD view gap →c1(branch4452): DEAD view gap →c2(branch4453): DEAD view gap →c3(branch4454): DEAD view gap →c4(branch4455): DEAD view gap →c5(branch4456): DEAD view gap →c6(branch4457): DEAD view gap →c7(branch4458): DEAD view gap →c8(branch4459): DEAD view gap →c9(branch4460): DEAD view gap →c10(branch4461): DEAD view gap →c11(branch4462): DEAD view gap →c12(branch4463): DEAD view gap →c13(branch4464): DEAD view gap →c14(branch4465): DEAD view gap →