Decision #837 — binary_reader.rs:1017
Status: no_witness
Truth table
| row | c0 br 5820 | c1 br 5822 | c2 br 5824 | c3 br 5825 | c4 br 5827 | c5 br 5828 | c6 br 5832 | outcome |
|---|---|---|---|---|---|---|---|---|
| 1866 | * | * | * | * | * | F | * | T |
| 1867 | * | * | * | * | * | F | * | T |
| 5657 | * | * | * | * | * | F | * | T |
| 5658 | * | * | * | * | * | F | * | T |
| 9438 | * | * | * | * | * | F | * | T |
| 9439 | * | * | * | * | * | F | * | T |
| 22424 | * | * | * | F | * | * | * | T |
| 31902 | * | * | * | F | * | * | * | T |
| 38223 | * | * | * | F | * | * | * | T |
| 44436 | * | * | * | F | * | * | * | T |
| 49051 | * | * | * | * | F | * | * | T |
| 49052 | * | * | * | * | F | * | * | T |
| 53252 | * | * | * | * | F | * | * | T |
| 53253 | * | * | * | * | F | * | * | T |
| 57782 | * | * | * | * | F | * | * | T |
| 57783 | * | * | * | * | F | * | * | T |
| 61975 | * | * | * | * | F | * | * | T |
| 61976 | * | * | * | * | F | * | * | T |
| 72544 | * | * | * | F | * | * | * | T |
| 84057 | * | * | * | F | * | * | * | T |
| 96599 | * | * | * | * | F | * | * | T |
| 107005 | * | * | * | * | F | * | * | T |
| 107006 | * | * | * | * | F | * | * | T |
| 112472 | * | * | * | * | F | * | * | T |
| 115403 | * | * | * | * | F | * | * | T |
| 135256 | * | * | * | F | * | * | * | T |
| 158192 | * | * | * | F | * | * | * | T |
Independent-effect pairs
All 7 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 7 br_if
c0(branch5820): DEAD view gap →c1(branch5822): DEAD view gap →c2(branch5824): DEAD view gap →c3(branch5825): GAP view gap →c4(branch5827): GAP view gap →c5(branch5828): GAP view gap →c6(branch5832): DEAD view gap →