Decision #142 — library/core/src/slice/cmp.rs:443
Status: unreached
Truth table
| row | c0 br 957 | c1 br 958 | c2 br 959 | c3 br 960 | c4 br 961 | outcome |
|---|
Independent-effect pairs
c0(branch957): DEAD view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:4527 ← library/core/src/slice/iter/macros.rs:332c1(branch958): DEAD view gap →scry_analyze_core::Interp::seq· br_ifc2(branch959): DEAD view gap →scry_analyze_core::Interp::seq· br_ifc3(branch960): DEAD view gap →scry_analyze_core::Interp::seq· br_ifc4(branch961): DEAD view gap →scry_analyze_core::Interp::seq· br_if