Decision #562 — library/core/src/ptr/mod.rs:551
Status: no_witness
Truth table
| row | c0 br 3635 | c1 br 3636 | outcome |
|---|---|---|---|
| 950 | F | T | T |
| 951 | F | T | T |
| 952 | F | T | T |
| 953 | F | T | T |
| 4743 | F | T | T |
| 4744 | F | T | T |
| 4745 | F | T | T |
| 4746 | F | T | T |
| 8474 | F | T | T |
| 8475 | F | T | T |
| 8476 | F | T | T |
| 8477 | F | T | T |
Independent-effect pairs
c0(branch3635): GAP view gap →scry_analyze_core::analyze· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch3636): GAP view gap →scry_analyze_core::analyze· br_if