Decision #421 — library/alloc/src/raw_vec/mod.rs:634
Status: unreached
Truth table
| row | c0 br 2859 | c1 br 2861 | outcome |
|---|
Independent-effect pairs
c0(branch2859): DEAD view gap →scry_octagon::assign_add_const· br_if
inlined: lib.rs:242 ← 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:874c1(branch2861): DEAD view gap →scry_octagon::assign_add_const· br_if
inlined: lib.rs:242 ← 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:874