Decision #1015 — library/alloc/src/raw_vec/mod.rs:634
Status: partial
Truth table
| row | c0 br 4981 | c1 br 4982 | c2 br 4983 | outcome |
|---|
Independent-effect pairs
c0(branch4981): DEAD view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: binary_reader.rs:118 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424c1(branch4982): PROVED<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: binary_reader.rs:118 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424c2(branch4983): DEAD view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_table_default
inlined: binary_reader.rs:118 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424