Decision #905 — library/core/src/ptr/mod.rs:823
Status: partial
Truth table
| row | c0 br 5965 | c1 br 5967 | outcome |
|---|---|---|---|
| 73418 | * | T | T |
| 73419 | * | T | T |
| 73420 | * | T | T |
| 73421 | * | T | T |
| 73422 | * | T | T |
| 73423 | * | T | T |
| 83301 | * | T | T |
| 83302 | * | T | T |
| 83303 | * | T | T |
| 83304 | * | T | T |
| 83305 | * | T | T |
| 83306 | * | T | T |
| 225441 | * | T | T |
| 225442 | * | T | T |
| 225443 | * | T | T |
| 225444 | * | T | T |
| 225445 | * | T | T |
| 225446 | * | T | T |
| 225447 | * | F | F |
| 225448 | * | T | T |
| 225449 | * | T | T |
| 225450 | * | T | T |
| 225451 | * | T | T |
| 225452 | * | T | T |
| 225453 | * | T | T |
| 225454 | * | F | F |
| 302818 | * | T | T |
| 302819 | * | T | T |
| 302820 | * | T | T |
| 302821 | * | T | T |
| 302822 | * | T | T |
| 302823 | * | T | T |
| 302824 | * | F | F |
| 302825 | * | T | T |
| 302826 | * | T | T |
| 302827 | * | T | T |
| 302828 | * | T | T |
| 302829 | * | T | T |
| 302830 | * | T | T |
| 302831 | * | F | F |
Independent-effect pairs
c0(branch5965): DEAD view gap →scry_interval::widen_with_thresholds· br_if
inlined: lib.rs:178 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818c1(branch5967): PROVED — pair rows73418,225447(masking)scry_interval::widen_with_thresholds· br_if