Decision #598 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 4511 | c1 br 4515 | outcome |
|---|---|---|---|
| 1155 | * | F | F |
| 4195 | * | F | F |
| 7144 | * | F | F |
| 84529 | * | F | F |
| 86379 | * | F | F |
| 87860 | * | F | F |
| 89712 | * | F | F |
| 89713 | * | F | F |
| 91263 | * | F | F |
Independent-effect pairs
c0(branch4511): DEAD view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4515): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if