Decision #1367 — `library/alloc/src/raw_vec/mod.rs:442`

Status: unreached

Truth table

row	c0 br 2435	c1 br 2436	c2 br 2437	c3 br 2438	outcome

Independent-effect pairs

All 4 conditions live in scry_analyze_core::compute_advisories — 1 br_table_default + 3 br_table_target

c0 (branch 2435): DEAD view gap →
c1 (branch 2436): DEAD view gap →
c2 (branch 2437): DEAD view gap →
c3 (branch 2438): DEAD view gap →

← back to scry-mcdc