Decision #707 — binary_reader.rs:447
Status: no_witness
Truth table
| row | c0 br 5074 | c1 br 5075 | c2 br 5076 | c3 br 5077 | outcome |
|---|---|---|---|---|---|
| 1376 | F | F | * | * | T |
| 1377 | F | F | * | * | T |
| 4416 | F | F | * | * | T |
| 4417 | F | F | * | * | T |
| 7365 | F | F | * | * | T |
| 7366 | F | F | * | * | T |
| 84674 | F | F | * | * | T |
| 84675 | F | F | * | * | T |
| 86552 | F | F | * | * | T |
| 86553 | F | F | * | * | T |
| 88005 | F | F | * | * | T |
| 88006 | F | F | * | * | T |
| 89877 | F | F | * | * | T |
| 89878 | F | F | * | * | T |
| 89879 | F | F | * | * | T |
| 89880 | F | F | * | * | T |
| 91408 | F | F | * | * | T |
| 91409 | F | F | * | * | T |
Independent-effect pairs
All 4 conditions live in core::ptr::drop_in_place<wasmparser::readers::core::operators::Operator> — 4 br_if
c0(branch5074): GAP view gap →c1(branch5075): GAP view gap →c2(branch5076): DEAD view gap →c3(branch5077): DEAD view gap →