Decision #609 — library/core/src/ptr/mod.rs:549
Status: no_witness
Truth table
| row | c0 br 4104 | c1 br 4105 | outcome |
|---|---|---|---|
| 1429 | F | T | T |
| 8389 | F | T | T |
| 15190 | F | T | T |
| 30864 | F | T | T |
| 30865 | F | T | T |
| 30866 | F | T | T |
| 51719 | F | T | T |
| 51720 | F | T | T |
| 51721 | F | T | T |
| 72641 | F | T | T |
| 72642 | F | T | T |
| 72643 | F | T | T |
| 82524 | F | T | T |
| 82525 | F | T | T |
| 82526 | F | T | T |
| 92275 | F | T | T |
| 92276 | F | T | T |
| 92277 | F | T | T |
| 100104 | F | T | T |
| 100105 | F | T | T |
| 100106 | F | T | T |
| 108593 | F | T | T |
| 108594 | F | T | T |
| 108595 | F | T | T |
| 116619 | F | T | T |
| 116620 | F | T | T |
| 116621 | F | T | T |
| 124604 | F | T | T |
| 124605 | F | T | T |
| 124606 | F | T | T |
| 141323 | F | T | T |
| 141324 | F | T | T |
| 141325 | F | T | T |
| 191301 | F | T | T |
| 203370 | F | T | T |
| 215909 | F | T | T |
| 215910 | F | T | T |
| 224339 | F | T | T |
| 224340 | F | T | T |
| 224341 | F | T | T |
| 224342 | F | T | T |
| 301716 | F | T | T |
| 301717 | F | T | T |
| 301718 | F | T | T |
| 301719 | F | T | T |
| 377141 | F | T | T |
| 379798 | F | T | T |
| 382682 | F | T | T |
Independent-effect pairs
c0(branch4104): GAP view gap →scry_analyze_core::compute_handle_findings· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234c1(branch4105): GAP view gap →scry_analyze_core::compute_handle_findings· br_if