Decision #104 — library/core/src/ptr/mod.rs:823
Status: no_witness
Truth table
| row | c0 br 605 | c1 br 606 | c2 br 608 | c3 br 610 | c4 br 611 | outcome |
|---|---|---|---|---|---|---|
| 100 | T | F | * | T | * | T |
| 7060 | T | F | * | T | * | T |
| 13798 | T | F | * | T | * | T |
| 21199 | T | F | * | T | * | T |
| 23942 | T | F | * | T | * | T |
| 26585 | T | F | * | T | * | T |
| 29476 | T | F | * | T | * | T |
| 50331 | T | F | * | T | * | T |
| 71041 | T | F | * | T | * | T |
| 80924 | T | F | * | T | * | T |
| 90737 | T | T | T | T | * | T |
| 98511 | T | T | T | T | * | T |
| 107005 | T | T | T | T | * | T |
| 115081 | T | T | T | T | * | T |
| 122965 | T | F | * | T | * | T |
| 139684 | T | F | * | T | * | T |
| 156335 | T | F | * | T | * | T |
| 166193 | T | F | * | T | * | T |
| 175979 | T | T | T | * | * | T |
| 175980 | * | * | T | T | * | T |
| 180755 | T | T | T | T | * | T |
| 184075 | T | T | T | T | * | T |
| 187182 | T | T | T | T | * | T |
| 190545 | T | F | * | T | * | T |
| 194859 | T | F | * | T | * | T |
| 202868 | T | F | * | T | * | T |
| 206202 | T | T | T | * | * | T |
| 206203 | * | * | T | T | * | T |
| 214533 | T | T | T | * | * | T |
| 214534 | * | * | T | T | * | T |
| 222196 | T | F | * | T | * | T |
| 299573 | T | F | * | T | * | T |
| 376712 | T | F | * | T | * | T |
| 379349 | T | F | * | T | * | T |
| 382233 | T | F | * | T | * | T |
Independent-effect pairs
c0(branch605): GAP view gap →<alloc::vec::Vec<(scry_analyze_core::Advisory, core::option::Option<&str>)>>::extend_trusted::<core::iter::adapters::zip::Zip<alloc::vec::into_iter::IntoIter<scry_analyze_core::Advisory>, alloc::vec::into_iter::IntoIter<core::option::Option<&str>>>>· br_ifc1(branch606): GAP view gap →<alloc::vec::Vec<(scry_analyze_core::Advisory, core::option::Option<&str>)>>::extend_trusted::<core::iter::adapters::zip::Zip<alloc::vec::into_iter::IntoIter<scry_analyze_core::Advisory>, alloc::vec::into_iter::IntoIter<core::option::Option<&str>>>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c2(branch608): GAP view gap →<alloc::vec::Vec<(scry_analyze_core::Advisory, core::option::Option<&str>)>>::extend_trusted::<core::iter::adapters::zip::Zip<alloc::vec::into_iter::IntoIter<scry_analyze_core::Advisory>, alloc::vec::into_iter::IntoIter<core::option::Option<&str>>>>· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818c3(branch610): GAP view gap →<alloc::vec::Vec<(scry_analyze_core::Advisory, core::option::Option<&str>)>>::extend_trusted::<core::iter::adapters::zip::Zip<alloc::vec::into_iter::IntoIter<scry_analyze_core::Advisory>, alloc::vec::into_iter::IntoIter<core::option::Option<&str>>>>· br_if
inlined: library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818c4(branch611): DEAD view gap →<alloc::vec::Vec<(scry_analyze_core::Advisory, core::option::Option<&str>)>>::extend_trusted::<core::iter::adapters::zip::Zip<alloc::vec::into_iter::IntoIter<scry_analyze_core::Advisory>, alloc::vec::into_iter::IntoIter<core::option::Option<&str>>>>· br_if
inlined: library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823