Decision #1344 — library/core/src/slice/sort/stable/drift.rs:269
Status: partial
Truth table
| row | c0 br 390 | c1 br 391 | c2 br 392 | c3 br 393 | 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(branch390): DEAD view gap →c1(branch391): DEAD view gap →c2(branch392): DEAD view gap →c3(branch393): PROVED