Decision #754 — library/alloc/src/raw_vec/mod.rs:874
Status: no_witness
Truth table
| row | c0 br 5092 | c1 br 5093 | outcome |
|---|---|---|---|
| 17319 | F | F | F |
| 17320 | F | F | F |
| 26797 | F | F | F |
| 26798 | F | F | F |
| 66119 | F | F | F |
| 66120 | F | F | F |
| 66121 | F | F | F |
| 66122 | F | F | F |
| 66123 | F | F | F |
| 66124 | F | F | F |
| 66125 | F | F | F |
| 66126 | F | F | F |
| 77632 | F | F | F |
| 77633 | F | F | F |
| 77634 | F | F | F |
| 77635 | F | F | F |
| 77636 | F | F | F |
| 77637 | F | F | F |
| 77638 | F | F | F |
| 77639 | F | F | F |
| 119993 | F | F | F |
| 119994 | F | F | F |
| 142929 | F | F | F |
| 142930 | F | F | F |
Independent-effect pairs
c0(branch5092): GAP view gap →scry_octagon::assign_const· br_if
inlined: lib.rs:360 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/raw_vec/mod.rs:424c1(branch5093): GAP view gap →scry_octagon::assign_const· br_if
inlined: lib.rs:438 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/raw_vec/mod.rs:424