Decision #407 — library/core/src/ptr/mod.rs:552
Status: no_witness
Truth table
| row | c0 br 2804 | c1 br 2811 | outcome |
|---|---|---|---|
| 13914 | F | F | T |
| 13915 | F | F | T |
| 21632 | F | F | T |
| 21633 | F | F | T |
| 53965 | F | F | T |
| 53966 | F | F | T |
| 53967 | F | F | T |
| 53968 | F | F | T |
| 53969 | F | F | T |
| 53970 | F | F | T |
| 53971 | F | F | T |
| 53972 | F | F | T |
| 63737 | F | F | T |
| 63738 | F | F | T |
| 63739 | F | F | T |
| 63740 | F | F | T |
| 63741 | F | F | T |
| 63742 | F | F | T |
| 63743 | F | F | T |
| 63744 | F | F | T |
| 94088 | F | F | T |
| 94089 | F | F | T |
| 112951 | F | F | T |
| 112952 | F | F | T |
Independent-effect pairs
c0(branch2804): GAP view gap →scry_octagon::assign_const· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch2811): GAP view gap →scry_octagon::assign_const· br_if