Decision #1039 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 6561 | c1 br 6562 | c2 br 6563 | outcome |
|---|---|---|---|---|
| 181594 | T | F | F | F |
| 181595 | T | F | F | F |
| 184912 | T | F | F | F |
| 184913 | T | F | F | F |
| 188021 | T | F | F | F |
| 188022 | T | F | F | F |
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}> — 3 br_if
c0(branch6561): GAP view gap →c1(branch6562): GAP view gap →c2(branch6563): GAP view gap →