Decision #1426 — library/alloc/src/alloc.rs:101
Status: partial
Truth table
| row | c0 br 6952 | c1 br 6953 | c2 br 6954 | c3 br 6955 | outcome |
|---|
Independent-effect pairs
c0(branch6952): DEAD view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_table_target
inlined: library/alloc/src/raw_vec/mod.rs:434 ← library/alloc/src/raw_vec/mod.rs:465 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch6953): DEAD view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_table_target
inlined: library/alloc/src/raw_vec/mod.rs:434 ← library/alloc/src/raw_vec/mod.rs:465 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c2(branch6954): DEAD view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_table_target
inlined: library/alloc/src/raw_vec/mod.rs:434 ← library/alloc/src/raw_vec/mod.rs:465 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c3(branch6955): PROVEDcore::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_table_default
inlined: library/alloc/src/raw_vec/mod.rs:434 ← library/alloc/src/raw_vec/mod.rs:465 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210