Decision #730 — library/alloc/src/raw_vec/mod.rs:469
Status: partial
Truth table
| row | c0 br 4988 | c1 br 4993 | c2 br 4994 | outcome |
|---|---|---|---|---|
| 36532 | T | * | * | T |
| 36533 | F | * | * | F |
| 36534 | T | * | * | T |
| 36535 | F | * | * | F |
| 42745 | T | * | * | T |
| 42746 | F | * | * | F |
| 42747 | T | * | * | T |
| 42748 | F | * | * | F |
| 119765 | T | * | * | T |
| 119766 | F | * | * | F |
| 119767 | T | * | * | T |
| 119768 | F | * | * | F |
| 119769 | F | * | * | F |
| 119770 | F | * | * | F |
| 119771 | F | * | * | F |
| 119772 | F | * | * | F |
| 119773 | T | * | * | T |
| 119774 | F | * | * | F |
| 119775 | T | * | * | T |
| 119776 | F | * | * | F |
| 119777 | F | * | * | F |
| 119778 | F | * | * | F |
| 119779 | F | * | * | F |
| 119780 | F | * | * | F |
| 142701 | T | * | * | T |
| 142702 | F | * | * | F |
| 142703 | T | * | * | T |
| 142704 | F | * | * | F |
| 142705 | F | * | * | F |
| 142706 | F | * | * | F |
| 142707 | F | * | * | F |
| 142708 | F | * | * | F |
| 142709 | T | * | * | T |
| 142710 | F | * | * | F |
| 142711 | T | * | * | T |
| 142712 | F | * | * | F |
| 142713 | F | * | * | F |
| 142714 | F | * | * | F |
| 142715 | F | * | * | F |
| 142716 | F | * | * | F |
Independent-effect pairs
All 3 conditions live in scry_interval::widen_with_thresholds — 3 br_if
c0(branch4988): PROVED — pair rows36532,36533(masking)c1(branch4993): DEAD view gap →c2(branch4994): DEAD view gap →