Decision #1710 — names.rs:152
Status: partial
Truth table
| row | c0 br 8814 | c1 br 8815 | c2 br 8816 | c3 br 8817 | c4 br 8818 | c5 br 8819 | c6 br 8820 | c7 br 8821 | c8 br 8822 | c9 br 8823 | c10 br 8824 | c11 br 8825 | c12 br 8826 | outcome |
|---|
Independent-effect pairs
All 13 conditions live in <wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader — 1 br_table_default + 12 br_table_target
c0(branch8814): DEAD view gap →c1(branch8815): PROVEDc2(branch8816): DEAD view gap →c3(branch8817): DEAD view gap →c4(branch8818): DEAD view gap →c5(branch8819): DEAD view gap →c6(branch8820): DEAD view gap →c7(branch8821): PROVEDc8(branch8822): DEAD view gap →c9(branch8823): DEAD view gap →c10(branch8824): DEAD view gap →c11(branch8825): DEAD view gap →c12(branch8826): DEAD view gap →