Decision #857 — binary_reader.rs:1237
Status: no_witness
Truth table
| row | c0 br 5926 | c1 br 5927 | c2 br 5928 | c3 br 5929 | c4 br 5930 | c5 br 5931 | outcome |
|---|---|---|---|---|---|---|---|
| 1892 | F | T | F | T | * | * | T |
| 5683 | F | T | F | T | * | * | T |
| 9464 | F | T | F | T | * | * | T |
Independent-effect pairs
All 6 conditions live in <wasmparser::readers::core::types::HeapType as wasmparser::readers::FromReader>::from_reader — 6 br_if
c0(branch5926): GAP view gap →c1(branch5927): GAP view gap →c2(branch5928): GAP view gap →c3(branch5929): GAP view gap →c4(branch5930): DEAD view gap →c5(branch5931): DEAD view gap →