Decision #380 — library/alloc/src/alloc.rs:128
Status: unreached
Truth table
| row | c0 br 2644 | c1 br 2659 | outcome |
|---|
Independent-effect pairs
c0(branch2644): DEAD view gap →scry_provenance::decode· br_if
inlined: lib.rs:347 ← 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(branch2659): DEAD view gap →scry_provenance::decode· br_if