Decision #495 — `binary_reader.rs:916`

Status: unreached

Truth table

row	c0 br 3329	c1 br 3330	c2 br 3331	c3 br 3332	c4 br 3333	c5 br 3334	outcome

Independent-effect pairs

All 6 conditions live in wasmparser::binary_reader::BinaryReader::read_br_table — 6 br_if

c0 (branch 3329): DEAD view gap →
c1 (branch 3330): DEAD view gap →
c2 (branch 3331): DEAD view gap →
c3 (branch 3332): DEAD view gap →
c4 (branch 3333): DEAD view gap →
c5 (branch 3334): DEAD view gap →

← back to scry-mcdc