Decision #1410 — binary_reader.rs:1464
Status: unreached
Truth table
| row | c0 br 6085 | c1 br 6086 | c2 br 6087 | c3 br 6088 | c4 br 6089 | c5 br 6090 | c6 br 6091 | c7 br 6092 | c8 br 6093 | c9 br 6094 | c10 br 6095 | c11 br 6096 | c12 br 6097 | c13 br 6098 | c14 br 6099 | c15 br 6100 | c16 br 6101 | c17 br 6102 | c18 br 6103 | c19 br 6104 | c20 br 6105 | c21 br 6106 | c22 br 6107 | c23 br 6108 | outcome |
|---|
Independent-effect pairs
All 24 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfc_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 1 br_table_default + 23 br_table_target
c0(branch6085): DEAD view gap →c1(branch6086): DEAD view gap →c2(branch6087): DEAD view gap →c3(branch6088): DEAD view gap →c4(branch6089): DEAD view gap →c5(branch6090): DEAD view gap →c6(branch6091): DEAD view gap →c7(branch6092): DEAD view gap →c8(branch6093): DEAD view gap →c9(branch6094): DEAD view gap →c10(branch6095): DEAD view gap →c11(branch6096): DEAD view gap →c12(branch6097): DEAD view gap →c13(branch6098): DEAD view gap →c14(branch6099): DEAD view gap →c15(branch6100): DEAD view gap →c16(branch6101): DEAD view gap →c17(branch6102): DEAD view gap →c18(branch6103): DEAD view gap →c19(branch6104): DEAD view gap →c20(branch6105): DEAD view gap →c21(branch6106): DEAD view gap →c22(branch6107): DEAD view gap →c23(branch6108): DEAD view gap →