Decision #765 — soft.rs:77
Status: no_witness
Truth table
| row | c0 br 5445 | c1 br 5447 | c2 br 5451 | c3 br 5455 | outcome |
|---|---|---|---|---|---|
| 1904 | * | * | T | * | T |
| 4941 | * | * | T | * | T |
| 7944 | * | * | T | * | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch5445): DEAD view gap →c1(branch5447): DEAD view gap →c2(branch5451): GAP view gap →c3(branch5455): DEAD view gap →