Decision #513 — lib.rs:1459
Status: partial
Truth table
| row | c0 br 3491 | c1 br 3492 | c2 br 3493 | outcome |
|---|---|---|---|---|
| 762 | * | * | T | T |
| 763 | * | * | T | T |
| 764 | * | * | T | T |
| 765 | * | * | F | F |
| 4555 | * | * | T | T |
| 4556 | * | * | T | T |
| 4557 | * | * | T | T |
| 4558 | * | * | F | F |
| 8286 | * | * | T | T |
| 8287 | * | * | T | T |
| 8288 | * | * | T | T |
| 8289 | * | * | F | F |
| 47870 | * | * | T | T |
| 47871 | * | * | F | F |
| 52039 | * | * | T | T |
| 52040 | * | * | F | F |
| 56577 | * | * | T | T |
| 56578 | * | * | F | F |
| 60794 | * | * | T | T |
| 60795 | * | * | F | F |
| 88190 | * | * | T | T |
| 88191 | * | * | T | T |
| 88192 | * | * | T | T |
| 88193 | * | * | T | T |
| 88194 | * | * | F | F |
| 92458 | * | * | T | T |
| 92459 | * | * | T | T |
| 92460 | * | * | T | T |
| 92461 | * | * | T | T |
| 92462 | * | * | F | F |
| 96053 | * | * | F | F |
| 105749 | * | * | T | T |
| 105750 | * | * | F | F |
| 111540 | * | * | F | F |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_reachable_from_exports — 3 br_if
c0(branch3491): DEAD view gap →c1(branch3492): DEAD view gap →c2(branch3493): PROVED — pair rows762,765(masking)