Decision #1091 — `binary_reader.rs:1217`

Status: unreached

Truth table

row	c0 br 7139	c1 br 7140	c2 br 7141	c3 br 7142	outcome

Independent-effect pairs

All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::read_br_table — 4 br_if

c0 (branch 7139): DEAD view gap →
c1 (branch 7140): DEAD view gap →
c2 (branch 7141): DEAD view gap →
c3 (branch 7142): DEAD view gap →

← back to scry-mcdc