Decision #1105 — library/alloc/src/alloc.rs:128
Status: unreached
Truth table
| row | c0 br 7731 | c1 br 7734 | outcome |
|---|
Independent-effect pairs
c0(branch7731): DEAD view gap →<wasmparser::readers::core::imports::ImportsIter as core::iter::traits::iterator::Iterator>::next· br_if
inlined: types.rs:2149 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← 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/boxed.rs:1956 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c1(branch7734): DEAD view gap →<wasmparser::readers::core::imports::ImportsIter as core::iter::traits::iterator::Iterator>::next· br_if