Decision #190 — library/alloc/src/vec/mod.rs:2817
Status: no_witness
Truth table
| row | c0 br 1607 | c1 br 1613 | c2 br 1614 | c3 br 1615 | outcome |
|---|---|---|---|---|---|
| 568 | F | * | * | * | T |
| 569 | F | * | * | * | T |
| 570 | F | * | * | * | T |
| 571 | F | T | * | * | T |
| 572 | * | F | T | * | T |
| 573 | * | T | * | * | T |
| 574 | * | F | T | * | T |
| 575 | * | F | T | * | T |
| 576 | F | T | * | * | T |
| 577 | * | T | * | * | T |
| 578 | * | F | T | * | T |
| 579 | * | T | * | * | T |
| 580 | * | F | T | * | T |
| 581 | * | F | T | * | T |
| 582 | * | T | * | * | T |
| 3608 | F | * | * | * | T |
| 3609 | F | * | * | * | T |
| 3610 | F | * | * | * | T |
| 3611 | F | T | * | * | T |
| 3612 | * | F | T | * | T |
| 3613 | * | T | * | * | T |
| 3614 | * | F | T | * | T |
| 3615 | * | F | T | * | T |
| 3616 | F | T | * | * | T |
| 3617 | * | T | * | * | T |
| 3618 | * | F | T | * | T |
| 3619 | * | T | * | * | T |
| 3620 | * | F | T | * | T |
| 3621 | * | F | T | * | T |
| 3622 | * | T | * | * | T |
| 6553 | F | * | * | * | T |
| 6554 | F | * | * | * | T |
| 6555 | F | * | * | * | T |
| 6556 | F | T | * | * | T |
| 6557 | * | F | T | * | T |
| 6558 | * | T | * | * | T |
| 6559 | * | F | T | * | T |
| 6560 | * | F | T | * | T |
| 6561 | F | T | * | * | T |
| 6562 | * | T | * | * | T |
| 6563 | * | F | T | * | T |
| 6564 | * | T | * | * | T |
| 6565 | * | F | T | * | T |
| 6566 | * | F | T | * | T |
| 6567 | * | T | * | * | T |
| 9602 | F | * | * | * | T |
| 10750 | F | * | * | * | T |
| 11841 | F | * | * | * | T |
| 13495 | F | * | * | * | T |
| 21213 | F | * | * | * | T |
| 29109 | F | * | * | * | T |
| 35047 | F | * | * | * | T |
| 40682 | F | * | * | * | T |
| 40683 | F | * | * | * | T |
| 40684 | F | * | * | * | T |
| 43693 | F | * | * | * | T |
| 43694 | F | * | * | * | T |
| 43695 | F | * | * | * | T |
| 47146 | F | * | * | * | T |
| 47147 | F | * | * | * | T |
| 47148 | F | * | * | * | T |
| 50222 | F | * | * | * | T |
| 50223 | F | * | * | * | T |
| 50224 | F | * | * | * | T |
| 53450 | F | * | * | * | T |
| 63222 | F | * | * | * | T |
| 72870 | F | * | * | * | T |
| 72871 | F | * | * | * | T |
| 72872 | F | * | * | * | T |
| 72873 | F | * | * | * | T |
| 72874 | F | * | * | * | T |
| 72875 | F | * | * | * | T |
| 76345 | F | * | * | * | T |
| 76346 | F | * | * | * | T |
| 76347 | F | * | * | * | T |
| 76348 | F | * | * | * | T |
| 76349 | F | * | * | * | T |
| 76350 | F | * | * | * | T |
| 79279 | F | * | * | * | T |
| 79280 | F | * | * | * | T |
| 79281 | F | * | * | * | T |
| 80816 | F | * | * | * | T |
| 82003 | F | * | * | * | T |
| 83065 | F | * | * | * | T |
| 84245 | F | * | * | * | T |
| 85784 | F | * | * | * | T |
| 85785 | F | * | * | * | T |
| 85786 | F | * | * | * | T |
| 87614 | F | * | * | * | T |
| 89093 | F | * | * | * | T |
| 89094 | F | * | * | * | T |
| 90875 | F | * | * | * | T |
| 93231 | F | * | * | * | T |
| 112094 | F | * | * | * | T |
| 130037 | F | * | * | * | T |
| 131212 | F | * | * | * | T |
| 132539 | F | * | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::build_static_call_graph — 4 br_if
c0(branch1607): GAP view gap →c1(branch1613): GAP view gap →c2(branch1614): GAP view gap →c3(branch1615): DEAD view gap →