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

Status: partial

Truth table

row	c0 br 2403	c1 br 2404	c2 br 2406	c3 br 2407	c4 br 2408	c5 br 2410	c6 br 2411	c7 br 2413	c8 br 2414	c9 br 2415	c10 br 2416	c11 br 2418	c12 br 2419	outcome
13789	F	*	*	*	*	*	*	*	*	*	*	*	*	F
21507	F	*	*	*	*	*	*	*	*	*	*	*	*	F
41004	T	*	*	*	*	*	*	*	*	*	*	*	*	T
41005	T	*	*	*	*	*	*	*	*	*	*	*	*	T
41006	F	*	*	*	*	*	*	*	*	*	*	*	*	F
41007	T	*	*	*	*	*	*	*	*	*	*	*	*	T
41008	T	*	*	*	*	*	*	*	*	*	*	*	*	T
41009	F	*	*	*	*	*	*	*	*	*	*	*	*	F
44017	T	*	*	*	*	*	*	*	*	*	*	*	*	T
44018	T	*	*	*	*	*	*	*	*	*	*	*	*	T
44019	F	*	*	*	*	*	*	*	*	*	*	*	*	F
44020	T	*	*	*	*	*	*	*	*	*	*	*	*	T
44021	T	*	*	*	*	*	*	*	*	*	*	*	*	T
44022	F	*	*	*	*	*	*	*	*	*	*	*	*	F
47470	T	*	*	*	*	*	*	*	*	*	*	*	*	T
47471	T	*	*	*	*	*	*	*	*	*	*	*	*	T
47472	F	*	*	*	*	*	*	*	*	*	*	*	*	F
47473	T	*	*	*	*	*	*	*	*	*	*	*	*	T
47474	T	*	*	*	*	*	*	*	*	*	*	*	*	T
47475	F	*	*	*	*	*	*	*	*	*	*	*	*	F
50544	T	*	*	*	*	*	*	*	*	*	*	*	*	T
50545	T	*	*	*	*	*	*	*	*	*	*	*	*	T
50546	F	*	*	*	*	*	*	*	*	*	*	*	*	F
50547	T	*	*	*	*	*	*	*	*	*	*	*	*	T
50548	T	*	*	*	*	*	*	*	*	*	*	*	*	T
50549	F	*	*	*	*	*	*	*	*	*	*	*	*	F
53782	F	*	*	*	*	*	*	*	*	*	*	*	*	F
63554	F	*	*	*	*	*	*	*	*	*	*	*	*	F
84419	F	*	*	*	*	*	*	*	*	*	*	*	*	F
87765	F	*	*	*	*	*	*	*	*	*	*	*	*	F
91113	F	*	*	*	*	*	*	*	*	*	*	*	*	F
130156	F	*	*	*	*	*	*	*	*	*	*	*	*	F
131331	F	*	*	*	*	*	*	*	*	*	*	*	*	F
132658	F	*	*	*	*	*	*	*	*	*	*	*	*	F

Independent-effect pairs

c0 (branch 2403): PROVED — pair rows 13789, 41004 (masking)
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250
c1 (branch 2404): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810
c2 (branch 2406): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
c3 (branch 2407): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810
c4 (branch 2408): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250
c5 (branch 2410): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
c6 (branch 2411): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
c7 (branch 2413): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250
c8 (branch 2414): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810
c9 (branch 2415): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810
c10 (branch 2416): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
c11 (branch 2418): DEAD view gap →
core::slice::<impl [T]>::contains · br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250
c12 (branch 2419): DEAD view gap →
core::slice::<impl [T]>::contains · br_if

← back to scry-mcdc

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

Truth table

Independent-effect pairs

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