Decision #1076 — binary_reader.rs:1026
Status: no_witness
Truth table
| row | c0 br 7065 | c1 br 7066 | c2 br 7067 | c3 br 7069 | c4 br 7070 | outcome |
|---|---|---|---|---|---|---|
| 2332 | * | F | T | * | * | T |
| 2333 | * | F | T | * | * | T |
| 9291 | * | F | T | * | * | T |
| 9292 | * | F | T | * | * | T |
| 16097 | * | F | T | * | * | T |
| 16098 | * | F | T | * | * | T |
| 93357 | F | * | * | * | * | F |
| 93358 | F | * | * | * | * | F |
| 101188 | F | * | * | * | * | F |
| 101189 | F | * | * | * | * | F |
| 109676 | F | * | * | * | * | F |
| 109677 | F | * | * | * | * | F |
| 117701 | F | * | * | * | * | F |
| 117702 | F | * | * | * | * | F |
| 177072 | F | * | * | * | * | F |
| 198012 | F | * | * | * | * | F |
| 198013 | F | * | * | * | * | F |
| 209113 | F | * | * | * | * | F |
| 216825 | 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(branch7065): GAP view gap →c1(branch7066): GAP view gap →c2(branch7067): GAP view gap →c3(branch7069): DEAD view gap →c4(branch7070): DEAD view gap →