Decision #1372 — `library/alloc/src/raw_vec/mod.rs:186`

Status: partial

Truth table

row	c0 br 2783	c1 br 2784	c2 br 2785	c3 br 2786	c4 br 2787	c5 br 2788	c6 br 2789	c7 br 2790	c8 br 2791	c9 br 2792	c10 br 2793	c11 br 2794	c12 br 2795	outcome

Independent-effect pairs

All 13 conditions live in scry_analyze_core::run_taint_analysis — 1 br_table_default + 12 br_table_target

c0 (branch 2783): PROVED
c1 (branch 2784): PROVED
c2 (branch 2785): DEAD view gap →
c3 (branch 2786): PROVED
c4 (branch 2787): DEAD view gap →
c5 (branch 2788): DEAD view gap →
c6 (branch 2789): DEAD view gap →
c7 (branch 2790): DEAD view gap →
c8 (branch 2791): DEAD view gap →
c9 (branch 2792): PROVED
c10 (branch 2793): DEAD view gap →
c11 (branch 2794): PROVED
c12 (branch 2795): DEAD view gap →

← back to scry-mcdc