Decision #837 — `library/core/src/num/uint_macros.rs:898`

Status: unreached

Truth table

row	c0 br 5645	c1 br 5646	outcome

Independent-effect pairs

c0 (branch 5645): DEAD view gap →
<alloc::raw_vec::RawVecInner>::finish_grow · br_if
inlined: lib.rs:238
c1 (branch 5646): DEAD view gap →
<alloc::raw_vec::RawVecInner>::finish_grow · br_if
inlined: lib.rs:238

← back to scry-mcdc