Decision #443 — library/core/src/num/int_macros.rs:2026
Status: no_witness
Truth table
| row | c0 br 2956 | c1 br 2957 | c2 br 2959 | c3 br 2960 | outcome |
|---|---|---|---|---|---|
| 31557 | * | * | F | T | T |
| 31558 | * | * | F | T | T |
| 31559 | * | * | F | T | T |
| 31560 | * | * | F | T | T |
| 37495 | * | * | F | T | T |
| 37496 | * | * | F | T | T |
| 37497 | * | * | F | T | T |
| 37498 | * | * | F | T | T |
| 107170 | * | * | F | T | T |
| 107171 | * | * | F | T | T |
| 107172 | * | * | F | T | T |
| 107173 | * | * | F | T | T |
| 107174 | * | * | F | T | T |
| 107175 | * | * | F | T | T |
| 126033 | * | * | F | T | T |
| 126034 | * | * | F | T | T |
| 126035 | * | * | F | T | T |
| 126036 | * | * | F | T | T |
| 126037 | * | * | F | T | T |
| 126038 | * | * | F | T | T |
Independent-effect pairs
All 4 conditions live in scry_octagon::widen — 4 br_if
c0(branch2956): DEAD view gap →c1(branch2957): DEAD view gap →c2(branch2959): GAP view gap →c3(branch2960): GAP view gap →