Decision #109 — library/core/src/ptr/mod.rs:823
Status: no_witness
Truth table
| row | c0 br 615 | c1 br 616 | c2 br 617 | c3 br 618 | c4 br 619 | c5 br 620 | c6 br 621 | c7 br 622 | c8 br 623 | c9 br 625 | c10 br 626 | c11 br 627 | c12 br 628 | c13 br 629 | c14 br 630 | c15 br 631 | c16 br 632 | c17 br 633 | c18 br 634 | c19 br 635 | c20 br 636 | c21 br 637 | c22 br 639 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 105 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 106 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 107 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 108 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 109 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | T | F | * | * | * | T |
| 110 | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T | F | * | * | * | T |
| 111 | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | T |
| 7065 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 7066 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 7067 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 7068 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 7069 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | T | F | * | * | * | T |
| 7070 | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T | F | * | * | * | T |
| 7071 | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | T |
| 13803 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 13804 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 13805 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 13806 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 13807 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | T | F | * | * | * | T |
| 13808 | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T | F | * | * | * | T |
| 13809 | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | T |
| 21200 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 23943 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 26586 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 29477 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 50332 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 71042 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 80925 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 90740 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 90741 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 90742 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 98514 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 98515 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 98516 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 107008 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 107009 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 107010 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 115084 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 115085 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 115086 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 122966 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 139685 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 156336 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 156337 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 156338 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 156339 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 156340 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 156341 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 166194 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 166195 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 166196 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 166197 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 166198 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 166199 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 175982 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 180756 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 184076 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 187183 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 190546 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 194862 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 194863 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 194864 | T | F | F | F | * | * | * | * | F | * | * | F | F | * | * | * | * | * | F | * | * | * | * | T |
| 202869 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 222197 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 299574 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 376713 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 379350 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
| 382234 | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | F | * | * | * | * | * | T |
Independent-effect pairs
c0(branch615): 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_ifc1(branch616): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818c2(branch617): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c3(branch618): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c4(branch619): 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_ifc5(branch620): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← 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:823c6(branch621): 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_ifc7(branch622): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c8(branch623): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818c9(branch625): 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_ifc10(branch626): 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:823c11(branch627): 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:823 ← library/core/src/ptr/mod.rs:823c12(branch628): 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_ifc13(branch629): 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:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c14(branch630): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c15(branch631): 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_ifc16(branch632): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← 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:823c17(branch633): 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:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c18(branch634): 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: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 ← 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:823c19(branch635): 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:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c20(branch636): 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: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:823c21(branch637): 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: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 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c22(branch639): 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