Decision #1694 — library/alloc/src/raw_vec/mod.rs:565
Status: partial
Truth table
| row | c0 br 8200 | c1 br 8201 | c2 br 8202 | c3 br 8203 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator> — 1 br_table_default + 3 br_table_target
c0(branch8200): DEAD view gap →c1(branch8201): DEAD view gap →c2(branch8202): DEAD view gap →c3(branch8203): PROVED