Decision #684 — library/core/src/ptr/mod.rs:823
Status: no_witness
Truth table
| row | c0 br 4395 | c1 br 4429 | c2 br 4430 | outcome |
|---|---|---|---|---|
| 1651 | F | T | * | T |
| 8611 | F | T | * | T |
| 15412 | F | T | * | T |
| 30941 | F | * | * | T |
| 51796 | F | * | * | T |
| 92404 | F | * | * | T |
| 100233 | F | * | * | T |
| 108722 | F | * | * | T |
| 116748 | F | * | * | T |
| 124681 | F | * | * | T |
| 141400 | F | * | * | T |
| 191375 | F | * | * | T |
| 203436 | F | * | * | T |
| 216005 | F | * | * | T |
| 377191 | F | * | * | T |
| 379848 | F | * | * | T |
| 382732 | F | * | * | T |
Independent-effect pairs
c0(branch4395): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1954 ← library/core/src/result.rs:966 ← lib.rs:1956 ← library/core/src/ptr/mod.rs:823c1(branch4429): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1980 ← lib.rs:7845 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c2(branch4430): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1980 ← lib.rs:7845 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823