Decision #504 — `library/core/src/ptr/mod.rs:825`

Status: no_witness

Truth table

row	c0 br 3353	c1 br 3362	c2 br 3365	c3 br 3385	c4 br 3386	c5 br 3387	outcome
734	T	*	*	*	*	*	T
8258	T	*	*	*	*	*	T

c0 (branch 3353): GAP view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:6330 ← library/core/src/ptr/mod.rs:825
c1 (branch 3362): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:5894 ← library/core/src/iter/traits/iterator.rs:2897 ← library/core/src/iter/traits/iterator.rs:2494 ← library/core/src/iter/traits/iterator.rs:2893 ← lib.rs:5894
c2 (branch 3365): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:5894 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c3 (branch 3385): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:5928
c4 (branch 3386): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:5928
c5 (branch 3387): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:5928 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825