Decision #1681 — `library/alloc/src/vec/mod.rs:4045`

Status: unreached

Truth table

row	c0 br 7880	c1 br 7881	c2 br 7882	c3 br 7883	c4 br 7884	c5 br 7885	c6 br 7886	c7 br 7887	c8 br 7888	c9 br 7889	c10 br 7890	c11 br 7891	c12 br 7892	c13 br 7893	c14 br 7894	outcome

Independent-effect pairs

All 15 conditions live in <wasmparser::readers::core::types::RefType>::new — 1 br_table_default + 14 br_table_target

c0 (branch 7880): DEAD view gap →
c1 (branch 7881): DEAD view gap →
c2 (branch 7882): DEAD view gap →
c3 (branch 7883): DEAD view gap →
c4 (branch 7884): DEAD view gap →
c5 (branch 7885): DEAD view gap →
c6 (branch 7886): DEAD view gap →
c7 (branch 7887): DEAD view gap →
c8 (branch 7888): DEAD view gap →
c9 (branch 7889): DEAD view gap →
c10 (branch 7890): DEAD view gap →
c11 (branch 7891): DEAD view gap →
c12 (branch 7892): DEAD view gap →
c13 (branch 7893): DEAD view gap →
c14 (branch 7894): DEAD view gap →

← back to scry-mcdc