Decision #982 — library/alloc/src/raw_vec/mod.rs:878
Status: no_witness
Truth table
| row | c0 br 6323 | c1 br 6324 | outcome |
|---|---|---|---|
| 33710 | F | F | T |
| 33711 | F | F | T |
| 54564 | F | F | T |
| 54565 | F | F | T |
| 125867 | F | F | T |
| 125868 | F | F | T |
| 125869 | F | F | T |
| 125870 | F | F | T |
| 125871 | F | F | T |
| 125872 | F | F | T |
| 125873 | F | F | T |
| 125874 | F | F | T |
| 142586 | F | F | T |
| 142587 | F | F | T |
| 142588 | F | F | T |
| 142589 | F | F | T |
| 142590 | F | F | T |
| 142591 | F | F | T |
| 142592 | F | F | T |
| 142593 | F | F | T |
| 240598 | F | F | T |
| 240599 | F | F | T |
| 317975 | F | F | T |
| 317976 | F | F | T |
Independent-effect pairs
c0(branch6323): GAP view gap →scry_octagon::assign_const· br_if
inlined: lib.rs:438 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/raw_vec/mod.rs:425c1(branch6324): GAP view gap →scry_octagon::assign_const· br_if
inlined: lib.rs:438 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/raw_vec/mod.rs:425