Decision #929 — library/alloc/src/alloc.rs:128
Status: unreached
Truth table
| row | c0 br 6730 | c1 br 6739 | c2 br 6744 | outcome |
|---|
Independent-effect pairs
c0(branch6730): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch6739): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_ifc2(branch6744): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229