Decision #983 — `library/core/src/ptr/mod.rs:810`

Status: partial

Truth table

row	c0 br 2002	c1 br 2003	c2 br 2004	c3 br 2322	c4 br 2323	c5 br 2324	c6 br 2325	outcome

c0 (branch 2002): DEAD view gap →
scry_analyze_core::analyze · br_table_target
inlined: library/core/src/result.rs:968 ← lib.rs:1027 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810
c1 (branch 2003): DEAD view gap →
scry_analyze_core::analyze · br_table_target
inlined: library/core/src/result.rs:968 ← lib.rs:1027 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810
c2 (branch 2004): DEAD view gap →
scry_analyze_core::analyze · br_table_default
inlined: library/core/src/result.rs:968 ← lib.rs:1027 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810
c3 (branch 2322): PROVED
scry_analyze_core::analyze · br_table_target
c4 (branch 2323): PROVED
scry_analyze_core::analyze · br_table_target
c5 (branch 2324): PROVED
scry_analyze_core::analyze · br_table_target
c6 (branch 2325): DEAD view gap →
scry_analyze_core::analyze · br_table_default