Decision #526 — `library/alloc/src/raw_vec/mod.rs:435`

Status: unreached

Truth table

row	c0 br 3728	c1 br 3731	c2 br 3750	c3 br 3755	c4 br 3756	c5 br 3757	outcome

Independent-effect pairs

All 6 conditions live in scry_analyze_core::handle_memory_store — 6 br_if

c0 (branch 3728): DEAD view gap →
c1 (branch 3731): DEAD view gap →
c2 (branch 3750): DEAD view gap →
c3 (branch 3755): DEAD view gap →
c4 (branch 3756): DEAD view gap →
c5 (branch 3757): DEAD view gap →

← back to scry-mcdc