Decision #1693 — `library/alloc/src/raw_vec/mod.rs:443`

Status: unreached

Truth table

row	c0 br 8190	c1 br 8191	c2 br 8192	c3 br 8193	outcome

Independent-effect pairs

All 4 conditions live in core::ptr::drop_glue::<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType, wasmparser::binary_reader::BinaryReaderError>>> — 1 br_table_default + 3 br_table_target

c0 (branch 8190): DEAD view gap →
c1 (branch 8191): DEAD view gap →
c2 (branch 8192): DEAD view gap →
c3 (branch 8193): DEAD view gap →

← back to scry-mcdc

Decision #1693 — library/alloc/src/raw_vec/mod.rs:443

Truth table

Independent-effect pairs

Decision #1693 — `library/alloc/src/raw_vec/mod.rs:443`