Decision #364 — library/alloc/src/raw_vec/mod.rs:422
Status: unreached
Truth table
| row | c0 br 2597 | c1 br 2601 | c2 br 2602 | c3 br 2603 | outcome |
|---|
Independent-effect pairs
c0(branch2597): DEAD view gap →core::slice::sort::stable::merge::merge· br_if
inlined: library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c1(branch2601): DEAD view gap →core::slice::sort::stable::merge::merge· br_ifc2(branch2602): DEAD view gap →core::slice::sort::stable::merge::merge· br_ifc3(branch2603): DEAD view gap →core::slice::sort::stable::merge::merge· br_if