Decision #859 — binary_reader.rs:1265
Status: no_witness
Truth table
| row | c0 br 5942 | c1 br 5943 | c2 br 5944 | c3 br 5945 | outcome |
|---|---|---|---|---|---|
| 1894 | * | T | * | * | T |
| 5685 | * | T | * | * | T |
| 9466 | * | T | * | * | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::types::HeapType as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch5942): DEAD view gap →c1(branch5943): GAP view gap →c2(branch5944): DEAD view gap →c3(branch5945): DEAD view gap →