Decision #642 — library/core/src/ptr/mod.rs:549
Status: no_witness
Truth table
| row | c0 br 4265 | c1 br 4266 | outcome |
|---|---|---|---|
| 1515 | T | * | T |
| 1516 | T | * | T |
| 8475 | T | * | T |
| 8476 | T | * | T |
| 15276 | T | * | T |
| 15277 | T | * | T |
| 21785 | T | * | T |
| 24528 | T | * | T |
| 27171 | T | * | T |
| 30874 | T | * | T |
| 51729 | T | * | T |
| 72651 | T | * | T |
| 82534 | T | * | T |
| 92302 | T | * | T |
| 92303 | T | * | T |
| 100131 | T | * | T |
| 100132 | T | * | T |
| 108620 | T | * | T |
| 108621 | T | * | T |
| 116646 | T | * | T |
| 116647 | T | * | T |
| 124614 | T | * | T |
| 141333 | T | * | T |
| 158807 | T | * | T |
| 158808 | T | * | T |
| 158809 | T | * | T |
| 158810 | T | * | T |
| 158811 | T | * | T |
| 158812 | T | * | T |
| 168665 | T | * | T |
| 168666 | T | * | T |
| 168667 | T | * | T |
| 168668 | T | * | T |
| 168669 | T | * | T |
| 168670 | T | * | T |
| 176702 | T | * | T |
| 181279 | T | * | T |
| 184598 | T | * | T |
| 187706 | T | * | T |
| 191311 | T | * | T |
| 196973 | T | * | T |
| 203380 | T | * | T |
| 208319 | T | * | T |
| 215921 | T | * | T |
| 224350 | T | * | T |
| 301727 | T | * | T |
| 377149 | T | * | T |
| 379806 | T | * | T |
| 382690 | T | * | T |
Independent-effect pairs
c0(branch4265): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234c1(branch4266): DEAD view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234