Decision #176 — library/alloc/src/vec/mod.rs:1037
Status: partial
Truth table
| row | c0 br 1526 | c1 br 1539 | outcome |
|---|---|---|---|
| 529 | F | F | F |
| 530 | * | F | F |
| 531 | * | F | F |
| 532 | * | F | F |
| 533 | * | F | F |
| 534 | * | F | F |
| 3569 | F | F | F |
| 3570 | * | F | F |
| 3571 | * | F | F |
| 3572 | * | F | F |
| 3573 | * | F | F |
| 3574 | * | F | F |
| 6514 | F | F | F |
| 6515 | * | F | F |
| 6516 | * | F | F |
| 6517 | * | F | F |
| 6518 | * | F | F |
| 6519 | * | F | F |
| 9598 | T | * | T |
| 10746 | T | * | T |
| 11837 | T | * | T |
| 13491 | T | * | T |
| 21209 | T | * | T |
| 29105 | T | * | T |
| 35043 | T | * | T |
| 40678 | F | F | F |
| 43689 | F | F | F |
| 47142 | F | F | F |
| 50218 | F | F | F |
| 53446 | T | * | T |
| 63218 | T | * | T |
| 72866 | F | * | F |
| 76341 | F | * | F |
| 79275 | F | F | F |
| 80812 | T | * | T |
| 81999 | T | * | T |
| 83061 | T | * | T |
| 84241 | T | * | T |
| 85778 | F | F | F |
| 85779 | * | F | F |
| 87610 | T | * | T |
| 89089 | F | F | F |
| 90871 | T | * | T |
| 93227 | T | * | T |
| 112090 | T | * | T |
| 130033 | T | * | T |
| 131208 | T | * | T |
| 132535 | T | * | T |
Independent-effect pairs
c0(branch1526): PROVED — pair rows529,9598(masking)scry_analyze_core::compute_stack_usage· br_ifc1(branch1539): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:4131 ← library/alloc/src/vec/mod.rs:1004