Decision #122 — `library/core/src/ptr/mod.rs:551`

Status: partial

Truth table

row	c0 br 695	c1 br 696	c2 br 698	c3 br 701	outcome
95741	T	F	*	*	F
110791	T	F	*	*	F
114049	F	*	T	*	T

Independent-effect pairs

All 4 conditions live in core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}> — 4 br_if

c0 (branch 695): PROVED — pair rows 95741, 114049 (masking)
c1 (branch 696): GAP view gap →
c2 (branch 698): GAP view gap →
c3 (branch 701): DEAD view gap →

← back to scry-mcdc

Decision #122 — library/core/src/ptr/mod.rs:551

Truth table

Independent-effect pairs

Decision #122 — `library/core/src/ptr/mod.rs:551`