Decision #1121 — `alloc.rs:394`

Status: unreached

Truth table

row	c0 br 7832	c1 br 7834	c2 br 7835	c3 br 7836	outcome

Independent-effect pairs

All 4 conditions live in std::sys::helpers::small_c_string::run_with_cstr_allocating::<core::option::Option<std::ffi::os_str::OsString>> — 4 br_if

c0 (branch 7832): DEAD view gap →
c1 (branch 7834): DEAD view gap →
c2 (branch 7835): DEAD view gap →
c3 (branch 7836): DEAD view gap →

← back to scry-mcdc