Decision #671 — library/alloc/src/raw_vec/mod.rs:425
Status: no_witness
Truth table
| row | c0 br 4601 | c1 br 4602 | outcome |
|---|---|---|---|
| 30938 | F | F | T |
| 51793 | F | F | T |
| 72712 | F | F | T |
| 82595 | F | F | T |
| 124678 | F | F | T |
| 141397 | F | F | T |
| 224415 | F | F | T |
| 301792 | F | F | T |
Independent-effect pairs
c0(branch4601): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2324 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c1(branch4602): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2324 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823