Decision #835 — `lib.rs:354`

Status: unreached

Truth table

row	c0 br 5640	c1 br 5641	c2 br 5642	c3 br 5643	outcome

Independent-effect pairs

All 4 conditions live in <alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global> — 4 br_if

c0 (branch 5640): DEAD view gap →
c1 (branch 5641): DEAD view gap →
c2 (branch 5642): DEAD view gap →
c3 (branch 5643): DEAD view gap →

← back to scry-mcdc