Decision #1019 — `binary_reader.rs:420`

Status: unreached

Truth table

row	c0 br 7259	c1 br 7260	outcome

Independent-effect pairs

c0 (branch 7259): DEAD view gap →
<wasmparser::binary_reader::BinaryReader>::read_var_s33 · br_if
inlined: types.rs:2093
c1 (branch 7260): DEAD view gap →
<wasmparser::binary_reader::BinaryReader>::read_var_s33 · br_if
inlined: types.rs:2093

← back to scry-mcdc