Decision #1007 — library/core/src/result.rs:2189
Status: unreached
Truth table
| row | c0 br 3920 | c1 br 3921 | c2 br 3922 | c3 br 3923 | c4 br 3924 | c5 br 3925 | c6 br 3926 | c7 br 3927 | c8 br 3928 | c9 br 3929 | c10 br 3930 | c11 br 3931 | c12 br 3932 | c13 br 3933 | c14 br 3934 | c15 br 3935 | c16 br 3936 | c17 br 3937 | c18 br 3938 | c19 br 3939 | c20 br 3940 | c21 br 3941 | c22 br 3942 | c23 br 3943 | outcome |
|---|
Independent-effect pairs
c0(branch3920): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c1(branch3921): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c2(branch3922): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c3(branch3923): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c4(branch3924): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c5(branch3925): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c6(branch3926): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c7(branch3927): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c8(branch3928): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c9(branch3929): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c10(branch3930): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c11(branch3931): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c12(branch3932): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c13(branch3933): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c14(branch3934): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c15(branch3935): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c16(branch3936): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c17(branch3937): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c18(branch3938): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c19(branch3939): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c20(branch3940): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c21(branch3941): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c22(branch3942): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_target
inlined: binary_reader.rs:1487c23(branch3943): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_0xfc_operator· br_table_default
inlined: binary_reader.rs:1487