Decision #563 — library/core/src/ptr/mod.rs:825
Status: no_witness
Truth table
| row | c0 br 3765 | c1 br 3768 | outcome |
|---|---|---|---|
| 954 | F | * | F |
| 955 | F | * | F |
| 956 | F | F | F |
| 4747 | F | * | F |
| 4748 | F | * | F |
| 4749 | F | F | F |
| 8478 | F | * | F |
| 8479 | F | * | F |
| 8480 | F | F | F |
| 11960 | * | F | F |
| 13336 | * | F | F |
| 14661 | * | F | F |
| 16568 | * | F | F |
| 26048 | * | F | F |
| 35672 | * | F | F |
| 41885 | * | F | F |
| 48000 | * | F | F |
| 52169 | * | F | F |
| 56707 | * | F | F |
| 60924 | * | F | F |
| 65164 | * | F | F |
| 76677 | * | F | F |
| 88394 | * | F | F |
| 92662 | * | F | F |
| 96144 | * | F | F |
| 98023 | * | F | F |
| 99540 | * | F | F |
| 100956 | * | F | F |
| 102664 | * | F | F |
| 105912 | * | F | F |
| 109020 | * | F | F |
| 111690 | * | F | F |
| 114587 | * | F | F |
| 118626 | * | F | F |
| 141562 | * | F | F |
| 163246 | * | F | F |
| 164817 | * | F | F |
| 166539 | * | F | F |
Independent-effect pairs
c0(branch3765): GAP view gap →scry_analyze_core::analyze· br_if
inlined: library/core/src/result.rs:968 ← lib.rs:1888 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch3768): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1890 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825