Decision #671 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 4870 | c1 br 4871 | outcome |
|---|
Independent-effect pairs
c0(branch4870): DEAD view gap →wasmparser::parser::Parser::check_data_count· br_if
inlined: binary_reader.rs:455 ← binary_reader.rs:422 ← binary_reader.rs:430c1(branch4871): DEAD view gap →wasmparser::parser::Parser::check_data_count· br_if
inlined: binary_reader.rs:455 ← binary_reader.rs:422 ← binary_reader.rs:430