Decision #805 — imports.rs:110
Status: no_witness
Truth table
| row | c0 br 5346 | c1 br 5347 | c2 br 5348 | outcome |
|---|---|---|---|---|
| 1833 | F | F | T | T |
| 1834 | F | F | T | T |
| 5624 | F | F | T | T |
| 5625 | F | F | T | T |
| 9405 | F | F | T | T |
| 9406 | F | F | T | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>::{closure#0}> — 3 br_if
c0(branch5346): GAP view gap →c1(branch5347): GAP view gap →c2(branch5348): GAP view gap →