Decision #970 — library/core/src/ptr/mod.rs:1721
Status: partial
Truth table
| row | c0 br 1724 | c1 br 1725 | c2 br 1726 | c3 br 1727 | outcome |
|---|
Independent-effect pairs
c0(branch1724): DEAD view gap →core::ptr::drop_in_place<wasmparser::readers::core::operators::Operator>· br_table_target
inlined: library/alloc/src/vec/mod.rs:2823c1(branch1725): DEAD view gap →core::ptr::drop_in_place<wasmparser::readers::core::operators::Operator>· br_table_target
inlined: library/alloc/src/vec/mod.rs:2823c2(branch1726): DEAD view gap →core::ptr::drop_in_place<wasmparser::readers::core::operators::Operator>· br_table_target
inlined: library/alloc/src/vec/mod.rs:2823c3(branch1727): PROVEDcore::ptr::drop_in_place<wasmparser::readers::core::operators::Operator>· br_table_default
inlined: library/alloc/src/vec/mod.rs:2823