Decision #347 — library/core/src/ptr/mod.rs:1438
Status: unreached
Truth table
| row | c0 br 2506 | c1 br 2507 | c2 br 2508 | outcome |
|---|
Independent-effect pairs
c0(branch2506): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_general_with_scratch· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:242 ← library/core/src/slice/mod.rs:998 ← library/core/src/slice/mod.rs:1015 ← library/core/src/mem/mod.rs:787 ← library/core/src/intrinsics/mod.rs:2570 ← library/core/src/intrinsics/mod.rs:2448 ← library/core/src/ptr/mod.rs:1402 ← library/core/src/ptr/mod.rs:1493c1(branch2507): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_general_with_scratch· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:242 ← library/core/src/slice/mod.rs:998 ← library/core/src/slice/mod.rs:1015 ← library/core/src/mem/mod.rs:787 ← library/core/src/intrinsics/mod.rs:2570 ← library/core/src/intrinsics/mod.rs:2448 ← library/core/src/ptr/mod.rs:1402 ← library/core/src/ptr/mod.rs:1493c2(branch2508): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_general_with_scratch· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:242 ← library/core/src/slice/mod.rs:998 ← library/core/src/slice/mod.rs:1015 ← library/core/src/mem/mod.rs:787 ← library/core/src/intrinsics/mod.rs:2570 ← library/core/src/intrinsics/mod.rs:2448 ← library/core/src/ptr/mod.rs:1402 ← library/core/src/ptr/mod.rs:1493