Decision #1311 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 8828 | c1 br 8829 | c2 br 8834 | c3 br 8835 | c4 br 8840 | c5 br 8841 | outcome |
|---|---|---|---|---|---|---|---|
| 94188 | T | F | * | * | * | * | F |
| 102049 | T | F | * | * | * | * | F |
| 110530 | T | F | * | * | * | * | F |
| 118532 | T | F | * | * | * | * | F |
| 177630 | T | F | * | * | * | * | F |
| 192626 | T | F | * | * | * | * | F |
| 199112 | T | F | * | * | * | * | F |
| 204415 | T | F | * | * | * | * | F |
| 210031 | T | F | * | * | * | * | F |
| 217506 | T | F | * | * | * | * | F |
Independent-effect pairs
All 6 conditions live in <wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader — 6 br_if
c0(branch8828): GAP view gap →c1(branch8829): GAP view gap →c2(branch8834): DEAD view gap →c3(branch8835): DEAD view gap →c4(branch8840): DEAD view gap →c5(branch8841): DEAD view gap →