Decision #462 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3177 | c1 br 3193 | outcome |
|---|---|---|---|
| 608 | F | T | T |
| 609 | F | F | T |
| 4402 | F | T | T |
| 4403 | F | F | T |
| 8132 | F | T | T |
| 8133 | F | F | T |
| 47802 | F | T | T |
| 47803 | F | F | T |
| 51971 | F | T | T |
| 51972 | F | F | T |
| 56509 | F | T | T |
| 56510 | F | F | T |
| 60726 | F | T | T |
| 60727 | F | F | T |
| 96012 | F | F | T |
| 105646 | F | T | T |
| 105647 | F | F | T |
| 114437 | F | F | T |
Independent-effect pairs
c0(branch3177): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if
inlined: library/alloc/src/collections/btree/mem.rs:29c1(branch3193): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if
inlined: lib.rs:4410 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045