Decision #48 — library/core/src/ptr/mod.rs:825
Status: partial
Truth table
| row | c0 br 311 | c1 br 312 | c2 br 313 | c3 br 314 | outcome |
|---|---|---|---|---|---|
| 35 | F | F | T | T | T |
| 36 | F | F | T | T | T |
| 37 | F | F | T | T | T |
| 38 | F | F | T | T | T |
| 39 | F | F | T | F | F |
| 3829 | F | F | T | T | T |
| 3830 | F | F | T | T | T |
| 3831 | F | F | T | T | T |
| 3832 | F | F | T | T | T |
| 3833 | F | F | T | F | F |
| 7512 | F | F | T | T | T |
| 7513 | F | F | T | T | T |
| 7514 | F | F | T | T | T |
| 7515 | F | F | T | T | T |
| 7516 | F | F | T | F | F |
| 11673 | F | F | T | F | F |
| 13049 | F | F | T | F | F |
| 14374 | F | F | T | F | F |
| 15840 | F | F | T | F | F |
| 25320 | F | F | T | F | F |
| 34784 | F | F | T | F | F |
| 40997 | F | F | T | F | F |
| 47117 | F | F | T | T | T |
| 47118 | F | F | T | T | T |
| 47119 | F | F | T | F | F |
| 51245 | F | F | T | T | T |
| 51246 | F | F | T | T | T |
| 51247 | F | F | T | F | F |
| 55783 | F | F | T | T | T |
| 55784 | F | F | T | T | T |
| 55785 | F | F | T | F | F |
| 60041 | F | F | T | T | T |
| 60042 | F | F | T | T | T |
| 60043 | F | F | T | F | F |
| 64255 | F | F | T | F | F |
| 75768 | F | F | T | F | F |
| 87207 | F | F | T | T | T |
| 87208 | F | F | T | T | T |
| 87209 | F | F | T | T | T |
| 87210 | F | F | T | T | T |
| 87211 | F | F | T | T | T |
| 87212 | F | F | T | F | F |
| 91475 | F | F | T | T | T |
| 91476 | F | F | T | T | T |
| 91477 | F | F | T | T | T |
| 91478 | F | F | T | T | T |
| 91479 | F | F | T | T | T |
| 91480 | F | F | T | F | F |
| 95716 | F | F | T | T | T |
| 95717 | F | F | T | T | T |
| 95718 | F | F | T | F | F |
| 97760 | F | F | T | F | F |
| 99278 | F | F | T | F | F |
| 100693 | F | F | T | F | F |
| 102238 | F | F | T | F | F |
| 104787 | F | F | T | T | T |
| 104788 | F | F | T | T | T |
| 104789 | F | F | T | F | F |
| 108711 | F | F | T | F | F |
| 110746 | F | F | T | T | T |
| 110747 | F | F | T | F | F |
| 114023 | F | F | T | F | F |
| 117349 | F | F | T | F | F |
| 140285 | F | F | T | F | F |
| 162999 | F | F | T | F | F |
| 164554 | F | F | T | F | F |
| 166276 | F | F | T | F | F |
Independent-effect pairs
c0(branch311): GAP view gap →<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::FunctionStack, <alloc::vec::Vec<scry_analyze_core::FunctionStack>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>::{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:825c1(branch312): GAP view gap →<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::FunctionStack, <alloc::vec::Vec<scry_analyze_core::FunctionStack>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>::{closure#0}>::{closure#0}>· br_ifc2(branch313): GAP view gap →<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::FunctionStack, <alloc::vec::Vec<scry_analyze_core::FunctionStack>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>::{closure#0}>::{closure#0}>· br_ifc3(branch314): PROVED — pair rows35,39(unique-cause)<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::FunctionStack, <alloc::vec::Vec<scry_analyze_core::FunctionStack>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>::{closure#0}>::{closure#0}>· br_if