Decision #222 — library/alloc/src/raw_vec/mod.rs:434
Status: full_mcdc
Truth table
| row | c0 br 1786 | c1 br 1799 | c2 br 1803 | outcome |
|---|---|---|---|---|
| 678 | T | * | * | T |
| 679 | T | * | * | T |
| 680 | F | F | * | F |
| 681 | * | T | * | T |
| 682 | * | T | * | T |
| 683 | * | T | * | T |
| 684 | * | F | F | F |
| 3718 | T | * | * | T |
| 3719 | T | * | * | T |
| 3720 | F | F | * | F |
| 3721 | * | T | * | T |
| 3722 | * | T | * | T |
| 3723 | * | T | * | T |
| 3724 | * | F | F | F |
| 6663 | T | * | * | T |
| 6664 | T | * | * | T |
| 6665 | F | F | * | F |
| 6666 | * | T | * | T |
| 6667 | * | T | * | T |
| 6668 | * | T | * | T |
| 6669 | * | F | F | F |
| 9618 | * | F | T | T |
| 10766 | * | F | T | T |
| 11857 | * | F | T | T |
| 13521 | * | F | T | T |
| 21239 | * | F | T | T |
| 29134 | * | F | T | T |
| 35072 | * | F | T | T |
| 40734 | * | F | * | F |
| 40735 | * | T | * | T |
| 40736 | * | T | F | F |
| 43745 | * | F | * | F |
| 43746 | * | T | * | T |
| 43747 | * | T | F | F |
| 47198 | * | F | * | F |
| 47199 | * | T | * | T |
| 47200 | * | T | F | F |
| 50274 | * | F | * | F |
| 50275 | * | T | * | T |
| 50276 | * | T | F | F |
| 53476 | * | F | T | T |
| 63248 | * | F | T | T |
| 72959 | * | F | * | F |
| 72960 | * | T | * | T |
| 72961 | * | T | * | T |
| 72962 | * | T | * | T |
| 72963 | * | F | * | F |
| 72964 | * | T | F | F |
| 76434 | * | F | * | F |
| 76435 | * | T | * | T |
| 76436 | * | T | * | T |
| 76437 | * | T | * | T |
| 76438 | * | F | * | F |
| 76439 | * | T | F | F |
| 79318 | * | F | * | F |
| 79319 | * | T | F | F |
| 80831 | * | F | T | T |
| 82018 | * | F | T | T |
| 83080 | * | F | T | T |
| 84273 | * | F | T | T |
| 85860 | * | F | * | F |
| 85861 | * | T | * | T |
| 85862 | * | T | F | F |
| 87638 | * | F | T | T |
| 89167 | * | F | * | F |
| 89168 | * | T | F | F |
| 90916 | * | F | T | T |
| 93258 | * | F | T | T |
| 112121 | * | F | T | T |
| 130051 | * | F | T | T |
| 131226 | * | F | T | T |
| 132553 | * | F | T | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_reachable_from_exports — 3 br_if
c0(branch1786): PROVED — pair rows678,680(masking)c1(branch1799): PROVED — pair rows680,681(masking)c2(branch1803): PROVED — pair rows684,9618(masking)