Decision #1030 — binary_reader.rs:420
Status: unreached
Truth table
| row | c0 br 5207 | c1 br 5208 | c2 br 5209 | c3 br 5210 | outcome |
|---|
Independent-effect pairs
c0(branch5207): DEAD view gap →core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>>· br_table_target
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443c1(branch5208): DEAD view gap →core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>>· br_table_target
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443c2(branch5209): DEAD view gap →core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>>· br_table_target
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443c3(branch5210): DEAD view gap →core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>>· br_table_default
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443