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

Status: no_witness

Truth table

row	c0 br 315	c1 br 316	c2 br 318	c3 br 319	c4 br 320	c5 br 321	c6 br 322	c7 br 324	c8 br 325	c9 br 327	c10 br 328	c11 br 329	c12 br 330	c13 br 331	c14 br 332	c15 br 333	c16 br 335	c17 br 336	c18 br 337	c19 br 338	c20 br 339	c21 br 340	c22 br 341	c23 br 342	c24 br 344	c25 br 346	c26 br 347	c27 br 348	c28 br 350	c29 br 351	outcome
44	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
45	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
46	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
47	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
48	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	F	*	*	*	*	*	*	F	*	F	F	*	*	*	T
49	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	F	*	F	F	*	*	*	T
3838	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
3839	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
3840	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
3841	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
3842	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	F	*	*	*	*	*	*	F	*	F	F	*	*	*	T
3843	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	F	*	F	F	*	*	*	T
7521	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
7522	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
7523	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
7524	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
7525	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	F	*	*	*	*	*	*	F	*	F	F	*	*	*	T
7526	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	F	*	F	F	*	*	*	T
11674	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
13050	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
14375	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
15841	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
25321	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
34785	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
40998	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
47122	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
47123	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
47124	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
51250	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
51251	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
51252	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
55788	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
55789	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
55790	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
60046	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
60047	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
60048	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
64256	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
75769	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
87213	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
87214	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
87215	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
87216	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
87217	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
87218	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
91481	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
91482	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
91483	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
91484	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
91485	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
91486	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
95720	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
97761	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
99279	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
100694	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
102239	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
104792	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
104793	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
104794	T	F	F	*	*	*	*	F	*	F	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
108712	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
117350	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
140286	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
163000	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
164555	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T
166277	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	F	*	*	*	*	*	*	*	*	*	*	*	*	*	*	T

Independent-effect pairs

c0 (branch 315): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
c1 (branch 316): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
c2 (branch 318): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c3 (branch 319): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c4 (branch 320): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c5 (branch 321): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c6 (branch 322): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c7 (branch 324): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
c8 (branch 325): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c9 (branch 327): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c10 (branch 328): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c11 (branch 329): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← 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 ← library/core/src/ptr/mod.rs:825
c12 (branch 330): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c13 (branch 331): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c14 (branch 332): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825
c15 (branch 333): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
c16 (branch 335): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c17 (branch 336): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c18 (branch 337): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c19 (branch 338): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
c20 (branch 339): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c21 (branch 340): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c22 (branch 341): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c23 (branch 342): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c24 (branch 344): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c25 (branch 346): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c26 (branch 347): GAP view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c27 (branch 348): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
c28 (branch 350): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: 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 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c29 (branch 351): DEAD view gap →
<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825

← back to scry-mcdc

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

Truth table

Independent-effect pairs

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