Decision #591 — library/core/src/ptr/const_ptr.rs:872
Status: no_witness
Truth table
| row | c0 br 4042 | c1 br 4043 | outcome |
|---|---|---|---|
| 1372 | * | F | T |
| 1373 | * | F | T |
| 8332 | * | F | T |
| 8333 | * | F | T |
| 15133 | * | F | T |
| 15134 | * | F | T |
| 92221 | F | * | T |
| 92222 | F | * | T |
| 100050 | F | * | T |
| 100051 | F | * | T |
| 108539 | F | * | T |
| 108540 | F | * | T |
| 116565 | F | * | T |
| 116566 | F | * | T |
| 176655 | F | * | T |
| 196847 | F | * | T |
| 196848 | F | * | T |
| 208192 | F | * | T |
| 215841 | F | * | T |
Independent-effect pairs
c0(branch4042): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/core/src/str/pattern.rs:1176 ← library/core/src/str/traits.rs:526 ← library/core/src/str/traits.rs:496 ← library/core/src/str/traits.rs:515 ← library/core/src/str/traits.rs:222c1(branch4043): GAP view gap →scry_analyze_core::build_static_call_graph· br_if