Decision #187 — library/alloc/src/raw_vec/mod.rs:614
Status: unreached
Truth table
| row | c0 br 1619 | c1 br 1628 | outcome |
|---|
Independent-effect pairs
c0(branch1619): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:4629 ← library/alloc/src/vec/mod.rs:3755 ← library/alloc/src/vec/mod.rs:1840 ← library/alloc/src/vec/mod.rs:1941 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch1628): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/alloc/src/vec/mod.rs:1840 ← library/alloc/src/vec/mod.rs:1941 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609