Decision #441 — library/alloc/src/raw_vec/mod.rs:634
Status: no_witness
Truth table
| row | c0 br 2952 | c1 br 2962 | outcome |
|---|---|---|---|
| 31541 | T | * | T |
| 31542 | T | * | T |
| 31543 | T | * | T |
| 31544 | T | * | T |
| 37479 | T | * | T |
| 37480 | T | * | T |
| 37481 | T | * | T |
| 37482 | T | * | T |
| 107122 | T | F | F |
| 107123 | T | F | F |
| 107124 | T | F | F |
| 107125 | T | F | F |
| 107126 | T | F | F |
| 107127 | T | F | F |
| 125985 | T | F | F |
| 125986 | T | F | F |
| 125987 | T | F | F |
| 125988 | T | F | F |
| 125989 | T | F | F |
| 125990 | T | F | F |
Independent-effect pairs
c0(branch2952): GAP view gap →scry_octagon::widen· br_if
inlined: lib.rs:502 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:874c1(branch2962): GAP view gap →scry_octagon::widen· br_if
inlined: library/alloc/src/raw_vec/mod.rs:424