Decision #871 — lib.rs:1301
Status: unreached
Truth table
| row | c0 br 6003 | c1 br 6009 | c2 br 6023 | c3 br 6029 | c4 br 6040 | c5 br 6044 | c6 br 6045 | c7 br 6046 | outcome |
|---|
Independent-effect pairs
c0(branch6003): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc1(branch6009): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc2(branch6023): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc3(branch6029): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_if
inlined: library/core/src/option.rs:1366c4(branch6040): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_if
inlined: library/core/src/option.rs:1366c5(branch6044): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_if
inlined: library/core/src/option.rs:1366c6(branch6045): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc7(branch6046): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_if