Decision #35 — library/alloc/src/raw_vec/mod.rs:492
Status: partial
Truth table
| row | c0 br 234 | c1 br 235 | outcome |
|---|---|---|---|
| 147 | T | * | T |
| 148 | T | * | T |
| 149 | T | * | T |
| 150 | T | * | T |
| 151 | T | * | T |
| 152 | T | * | T |
| 3187 | T | * | T |
| 3188 | T | * | T |
| 3189 | T | * | T |
| 3190 | T | * | T |
| 3191 | T | * | T |
| 3192 | T | * | T |
| 6082 | T | * | T |
| 6083 | T | * | T |
| 6084 | T | * | T |
| 6085 | T | * | T |
| 6086 | T | * | T |
| 6087 | T | * | T |
| 40142 | T | * | T |
| 40143 | T | * | T |
| 43110 | T | * | T |
| 43111 | T | * | T |
| 46563 | T | * | T |
| 46564 | T | * | T |
| 49682 | T | * | T |
| 49683 | T | * | T |
| 79110 | F | F | F |
| 85447 | T | * | T |
| 85448 | T | * | T |
| 88757 | T | * | T |
| 90748 | T | * | T |
Independent-effect pairs
c0(branch234): PROVED — pair rows147,79110(masking)scry_analyze_core::tarjan_sccs· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188c1(branch235): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188