Decision #485 — library/core/src/ptr/mod.rs:551
Status: no_witness
Truth table
| row | c0 br 3290 | c1 br 3291 | c2 br 3292 | outcome |
|---|---|---|---|---|
| 47839 | F | T | * | T |
| 47840 | F | T | * | T |
| 52008 | F | T | * | T |
| 52009 | F | T | * | T |
| 56546 | F | T | * | T |
| 56547 | F | T | * | T |
| 60763 | F | T | * | T |
| 60764 | F | T | * | T |
| 96033 | F | T | * | T |
| 105699 | F | T | * | T |
| 105700 | F | T | * | T |
| 111488 | F | T | * | T |
| 114463 | F | T | * | T |
Independent-effect pairs
c0(branch3290): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch3291): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc2(branch3292): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if