Decision #95 — library/alloc/src/vec/into_iter.rs:262
Status: no_witness
Truth table
| row | c0 br 555 | c1 br 556 | c2 br 557 | outcome |
|---|---|---|---|---|
| 67 | F | F | T | T |
| 68 | F | F | T | T |
| 69 | F | F | T | T |
| 70 | F | F | T | T |
| 71 | F | F | T | T |
| 7027 | F | F | T | T |
| 7028 | F | F | T | T |
| 7029 | F | F | T | T |
| 7030 | F | F | T | T |
| 7031 | F | F | T | T |
| 13765 | F | F | T | T |
| 13766 | F | F | T | T |
| 13767 | F | F | T | T |
| 13768 | F | F | T | T |
| 13769 | F | F | T | T |
| 21194 | F | F | T | T |
| 23937 | F | F | T | T |
| 26580 | F | F | T | T |
| 29451 | F | F | T | T |
| 50306 | F | F | T | T |
| 71000 | F | F | T | T |
| 80883 | F | F | T | T |
| 90710 | F | F | T | T |
| 90711 | F | F | T | T |
| 90712 | F | F | T | T |
| 98484 | F | F | T | T |
| 98485 | F | F | T | T |
| 98486 | F | F | T | T |
| 106978 | F | F | T | T |
| 106979 | F | F | T | T |
| 106980 | F | F | T | T |
| 115054 | F | F | T | T |
| 115055 | F | F | T | T |
| 115056 | F | F | T | T |
| 122936 | F | F | T | T |
| 139655 | F | F | T | T |
| 156305 | F | F | T | T |
| 156306 | F | F | T | T |
| 156307 | F | F | T | T |
| 156308 | F | F | T | T |
| 156309 | F | F | T | T |
| 156310 | F | F | T | T |
| 166163 | F | F | T | T |
| 166164 | F | F | T | T |
| 166165 | F | F | T | T |
| 166166 | F | F | T | T |
| 166167 | F | F | T | T |
| 166168 | F | F | T | T |
| 175952 | F | F | T | T |
| 175953 | F | F | T | T |
| 175954 | F | F | T | T |
| 180750 | F | F | T | T |
| 184070 | F | F | T | T |
| 187177 | F | F | T | T |
| 190540 | F | F | T | T |
| 194836 | F | F | T | T |
| 194837 | F | F | T | T |
| 194838 | F | F | T | T |
| 202863 | F | F | T | T |
| 206184 | F | F | T | T |
| 206185 | F | F | T | T |
| 214514 | F | F | T | T |
| 222127 | F | F | T | T |
| 299504 | F | F | T | T |
| 376707 | F | F | T | T |
| 379344 | F | F | T | T |
| 382228 | F | F | T | T |
Independent-effect pairs
All 3 conditions live in <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}> — 3 br_if
c0(branch555): GAP view gap →c1(branch556): GAP view gap →c2(branch557): GAP view gap →