Decision #180 — `library/core/src/ptr/mod.rs:549`

Status: no_witness

Truth table

row	c0 br 1003	c1 br 1005	c2 br 1007	outcome
176001	F	*	*	F
206255	F	*	*	F
214565	*	F	*	F

c0 (branch 1003): GAP view gap →
core::slice::sort::shared::smallsort::insertion_sort_shift_left::<(scry_analyze_core::Advisory, core::option::Option<&str>), <[(scry_analyze_core::Advisory, core::option::Option<&str>)]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:254 ← library/core/src/slice/sort/shared/smallsort.rs:647
c1 (branch 1005): GAP view gap →
core::slice::sort::shared::smallsort::insertion_sort_shift_left::<(scry_analyze_core::Advisory, core::option::Option<&str>), <[(scry_analyze_core::Advisory, core::option::Option<&str>)]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:254 ← library/core/src/slice/sort/shared/smallsort.rs:649
c2 (branch 1007): DEAD view gap →
core::slice::sort::shared::smallsort::insertion_sort_shift_left::<(scry_analyze_core::Advisory, core::option::Option<&str>), <[(scry_analyze_core::Advisory, core::option::Option<&str>)]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}> · br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:254 ← library/core/src/slice/sort/shared/smallsort.rs:650