Decision #394 — library/alloc/src/raw_vec/mod.rs:614
Status: unreached
Truth table
| row | c0 br 2486 | c1 br 2488 | outcome |
|---|
Independent-effect pairs
c0(branch2486): DEAD view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:6627 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309c1(branch2488): DEAD view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:6631 ← 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:609