Decision #811 — binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 5375 | c1 br 5376 | outcome |
|---|---|---|---|
| 1839 | F | T | T |
| 1840 | F | T | T |
| 5630 | F | T | T |
| 5631 | F | T | T |
| 9411 | F | T | T |
| 9412 | F | T | T |
Independent-effect pairs
c0(branch5375): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::elements::Element>>::{closure#0}>· br_if
inlined: imports.rs:183c1(branch5376): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::elements::Element>>::{closure#0}>· br_if
inlined: imports.rs:183