Decision #1274 — `macros.rs:279`

Status: unreached

Truth table

row	c0 br 8678	c1 br 8679	c2 br 8681	c3 br 8682	c4 br 8683	outcome

Independent-effect pairs

All 5 conditions live in <core::ffi::c_str::CStr>::from_bytes_with_nul — 5 br_if

c0 (branch 8678): DEAD view gap →
c1 (branch 8679): DEAD view gap →
c2 (branch 8681): DEAD view gap →
c3 (branch 8682): DEAD view gap →
c4 (branch 8683): DEAD view gap →

← back to scry-mcdc