Decision #963 — library/alloc/src/raw_vec/mod.rs:634
Status: no_witness
Truth table
| row | c0 br 6906 | c1 br 6907 | outcome |
|---|---|---|---|
| 1913 | F | * | F |
| 1914 | F | * | F |
| 5704 | F | * | F |
| 5705 | F | * | F |
| 9485 | F | * | F |
| 9486 | F | * | F |
Independent-effect pairs
c0(branch6906): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::elements::Element>>· br_if
inlined: 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:424c1(branch6907): DEAD view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::elements::Element>>· br_if
inlined: 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