Decision #342 — library/core/src/ptr/mod.rs:552
Status: unreached
Truth table
| row | c0 br 2478 | c1 br 2479 | outcome |
|---|
Independent-effect pairs
c0(branch2478): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_network· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:274 ← library/core/src/slice/sort/shared/smallsort.rs:576 ← library/core/src/ptr/mod.rs:810 ← library/core/src/slice/sort/shared/smallsort.rs:306c1(branch2479): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_network· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:274 ← library/core/src/slice/sort/shared/smallsort.rs:576 ← library/core/src/ptr/mod.rs:810 ← library/core/src/slice/sort/shared/smallsort.rs:306