Decision #28 — `library/alloc/src/raw_vec/mod.rs:424`

Status: no_witness

Truth table

row	c0 br 193	c1 br 194	c2 br 195	c3 br 196	c4 br 197	outcome
28	T	*	*	*	*	T
3822	T	*	*	*	*	T
7505	T	*	*	*	*	T
11670	T	*	*	*	*	T
13046	T	*	*	*	*	T
14371	T	*	*	*	*	T
15759	T	*	*	*	*	T
25239	T	*	*	*	*	T
34665	T	*	*	*	*	T
40878	T	*	*	*	*	T
47104	T	*	*	*	*	T
51232	T	*	*	*	*	T
55770	T	*	*	*	*	T
60028	T	*	*	*	*	T
64152	T	*	*	*	*	T
75665	T	*	*	*	*	T
87199	T	*	*	*	*	T
91467	T	*	*	*	*	T
95705	T	*	*	*	*	T
97757	T	*	*	*	*	T
99275	T	*	*	*	*	T
100690	T	*	*	*	*	T
102213	T	*	*	*	*	T
104710	T	*	*	*	*	T
108693	T	*	*	*	*	T
110667	T	*	*	*	*	T
113974	T	*	*	*	*	T
117138	T	*	*	*	*	T
140074	T	*	*	*	*	T
162996	T	*	*	*	*	T
164551	T	*	*	*	*	T
166273	T	*	*	*	*	T

c0 (branch 193): GAP view gap →
<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}> · br_if
inlined: lib.rs:4792 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c1 (branch 194): DEAD view gap →
<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}> · br_if
c2 (branch 195): DEAD view gap →
<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}> · br_if
c3 (branch 196): DEAD view gap →
<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}> · br_if
c4 (branch 197): DEAD view gap →
<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}> · br_if