Decision #90 — library/core/src/slice/iter/macros.rs:279
Status: partial
Truth table
| row | c0 br 481 | c1 br 508 | c2 br 509 | c3 br 510 | c4 br 511 | outcome |
|---|---|---|---|---|---|---|
| 190532 | * | T | * | * | * | T |
| 190533 | * | T | * | * | * | T |
| 190534 | * | T | * | * | * | T |
| 190535 | * | T | * | * | * | T |
| 190536 | * | T | * | * | * | T |
| 190537 | * | T | * | * | * | T |
| 190538 | * | T | * | * | * | T |
| 190539 | * | F | F | F | T | T |
| 194812 | * | T | * | * | * | T |
| 194813 | * | T | * | * | * | T |
| 194814 | * | T | * | * | * | T |
| 194815 | * | T | * | * | * | T |
| 194816 | * | T | * | * | * | T |
| 194817 | * | T | * | * | * | T |
| 194818 | * | T | * | * | * | T |
| 194819 | * | F | F | F | F | F |
| 194820 | * | T | * | * | * | T |
| 194821 | * | T | * | * | * | T |
| 194822 | * | T | * | * | * | T |
| 194823 | * | T | * | * | * | T |
| 194824 | * | T | * | * | * | T |
| 194825 | * | T | * | * | * | T |
| 194826 | * | T | * | * | * | T |
| 194827 | * | F | F | F | F | F |
| 194828 | * | T | * | * | * | T |
| 194829 | * | T | * | * | * | T |
| 194830 | * | T | * | * | * | T |
| 194831 | * | T | * | * | * | T |
| 194832 | * | T | * | * | * | T |
| 194833 | * | T | * | * | * | T |
| 194834 | * | T | * | * | * | T |
| 194835 | * | F | F | F | F | F |
| 202857 | * | T | * | * | * | T |
| 202858 | * | T | * | * | * | T |
| 202859 | * | T | * | * | * | T |
| 202860 | * | T | * | * | * | T |
| 202861 | * | T | * | * | * | T |
| 202862 | * | F | F | F | T | T |
| 206168 | * | T | * | * | * | T |
| 206169 | * | T | * | * | * | T |
| 206170 | * | T | * | * | * | T |
| 206171 | * | T | * | * | * | T |
| 206172 | * | T | * | * | * | T |
| 206173 | * | T | * | * | * | T |
| 206174 | * | T | * | * | * | T |
| 206175 | * | F | F | F | F | F |
| 206176 | * | T | * | * | * | T |
| 206177 | * | T | * | * | * | T |
| 206178 | * | T | * | * | * | T |
| 206179 | * | T | * | * | * | T |
| 206180 | * | T | * | * | * | T |
| 206181 | * | T | * | * | * | T |
| 206182 | * | T | * | * | * | T |
| 206183 | * | F | F | F | F | F |
| 214504 | * | T | * | * | * | T |
| 214505 | * | T | * | * | * | T |
| 214506 | * | T | * | * | * | T |
| 214507 | * | T | * | * | * | T |
| 214508 | * | T | * | * | * | T |
| 214509 | * | T | * | * | * | T |
| 214510 | * | T | * | * | * | T |
| 214511 | * | F | F | F | F | F |
Independent-effect pairs
All 5 conditions live in <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}> — 5 br_if
c0(branch481): DEAD view gap →c1(branch508): PROVED — pair rows190532,194819(masking)c2(branch509): GAP view gap →c3(branch510): GAP view gap →c4(branch511): PROVED — pair rows190539,194819(masking)