Decision #1078 — binary_reader.rs:1188
Status: no_witness
Truth table
| row | c0 br 7089 | c1 br 7090 | c2 br 7093 | c3 br 7095 | c4 br 7096 | outcome |
|---|---|---|---|---|---|---|
| 181614 | * | * | F | * | * | F |
| 184932 | * | * | F | * | * | F |
| 188041 | * | * | F | * | * | F |
| 192083 | F | F | * | * | * | F |
| 192084 | F | F | * | * | * | F |
| 198014 | F | F | * | * | * | F |
| 198015 | F | F | * | * | * | F |
| 198016 | F | F | * | * | * | F |
| 198017 | F | F | * | * | * | F |
| 198018 | F | F | * | * | * | F |
| 198019 | F | F | * | * | * | F |
| 203945 | F | F | * | * | * | F |
| 209114 | F | F | * | * | * | F |
| 209115 | F | * | * | * | * | F |
| 209116 | F | * | * | * | * | F |
| 209117 | F | * | * | * | * | F |
| 209118 | F | F | * | * | * | F |
| 209119 | F | F | * | * | * | F |
| 209120 | F | F | * | * | * | F |
| 209121 | F | * | * | * | * | F |
| 209122 | F | * | * | * | * | F |
| 209123 | F | * | * | * | * | F |
| 209124 | F | F | * | * | * | F |
| 209125 | F | F | * | * | * | F |
| 216826 | F | F | * | * | * | F |
| 216827 | F | F | * | * | * | F |
Independent-effect pairs
All 5 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 5 br_if
c0(branch7089): GAP view gap →c1(branch7090): GAP view gap →c2(branch7093): GAP view gap →c3(branch7095): DEAD view gap →c4(branch7096): DEAD view gap →