Decision #1388 — library/core/src/ptr/mod.rs:1733
Status: partial
Truth table
| row | c0 br 3834 | c1 br 3835 | c2 br 3836 | c3 br 3837 | outcome |
|---|
Independent-effect pairs
c0(branch3834): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c1(branch3835): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c2(branch3836): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c3(branch3837): DEAD view gap →scry_analyze_core::analyze· br_table_default
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171