Decision #687 — `library/core/src/ptr/mod.rs:823`

Status: no_witness

Truth table

row	c0 br 4584	c1 br 4590	outcome
1655	*	F	T
8615	*	F	T
15416	*	F	T

c0 (branch 4584): DEAD view gap →
scry_analyze_core::analyze · br_if
inlined: library/core/src/result.rs:966 ← lib.rs:2192 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823
c1 (branch 4590): GAP view gap →
scry_analyze_core::analyze · br_if
inlined: lib.rs:2194 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823