Decision #689 — `binary_reader.rs:838`

Status: unreached

Truth table

row	c0 br 4936	c1 br 4938	c2 br 4945	outcome

Independent-effect pairs

c0 (branch 4936): DEAD view gap →
wasmparser::readers::core::types::read_composite_type · br_if
c1 (branch 4938): DEAD view gap →
wasmparser::readers::core::types::read_composite_type · br_if
inlined: types.rs:2210 ← library/core/src/ptr/mod.rs:810 ← binary_reader.rs:861
c2 (branch 4945): DEAD view gap →
wasmparser::readers::core::types::read_composite_type · br_if

← back to scry-mcdc