Decision #496 — lib.rs:3113
Status: no_witness
Truth table
| row | c0 br 3484 | c1 br 3485 | c2 br 3489 | c3 br 3623 | c4 br 3624 | outcome |
|---|---|---|---|---|---|---|
| 1010 | * | T | * | * | * | T |
| 1011 | * | T | * | * | * | T |
| 1012 | * | T | * | * | * | T |
| 1013 | F | T | * | * | * | T |
| 1014 | * | T | * | * | * | T |
| 7970 | * | T | * | * | * | T |
| 7971 | * | T | * | * | * | T |
| 7972 | * | T | * | * | * | T |
| 7973 | F | T | * | * | * | T |
| 7974 | * | T | * | * | * | T |
| 14771 | * | T | * | * | * | T |
| 14772 | * | T | * | * | * | T |
| 14773 | * | T | * | * | * | T |
| 14774 | F | T | * | * | * | T |
| 14775 | * | T | * | * | * | T |
| 21654 | * | T | * | * | * | T |
| 24397 | * | T | * | * | * | T |
| 27040 | * | T | * | * | * | T |
| 30610 | F | F | T | * | * | T |
| 51465 | F | F | T | * | * | T |
| 72390 | * | F | F | * | * | T |
| 82273 | * | F | F | * | * | T |
| 91934 | F | T | * | * | * | T |
| 91935 | F | T | * | * | * | T |
| 91936 | * | T | * | * | * | T |
| 99763 | F | T | * | * | * | T |
| 99764 | F | T | * | * | * | T |
| 99765 | * | T | * | * | * | T |
| 108252 | F | T | * | * | * | T |
| 108253 | F | T | * | * | * | T |
| 108254 | * | T | * | * | * | T |
| 116278 | F | T | * | * | * | T |
| 116279 | F | T | * | * | * | T |
| 116280 | * | T | * | * | * | T |
| 124347 | F | F | T | * | * | T |
| 141066 | F | F | T | * | * | T |
| 158182 | * | T | * | * | * | T |
| 158183 | * | T | * | * | * | T |
| 158184 | * | T | * | * | * | T |
| 158185 | * | T | * | * | * | T |
| 158186 | * | T | * | * | * | T |
| 158187 | * | T | * | * | * | T |
| 168040 | * | T | * | * | * | T |
| 168041 | * | T | * | * | * | T |
| 168042 | * | T | * | * | * | T |
| 168043 | * | T | * | * | * | T |
| 168044 | * | T | * | * | * | T |
| 168045 | * | T | * | * | * | T |
| 176438 | * | T | * | * | * | T |
| 176439 | * | T | * | * | * | T |
| 176440 | * | T | * | * | * | T |
| 181158 | * | T | * | * | * | T |
| 184477 | * | T | * | * | * | T |
| 187585 | * | T | * | * | * | T |
| 191119 | F | T | * | * | * | T |
| 196389 | * | T | * | * | * | T |
| 196390 | * | T | * | * | * | T |
| 196391 | * | T | * | * | * | T |
| 203246 | F | T | * | * | * | T |
| 207730 | * | T | * | * | * | T |
| 207731 | * | T | * | * | * | T |
| 215601 | F | T | * | * | * | T |
| 224068 | * | F | F | * | * | T |
| 224069 | * | * | T | * | * | T |
| 301445 | * | F | F | * | * | T |
| 301446 | * | * | T | * | * | T |
| 377041 | F | T | * | * | * | T |
| 379698 | F | T | * | * | * | T |
| 382582 | F | T | * | * | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::compute_float_facts — 5 br_if
c0(branch3484): GAP view gap →c1(branch3485): GAP view gap →c2(branch3489): GAP view gap →c3(branch3623): DEAD view gap →c4(branch3624): DEAD view gap →