Decision #597 — library/core/src/num/uint_macros.rs:977
Status: no_witness
Truth table
| row | c0 br 4508 | c1 br 4509 | outcome |
|---|---|---|---|
| 1153 | F | F | F |
| 1154 | F | F | F |
| 4193 | F | F | F |
| 4194 | F | F | F |
| 7142 | F | F | F |
| 7143 | F | F | F |
Independent-effect pairs
c0(branch4508): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4509): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if