Decision #1200 — library/alloc/src/alloc.rs:155
Status: unreached
Truth table
| row | c0 br 8197 | c1 br 8198 | outcome |
|---|
Independent-effect pairs
c0(branch8197): DEAD view gap →core::ptr::drop_glue::<core::result::Result<&[u8], wasmparser::binary_reader::BinaryReaderError>>· br_if
inlined: library/alloc/src/raw_vec/mod.rs:557 ← library/alloc/src/alloc.rs:474 ← library/alloc/src/alloc.rs:362 ← library/alloc/src/alloc.rs:259c1(branch8198): DEAD view gap →core::ptr::drop_glue::<core::result::Result<&[u8], wasmparser::binary_reader::BinaryReaderError>>· br_if
inlined: library/alloc/src/raw_vec/mod.rs:557 ← library/alloc/src/alloc.rs:474 ← library/alloc/src/alloc.rs:362 ← library/alloc/src/alloc.rs:259