Decision #389 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 2450 | c1 br 2452 | c2 br 2455 | outcome |
|---|---|---|---|---|
| 487 | T | * | * | T |
| 4281 | T | * | * | T |
| 7964 | T | * | * | T |
| 11855 | T | * | * | T |
| 13231 | T | * | * | T |
| 14556 | T | * | * | T |
| 16406 | T | * | * | T |
| 25886 | T | * | * | T |
| 35516 | T | * | * | T |
| 41729 | T | * | * | T |
| 47715 | T | * | * | T |
| 51843 | T | * | * | T |
| 56381 | T | * | * | T |
| 60639 | T | * | * | T |
| 65002 | T | * | * | T |
| 76515 | T | * | * | T |
| 87953 | T | * | * | T |
| 92221 | T | * | * | T |
| 95937 | F | F | F | T |
| 95938 | * | F | T | T |
| 97911 | T | * | * | T |
| 99429 | T | * | * | T |
| 100844 | T | * | * | T |
| 102523 | T | * | * | T |
| 105535 | T | * | * | T |
| 108902 | T | * | * | T |
| 111351 | F | F | F | T |
| 111352 | * | F | T | T |
| 114386 | F | F | F | T |
| 118418 | T | * | * | T |
| 141354 | T | * | * | T |
| 163152 | T | * | * | T |
| 164707 | T | * | * | T |
| 166429 | T | * | * | T |
Independent-effect pairs
c0(branch2450): GAP view gap →scry_analyze_core::compute_advisories· br_if
inlined: lib.rs:5672 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch2452): GAP view gap →scry_analyze_core::compute_advisories· br_if
inlined: lib.rs:5612 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch2455): GAP view gap →scry_analyze_core::compute_advisories· br_if
inlined: library/alloc/src/vec/mod.rs:1045