Decision #448 — library/alloc/src/collections/btree/map.rs:1889
Status: unreached
Truth table
| row | c0 br 3141 | c1 br 3142 | outcome |
|---|
Independent-effect pairs
c0(branch3141): DEAD view gap →scry_analyze_core::handle_memory_store· br_if
inlined: lib.rs:4865 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch3142): DEAD view gap →scry_analyze_core::handle_memory_store· br_if
inlined: lib.rs:4865 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825