Decision #93 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 521 | c1 br 527 | outcome |
|---|---|---|---|
| 70994 | T | * | T |
| 70995 | T | * | T |
| 70996 | T | * | T |
| 70997 | T | * | T |
| 80877 | T | * | T |
| 80878 | T | * | T |
| 80879 | T | * | T |
| 80880 | T | * | T |
| 222111 | T | * | T |
| 222112 | T | * | T |
| 222113 | T | * | T |
| 222114 | T | * | T |
| 222115 | T | * | T |
| 222116 | T | * | T |
| 222117 | T | * | T |
| 222118 | T | * | T |
| 299488 | T | * | T |
| 299489 | T | * | T |
| 299490 | T | * | T |
| 299491 | T | * | T |
| 299492 | T | * | T |
| 299493 | T | * | T |
| 299494 | T | * | T |
| 299495 | T | * | T |
Independent-effect pairs
c0(branch521): GAP view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:33c1(branch527): DEAD view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:41 ← library/alloc/src/vec/spec_extend.rs:18 ← library/alloc/src/vec/mod.rs:4052