Decision #643 — library/core/src/ptr/mod.rs:823
Status: no_witness
Truth table
| row | c0 br 4298 | c1 br 4299 | outcome |
|---|---|---|---|
| 1517 | F | F | T |
| 1518 | F | T | T |
| 1519 | F | T | T |
| 1520 | F | T | T |
| 1521 | F | F | T |
| 8477 | F | F | T |
| 8478 | F | T | T |
| 8479 | F | T | T |
| 8480 | F | T | T |
| 8481 | F | F | T |
| 15278 | F | F | T |
| 15279 | F | T | T |
| 15280 | F | T | T |
| 15281 | F | T | T |
| 15282 | F | F | T |
| 21786 | F | F | T |
| 24529 | F | F | T |
| 27172 | F | F | T |
| 30875 | F | F | T |
| 51730 | F | F | T |
| 72652 | F | F | T |
| 82535 | F | F | T |
| 92304 | F | F | T |
| 92305 | F | T | T |
| 92306 | F | T | T |
| 100133 | F | F | T |
| 100134 | F | T | T |
| 100135 | F | T | T |
| 108622 | F | F | T |
| 108623 | F | T | T |
| 108624 | F | T | T |
| 116648 | F | F | T |
| 116649 | F | T | T |
| 116650 | F | T | T |
| 124615 | F | F | T |
| 141334 | F | F | T |
| 158813 | F | F | T |
| 158814 | F | T | T |
| 158815 | F | T | T |
| 158816 | F | T | T |
| 158817 | F | F | T |
| 158818 | F | T | T |
| 168671 | F | F | T |
| 168672 | F | T | T |
| 168673 | F | T | T |
| 168674 | F | T | T |
| 168675 | F | F | T |
| 168676 | F | T | T |
| 176703 | F | F | T |
| 176704 | F | T | T |
| 176705 | T | * | T |
| 181280 | F | F | T |
| 184599 | F | F | T |
| 187707 | F | F | T |
| 191312 | F | F | T |
| 196974 | F | F | T |
| 196975 | F | T | T |
| 196976 | F | T | T |
| 203381 | F | F | T |
| 208320 | F | F | T |
| 208321 | F | T | T |
| 215922 | F | F | T |
| 224351 | F | F | T |
| 301728 | F | F | T |
| 377150 | F | F | T |
| 379807 | F | F | T |
| 382691 | F | F | T |
Independent-effect pairs
c0(branch4298): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: library/core/src/result.rs:966 ← lib.rs:1766 ← library/core/src/ptr/mod.rs:823c1(branch4299): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: library/core/src/result.rs:966 ← lib.rs:1766 ← 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 ← library/core/src/ptr/mod.rs:823