Decision #517 — library/core/src/ptr/mod.rs:1733
Status: partial
Truth table
| row | c0 br 3451 | c1 br 3463 | c2 br 3464 | outcome |
|---|---|---|---|---|
| 782 | F | * | * | F |
| 783 | T | * | F | F |
| 784 | * | * | F | F |
| 785 | * | * | F | F |
| 4575 | F | * | * | F |
| 4576 | T | * | F | F |
| 4577 | * | * | F | F |
| 4578 | * | * | F | F |
| 8306 | F | * | * | F |
| 8307 | T | * | F | F |
| 8308 | * | * | F | F |
| 8309 | * | * | F | F |
| 11906 | F | * | * | F |
| 13282 | F | * | * | F |
| 14607 | F | * | * | F |
| 16492 | F | * | * | F |
| 25972 | F | * | * | F |
| 35598 | F | * | * | F |
| 41811 | F | * | * | F |
| 47878 | F | * | * | F |
| 47879 | T | * | * | T |
| 52047 | F | * | * | F |
| 52048 | T | * | * | T |
| 56585 | F | * | * | F |
| 56586 | T | * | * | T |
| 60802 | F | * | * | F |
| 60803 | T | * | * | T |
| 65088 | F | * | * | F |
| 76601 | F | * | * | F |
| 88201 | F | * | * | F |
| 88202 | T | * | * | T |
| 88203 | T | * | * | T |
| 88204 | T | * | * | T |
| 88205 | F | * | * | F |
| 88206 | T | * | * | T |
| 92469 | F | * | * | F |
| 92470 | T | * | * | T |
| 92471 | T | * | * | T |
| 92472 | T | * | * | T |
| 92473 | F | * | * | F |
| 92474 | T | * | * | T |
| 96058 | F | * | * | F |
| 97967 | F | * | * | F |
| 99484 | F | * | * | F |
| 100900 | F | * | * | F |
| 102593 | F | * | * | F |
| 105757 | F | * | * | F |
| 108958 | F | * | * | F |
| 111544 | F | * | * | F |
| 114496 | F | * | * | F |
| 118548 | F | * | * | F |
| 141484 | F | * | * | F |
| 163198 | F | * | * | F |
| 164769 | F | * | * | F |
| 166491 | F | * | * | F |
Independent-effect pairs
c0(branch3451): PROVED — pair rows782,47879(masking)scry_analyze_core::compute_reachable_from_exports· br_if
inlined: src/digest.rs:127 ← src/digest.rs:86 ← src/lib.rs:100 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c1(branch3463): DEAD view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: src/digest.rs:127 ← src/digest.rs:86 ← src/lib.rs:101 ← src/lib.rs:308 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c2(branch3464): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: src/digest.rs:127 ← src/digest.rs:86 ← src/lib.rs:101 ← src/lib.rs:308 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171