Decision #516 — library/core/src/num/uint_macros.rs:701
Status: no_witness
Truth table
| row | c0 br 3456 | c1 br 3457 | c2 br 3458 | c3 br 3472 | c4 br 3476 | outcome |
|---|---|---|---|---|---|---|
| 776 | * | * | * | F | F | T |
| 777 | * | * | * | F | F | T |
| 778 | * | * | * | F | T | T |
| 779 | * | * | * | F | F | T |
| 780 | * | * | * | F | F | T |
| 781 | * | * | * | F | T | T |
| 4569 | * | * | * | F | F | T |
| 4570 | * | * | * | F | F | T |
| 4571 | * | * | * | F | T | T |
| 4572 | * | * | * | F | F | T |
| 4573 | * | * | * | F | F | T |
| 4574 | * | * | * | F | T | T |
| 8300 | * | * | * | F | F | T |
| 8301 | * | * | * | F | F | T |
| 8302 | * | * | * | F | T | T |
| 8303 | * | * | * | F | F | T |
| 8304 | * | * | * | F | F | T |
| 8305 | * | * | * | F | T | T |
| 47876 | * | * | * | F | T | T |
| 47877 | * | * | * | F | T | T |
| 52045 | * | * | * | F | T | T |
| 52046 | * | * | * | F | T | T |
| 56583 | * | * | * | F | T | T |
| 56584 | * | * | * | F | T | T |
| 60800 | * | * | * | F | T | T |
| 60801 | * | * | * | F | T | T |
| 96057 | * | * | * | F | T | T |
| 105755 | * | * | * | F | T | T |
| 105756 | * | * | * | F | T | T |
| 111543 | * | * | * | F | T | T |
| 114495 | * | * | * | F | T | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::compute_reachable_from_exports — 5 br_if
c0(branch3456): DEAD view gap →c1(branch3457): DEAD view gap →c2(branch3458): DEAD view gap →c3(branch3472): GAP view gap →c4(branch3476): GAP view gap →