Decision #827 — binary_reader.rs:998
Status: no_witness
Truth table
| row | c0 br 5480 | c1 br 5481 | c2 br 5482 | outcome |
|---|---|---|---|---|
| 1861 | T | T | F | T |
| 5652 | T | T | F | T |
| 9433 | T | T | F | T |
| 103346 | T | T | F | T |
| 107002 | T | T | F | T |
| 109527 | T | T | F | T |
| 112468 | T | T | F | T |
| 112469 | T | T | F | T |
| 115400 | T | T | F | T |
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::init::ConstExpr as wasmparser::readers::FromReader>::from_reader::{closure#0}> — 3 br_if
c0(branch5480): GAP view gap →c1(branch5481): GAP view gap →c2(branch5482): GAP view gap →