Decision #1251 — `binary_reader.rs:606`

Status: unreached

Truth table

row	c0 br 8459	c1 br 8460	c2 br 8461	c3 br 8462	outcome

Independent-effect pairs

All 4 conditions live in <wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators — 4 br_if

c0 (branch 8459): DEAD view gap →
c1 (branch 8460): DEAD view gap →
c2 (branch 8461): DEAD view gap →
c3 (branch 8462): DEAD view gap →

← back to scry-mcdc