Decision #1260 — `c_str.rs:358`

Status: unreached

Truth table

row	c0 br 8612	c1 br 8613	c2 br 8614	c3 br 8615	outcome

Independent-effect pairs

All 4 conditions live in core::unicode::printable::is_printable — 4 br_if

c0 (branch 8612): DEAD view gap →
c1 (branch 8613): DEAD view gap →
c2 (branch 8614): DEAD view gap →
c3 (branch 8615): DEAD view gap →

← back to scry-mcdc