Decision #411 — library/alloc/src/alloc.rs:128
Status: no_witness
Truth table
| row | c0 br 2819 | c1 br 2821 | outcome |
|---|---|---|---|
| 14190 | F | F | T |
| 14191 | F | F | T |
| 14192 | F | F | T |
| 14193 | F | F | T |
| 14194 | F | F | T |
| 14195 | F | F | T |
| 14196 | F | F | T |
| 14197 | F | F | T |
| 14198 | F | F | T |
| 14199 | F | F | T |
| 14200 | F | F | T |
| 14201 | F | F | T |
| 14202 | F | F | T |
| 14203 | F | F | T |
| 14204 | F | F | T |
| 14205 | F | F | T |
| 21908 | F | F | T |
| 21909 | F | F | T |
| 21910 | F | F | T |
| 21911 | F | F | T |
| 21912 | F | F | T |
| 21913 | F | F | T |
| 21914 | F | F | T |
| 21915 | F | F | T |
| 21916 | F | F | T |
| 21917 | F | F | T |
| 21918 | F | F | T |
| 21919 | F | F | T |
| 21920 | F | F | T |
| 21921 | F | F | T |
| 21922 | F | F | T |
| 21923 | F | F | T |
| 29656 | F | F | T |
| 35594 | F | F | T |
| 54287 | F | F | T |
| 54288 | F | F | T |
| 54289 | F | F | T |
| 54290 | F | F | T |
| 54291 | F | F | T |
| 54292 | F | F | T |
| 54293 | F | F | T |
| 54294 | F | F | T |
| 54295 | F | F | T |
| 54296 | F | F | T |
| 54297 | F | F | T |
| 54298 | F | F | T |
| 54299 | F | F | T |
| 54300 | F | F | T |
| 54301 | F | F | T |
| 54302 | F | F | T |
| 54303 | F | F | T |
| 54304 | F | F | T |
| 64059 | F | F | T |
| 64060 | F | F | T |
| 64061 | F | F | T |
| 64062 | F | F | T |
| 64063 | F | F | T |
| 64064 | F | F | T |
| 64065 | F | F | T |
| 64066 | F | F | T |
| 64067 | F | F | T |
| 64068 | F | F | T |
| 64069 | F | F | T |
| 64070 | F | F | T |
| 64071 | F | F | T |
| 64072 | F | F | T |
| 64073 | F | F | T |
| 64074 | F | F | T |
| 64075 | F | F | T |
| 64076 | F | F | T |
| 94364 | F | F | T |
| 94365 | F | F | T |
| 94366 | F | F | T |
| 94367 | F | F | T |
| 94368 | F | F | T |
| 94369 | F | F | T |
| 94370 | F | F | T |
| 94371 | F | F | T |
| 94372 | F | F | T |
| 94373 | F | F | T |
| 94374 | F | F | T |
| 94375 | F | F | T |
| 94376 | F | F | T |
| 94377 | F | F | T |
| 94378 | F | F | T |
| 94379 | F | F | T |
| 113227 | F | F | T |
| 113228 | F | F | T |
| 113229 | F | F | T |
| 113230 | F | F | T |
| 113231 | F | F | T |
| 113232 | F | F | T |
| 113233 | F | F | T |
| 113234 | F | F | T |
| 113235 | F | F | T |
| 113236 | F | F | T |
| 113237 | F | F | T |
| 113238 | F | F | T |
| 113239 | F | F | T |
| 113240 | F | F | T |
| 113241 | F | F | T |
| 113242 | F | F | T |
Independent-effect pairs
c0(branch2819): GAP view gap →scry_octagon::strong_close· br_if
inlined: lib.rs:360 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← 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(branch2821): GAP view gap →scry_octagon::strong_close· br_if
inlined: lib.rs:438 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← 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