Decision #918 — library/alloc/src/alloc.rs:128
Status: unreached
Truth table
| row | c0 br 6627 | c1 br 6628 | outcome |
|---|
Independent-effect pairs
c0(branch6627): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_f32· br_if
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← 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:229c1(branch6628): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_f32· br_if