Decision #74 — library/core/src/slice/sort/shared/pivot.rs:65
Status: unreached
Truth table
| row | c0 br 486 | c1 br 488 | c2 br 490 | c3 br 493 | c4 br 494 | c5 br 495 | outcome |
|---|
Independent-effect pairs
All 6 conditions live in core::slice::sort::stable::drift::sort::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}> — 6 br_if
c0(branch486): DEAD view gap →c1(branch488): DEAD view gap →c2(branch490): DEAD view gap →c3(branch493): DEAD view gap →c4(branch494): DEAD view gap →c5(branch495): DEAD view gap →