Decision #188 — library/core/src/ptr/mod.rs:551
Status: unreached
Truth table
| row | c0 br 988 | c1 br 989 | c2 br 990 | c3 br 992 | c4 br 993 | c5 br 1000 | c6 br 1001 | c7 br 1002 | outcome |
|---|
Independent-effect pairs
c0(branch988): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_if
inlined: library/core/src/slice/sort/stable/quicksort.rs:65 ← library/core/src/slice/sort/stable/quicksort.rs:150 ← library/core/src/slice/sort/stable/quicksort.rs:228c1(branch989): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_if
inlined: library/core/src/slice/sort/stable/quicksort.rs:65 ← library/core/src/slice/sort/stable/quicksort.rs:150 ← library/core/src/slice/sort/stable/quicksort.rs:228c2(branch990): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_ifc3(branch992): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_ifc4(branch993): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_ifc5(branch1000): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_ifc6(branch1001): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_ifc7(branch1002): DEAD view gap →core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>· br_if