Decision #478 — library/alloc/src/raw_vec/mod.rs:614
Status: unreached
Truth table
| row | c0 br 3270 | c1 br 3272 | c2 br 3282 | c3 br 3284 | c4 br 3288 | outcome |
|---|
Independent-effect pairs
c0(branch3270): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6279 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309c1(branch3272): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6279 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2052 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c2(branch3282): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6269 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309c3(branch3284): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6269 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2052 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c4(branch3288): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/alloc/src/vec/mod.rs:1864 ← library/alloc/src/vec/mod.rs:1968 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609