Decision #647 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 4748 | c1 br 4749 | outcome |
|---|
Independent-effect pairs
c0(branch4748): DEAD view gap →core::ptr::drop_in_place<core::result::Result<&[u8],wasmparser::binary_reader::BinaryReaderError>>· br_if
inlined: binary_reader.rs:443 ← binary_reader.rs:422c1(branch4749): DEAD view gap →core::ptr::drop_in_place<core::result::Result<&[u8],wasmparser::binary_reader::BinaryReaderError>>· br_if