Decision #228 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 1784 | c1 br 1785 | c2 br 1795 | c3 br 1796 | c4 br 1810 | outcome |
|---|---|---|---|---|---|---|
| 698 | F | F | * | * | * | T |
| 699 | F | F | * | * | * | T |
| 700 | F | F | * | T | * | T |
| 701 | * | * | * | T | * | T |
| 702 | * | * | F | T | * | T |
| 703 | * | * | F | * | * | T |
| 704 | * | * | T | T | * | T |
| 705 | * | * | F | * | * | T |
| 706 | * | * | F | * | * | T |
| 707 | * | * | T | F | * | T |
| 3738 | F | F | * | * | * | T |
| 3739 | F | F | * | * | * | T |
| 3740 | F | F | * | T | * | T |
| 3741 | * | * | * | T | * | T |
| 3742 | * | * | F | T | * | T |
| 3743 | * | * | F | * | * | T |
| 3744 | * | * | T | T | * | T |
| 3745 | * | * | F | * | * | T |
| 3746 | * | * | F | * | * | T |
| 3747 | * | * | T | F | * | T |
| 6683 | F | F | * | * | * | T |
| 6684 | F | F | * | * | * | T |
| 6685 | F | F | * | T | * | T |
| 6686 | * | * | * | T | * | T |
| 6687 | * | * | F | T | * | T |
| 6688 | * | * | F | * | * | T |
| 6689 | * | * | T | T | * | T |
| 6690 | * | * | F | * | * | T |
| 6691 | * | * | F | * | * | T |
| 6692 | * | * | T | F | * | T |
| 9621 | * | * | * | F | * | T |
| 10769 | * | * | * | F | * | T |
| 11860 | * | * | * | F | * | T |
| 13524 | * | * | * | F | * | T |
| 21242 | * | * | * | F | * | T |
| 29137 | * | * | * | F | * | T |
| 35075 | * | * | * | F | * | T |
| 40743 | * | * | T | T | * | T |
| 40744 | * | * | T | T | * | T |
| 40745 | * | * | * | F | * | T |
| 43754 | * | * | T | T | * | T |
| 43755 | * | * | T | T | * | T |
| 43756 | * | * | * | F | * | T |
| 47207 | * | * | T | T | * | T |
| 47208 | * | * | T | T | * | T |
| 47209 | * | * | * | F | * | T |
| 50283 | * | * | T | T | * | T |
| 50284 | * | * | T | T | * | T |
| 50285 | * | * | * | F | * | T |
| 53479 | * | * | * | F | * | T |
| 63251 | * | * | * | F | * | T |
| 72977 | * | * | * | T | * | T |
| 72978 | * | * | * | T | * | T |
| 72979 | * | * | * | T | * | T |
| 72980 | * | * | * | T | * | T |
| 72981 | * | * | * | T | * | T |
| 72982 | * | * | * | F | * | T |
| 76452 | * | * | * | T | * | T |
| 76453 | * | * | * | T | * | T |
| 76454 | * | * | * | T | * | T |
| 76455 | * | * | * | T | * | T |
| 76456 | * | * | * | T | * | T |
| 76457 | * | * | * | F | * | T |
| 79323 | * | * | T | T | * | T |
| 79324 | * | * | * | F | * | T |
| 80834 | * | * | * | F | * | T |
| 82021 | * | * | * | F | * | T |
| 83083 | * | * | * | F | * | T |
| 84276 | * | * | * | F | * | T |
| 85867 | * | * | T | T | * | T |
| 85868 | * | * | T | T | * | T |
| 85869 | * | * | * | F | * | T |
| 87641 | * | * | * | F | * | T |
| 89172 | * | * | T | T | * | T |
| 89173 | * | * | * | F | * | T |
| 90920 | * | * | T | F | * | T |
| 93261 | * | * | * | F | * | T |
| 112124 | * | * | * | F | * | T |
| 130054 | * | * | * | F | * | T |
| 131229 | * | * | * | F | * | T |
| 132556 | * | * | * | F | * | T |
Independent-effect pairs
c0(branch1784): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: lib.rs:2578 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c1(branch1785): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: lib.rs:2578 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c2(branch1795): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: lib.rs:2574c3(branch1796): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_ifc4(branch1810): DEAD view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: lib.rs:2971 ← library/core/src/ptr/mod.rs:810