Decision #1692 — `binary_reader.rs:472`

Status: unreached

Truth table

row	c0 br 8034	c1 br 8035	c2 br 8036	c3 br 8037	outcome

Independent-effect pairs

All 4 conditions live in <wasmparser::binary_reader::BinaryReaderIter<u32> as core::ops::drop::Drop>::drop — 1 br_table_default + 3 br_table_target

c0 (branch 8034): DEAD view gap →
c1 (branch 8035): DEAD view gap →
c2 (branch 8036): DEAD view gap →
c3 (branch 8037): DEAD view gap →

← back to scry-mcdc