Decision #765 — library/alloc/src/alloc.rs:128
Status: no_witness
Truth table
| row | c0 br 5165 | c1 br 5166 | outcome |
|---|---|---|---|
| 21769 | F | F | F |
| 21770 | F | F | F |
| 21771 | F | F | F |
| 21772 | F | F | F |
| 21773 | F | F | F |
| 21774 | F | F | F |
| 31247 | F | F | F |
| 31248 | F | F | F |
| 31249 | F | F | F |
| 31250 | F | F | F |
| 31251 | F | F | F |
| 31252 | F | F | F |
| 37672 | F | F | F |
| 37673 | F | F | F |
| 37674 | F | F | F |
| 37675 | F | F | F |
| 37676 | F | F | F |
| 37677 | F | F | F |
| 37678 | F | F | F |
| 37679 | F | F | F |
| 37680 | F | F | F |
| 37681 | F | F | F |
| 37682 | F | F | F |
| 37683 | F | F | F |
| 37684 | F | F | F |
| 37685 | F | F | F |
| 43885 | F | F | F |
| 43886 | F | F | F |
| 43887 | F | F | F |
| 43888 | F | F | F |
| 43889 | F | F | F |
| 43890 | F | F | F |
| 43891 | F | F | F |
| 43892 | F | F | F |
| 43893 | F | F | F |
| 43894 | F | F | F |
| 43895 | F | F | F |
| 43896 | F | F | F |
| 43897 | F | F | F |
| 43898 | F | F | F |
| 71685 | F | F | F |
| 71686 | F | F | F |
| 71687 | F | F | F |
| 71688 | F | F | F |
| 71689 | F | F | F |
| 71690 | F | F | F |
| 71691 | F | F | F |
| 71692 | F | F | F |
| 83198 | F | F | F |
| 83199 | F | F | F |
| 83200 | F | F | F |
| 83201 | F | F | F |
| 83202 | F | F | F |
| 83203 | F | F | F |
| 83204 | F | F | F |
| 83205 | F | F | F |
| 133297 | F | F | F |
| 133298 | F | F | F |
| 133299 | F | F | F |
| 133300 | F | F | F |
| 133301 | F | F | F |
| 133302 | F | F | F |
| 133303 | F | F | F |
| 133304 | F | F | F |
| 133305 | F | F | F |
| 133306 | F | F | F |
| 133307 | F | F | F |
| 133308 | F | F | F |
| 133309 | F | F | F |
| 133310 | F | F | F |
| 133311 | F | F | F |
| 133312 | F | F | F |
| 133313 | F | F | F |
| 133314 | F | F | F |
| 133315 | F | F | F |
| 133316 | F | F | F |
| 156233 | F | F | F |
| 156234 | F | F | F |
| 156235 | F | F | F |
| 156236 | F | F | F |
| 156237 | F | F | F |
| 156238 | F | F | F |
| 156239 | F | F | F |
| 156240 | F | F | F |
| 156241 | F | F | F |
| 156242 | F | F | F |
| 156243 | F | F | F |
| 156244 | F | F | F |
| 156245 | F | F | F |
| 156246 | F | F | F |
| 156247 | F | F | F |
| 156248 | F | F | F |
| 156249 | F | F | F |
| 156250 | F | F | F |
| 156251 | F | F | F |
| 156252 | F | F | F |
Independent-effect pairs
c0(branch5165): 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:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c1(branch5166): 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:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229