Decision #721 — binary_reader.rs:420
Status: unreached
Truth table
| row | c0 br 5206 | c1 br 5211 | outcome |
|---|
Independent-effect pairs
c0(branch5206): DEAD view gap →core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>>· br_if
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443c1(branch5211): DEAD view gap →core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>>· br_if
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443