Decision #670 — binary_reader.rs:424
Status: unreached
Truth table
| row | c0 br 4868 | c1 br 4869 | outcome |
|---|
Independent-effect pairs
c0(branch4868): DEAD view gap →wasmparser::parser::Parser::check_data_count· br_if
inlined: binary_reader.rs:455c1(branch4869): DEAD view gap →wasmparser::parser::Parser::check_data_count· br_if
inlined: binary_reader.rs:455