Decision #599 — library/core/src/num/uint_macros.rs:977
Status: no_witness
Truth table
| row | c0 br 4510 | c1 br 4512 | outcome |
|---|---|---|---|
| 1156 | T | T | T |
| 4196 | T | T | T |
| 7145 | T | T | T |
| 84530 | T | T | T |
| 86380 | T | T | T |
| 87861 | T | T | T |
| 89714 | T | T | T |
| 89715 | T | T | T |
| 91264 | T | T | T |
Independent-effect pairs
c0(branch4510): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: library/core/src/slice/index.rs:437c1(branch4512): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if