Decision #38 — library/core/src/cmp.rs:1916
Status: partial
Truth table
| row | c0 br 238 | c1 br 264 | outcome |
|---|---|---|---|
| 102217 | * | T | T |
| 102218 | * | T | T |
| 102219 | * | T | T |
| 102220 | * | T | T |
| 102221 | * | T | T |
| 102222 | * | T | T |
| 102223 | * | T | T |
| 102224 | * | F | F |
| 104724 | * | T | T |
| 104725 | * | T | T |
| 104726 | * | T | T |
| 104727 | * | T | T |
| 104728 | * | T | T |
| 104729 | * | T | T |
| 104730 | * | T | T |
| 104731 | * | F | F |
| 104732 | * | T | T |
| 104733 | * | T | T |
| 104734 | * | T | T |
| 104735 | * | T | T |
| 104736 | * | T | T |
| 104737 | * | T | T |
| 104738 | * | T | T |
| 104739 | * | F | F |
| 104740 | * | T | T |
| 104741 | * | T | T |
| 104742 | * | T | T |
| 104743 | * | T | T |
| 104744 | * | T | T |
| 104745 | * | T | T |
| 104746 | * | T | T |
| 104747 | * | F | F |
| 108697 | * | T | T |
| 108698 | * | T | T |
| 108699 | * | T | T |
| 108700 | * | T | T |
| 108701 | * | T | T |
| 108702 | * | F | F |
| 110678 | * | T | T |
| 110679 | * | T | T |
| 110680 | * | T | T |
| 110681 | * | T | T |
| 110682 | * | T | T |
| 110683 | * | T | T |
| 110684 | * | T | T |
| 110685 | * | F | F |
| 110686 | * | T | T |
| 110687 | * | T | T |
| 110688 | * | T | T |
| 110689 | * | T | T |
| 110690 | * | T | T |
| 110691 | * | T | T |
| 110692 | * | T | T |
| 110693 | * | F | F |
| 113990 | * | T | T |
| 113991 | * | T | T |
| 113992 | * | T | T |
| 113993 | * | T | T |
| 113994 | * | T | T |
| 113995 | * | T | T |
| 113996 | * | T | T |
| 113997 | * | F | F |
Independent-effect pairs
c0(branch238): DEAD view gap →<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_ifc1(branch264): PROVED — pair rows102217,102224(masking)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if