Decision #1114 — lib.rs:1301
Status: unreached
Truth table
| row | c0 br 7190 | c1 br 7236 | c2 br 7239 | c3 br 7243 | c4 br 7249 | c5 br 7257 | c6 br 7258 | c7 br 7263 | c8 br 7269 | outcome |
|---|
Independent-effect pairs
c0(branch7190): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc1(branch7236): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc2(branch7239): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc3(branch7243): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc4(branch7249): 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:1365c5(branch7257): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc6(branch7258): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc7(branch7263): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>· br_ifc8(branch7269): 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:1365