Decision #766 — library/alloc/src/raw_vec/mod.rs:634
Status: no_witness
Truth table
| row | c0 br 5160 | c1 br 5164 | outcome |
|---|---|---|---|
| 21775 | * | F | T |
| 21776 | * | F | T |
| 21777 | * | F | T |
| 21778 | * | F | T |
| 21779 | * | F | T |
| 21780 | * | F | T |
| 31253 | * | F | T |
| 31254 | * | F | T |
| 31255 | * | F | T |
| 31256 | * | F | T |
| 31257 | * | F | T |
| 31258 | * | F | T |
| 37686 | * | F | T |
| 37687 | * | F | T |
| 37688 | * | F | T |
| 37689 | * | F | T |
| 37690 | * | F | T |
| 37691 | * | F | T |
| 37692 | * | F | T |
| 37693 | * | F | T |
| 37694 | * | F | T |
| 37695 | * | F | T |
| 37696 | * | F | T |
| 37697 | * | F | T |
| 37698 | * | F | T |
| 37699 | * | F | T |
| 43899 | * | F | T |
| 43900 | * | F | T |
| 43901 | * | F | T |
| 43902 | * | F | T |
| 43903 | * | F | T |
| 43904 | * | F | T |
| 43905 | * | F | T |
| 43906 | * | F | T |
| 43907 | * | F | T |
| 43908 | * | F | T |
| 43909 | * | F | T |
| 43910 | * | F | T |
| 43911 | * | F | T |
| 43912 | * | F | T |
| 71693 | * | F | T |
| 71694 | * | F | T |
| 71695 | * | F | T |
| 71696 | * | F | T |
| 71697 | * | F | T |
| 71698 | * | F | T |
| 71699 | * | F | T |
| 71700 | * | F | T |
| 83206 | * | F | T |
| 83207 | * | F | T |
| 83208 | * | F | T |
| 83209 | * | F | T |
| 83210 | * | F | T |
| 83211 | * | F | T |
| 83212 | * | F | T |
| 83213 | * | F | T |
| 133317 | * | F | T |
| 133318 | * | F | T |
| 133319 | * | F | T |
| 133320 | * | F | T |
| 133321 | * | F | T |
| 133322 | * | F | T |
| 133323 | * | F | T |
| 133324 | * | F | T |
| 133325 | * | F | T |
| 133326 | * | F | T |
| 133327 | * | F | T |
| 133328 | * | F | T |
| 133329 | * | F | T |
| 133330 | * | F | T |
| 133331 | * | F | T |
| 133332 | * | F | T |
| 133333 | * | F | T |
| 133334 | * | F | T |
| 133335 | * | F | T |
| 133336 | * | F | T |
| 156253 | * | F | T |
| 156254 | * | F | T |
| 156255 | * | F | T |
| 156256 | * | F | T |
| 156257 | * | F | T |
| 156258 | * | F | T |
| 156259 | * | F | T |
| 156260 | * | F | T |
| 156261 | * | F | T |
| 156262 | * | F | T |
| 156263 | * | F | T |
| 156264 | * | F | T |
| 156265 | * | F | T |
| 156266 | * | F | T |
| 156267 | * | F | T |
| 156268 | * | F | T |
| 156269 | * | F | T |
| 156270 | * | F | T |
| 156271 | * | F | T |
| 156272 | * | F | T |
Independent-effect pairs
c0(branch5160): DEAD view gap →scry_octagon::assign_add_const· br_if
inlined: lib.rs:264 ← 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 ← library/alloc/src/raw_vec/mod.rs:874c1(branch5164): GAP view gap →scry_octagon::assign_add_const· br_if
inlined: lib.rs:264 ← 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 ← library/alloc/src/raw_vec/mod.rs:874