Decision #1245 — binary_reader.rs:83
Status: unreached
Truth table
| row | c0 br 8425 | c1 br 8426 | outcome |
|---|
Independent-effect pairs
c0(branch8425): DEAD view gap →<wasmparser::parser::Parser>::check_data_count· br_ifc1(branch8426): DEAD view gap →<wasmparser::parser::Parser>::check_data_count· br_if