Decision #353 — `library/core/src/ptr/mod.rs:552`

Status: unreached

Truth table

row	c0 br 2530	c1 br 2531	c2 br 2532	c3 br 2533	c4 br 2534	c5 br 2535	c6 br 2537	c7 br 2538	c8 br 2547	outcome

Independent-effect pairs

All 9 conditions live in core::slice::sort::stable::drift::create_run — 9 br_if

c0 (branch 2530): DEAD view gap →
c1 (branch 2531): DEAD view gap →
c2 (branch 2532): DEAD view gap →
c3 (branch 2533): DEAD view gap →
c4 (branch 2534): DEAD view gap →
c5 (branch 2535): DEAD view gap →
c6 (branch 2537): DEAD view gap →
c7 (branch 2538): DEAD view gap →
c8 (branch 2547): DEAD view gap →

← back to scry-mcdc