Decision #356 — library/core/src/ptr/mut_ptr.rs:961
Status: unreached
Truth table
| row | c0 br 2556 | c1 br 2561 | c2 br 2572 | outcome |
|---|
Independent-effect pairs
c0(branch2556): DEAD view gap →core::slice::sort::stable::quicksort::quicksort· br_if
inlined: library/core/src/slice/sort/stable/merge.rs:53c1(branch2561): DEAD view gap →core::slice::sort::stable::quicksort::quicksort· br_if
inlined: library/core/src/slice/sort/stable/merge.rs:56 ← library/core/src/slice/sort/stable/merge.rs:98c2(branch2572): DEAD view gap →core::slice::sort::stable::quicksort::quicksort· br_if