Decision #458 — `library/alloc/src/raw_vec/mod.rs:435`

Status: no_witness

Truth table

row	c0 br 3018	c1 br 3019	c2 br 3020	c3 br 3028	c4 br 3039	c5 br 3042	c6 br 3043	c7 br 3057	c8 br 3060	outcome
989	*	*	T	*	*	*	*	T	*	T
7949	*	*	T	*	*	*	*	T	*	T
14690	*	*	T	*	*	*	*	T	*	T
21649	*	*	T	*	*	*	*	T	*	T
24392	*	*	T	*	*	*	*	T	*	T
27035	*	*	T	*	*	*	*	T	*	T
30603	*	*	T	*	*	*	*	T	*	T
51458	*	*	T	*	*	*	*	T	*	T
72385	*	*	T	*	*	*	*	T	*	T
82268	*	*	T	*	*	*	*	T	*	T
91920	*	*	T	*	*	*	*	F	F	T
99697	*	*	T	*	*	*	*	F	F	T
108186	*	*	T	*	*	*	*	F	F	T
116264	*	*	T	*	*	*	*	F	F	T
124334	*	*	T	*	*	*	*	T	*	T
141053	*	*	T	*	*	*	*	T	*	T
158137	*	*	T	*	*	*	*	T	*	T
167995	*	*	T	*	*	*	*	T	*	T
176415	*	*	T	*	*	*	*	T	*	T
181136	*	*	F	F	*	*	*	T	*	T
184456	*	*	F	F	*	*	*	T	*	T
187563	*	*	F	F	*	*	*	T	*	T
191114	*	*	T	*	*	*	*	T	*	T
196378	*	*	T	*	*	*	*	T	*	T
203241	*	*	T	*	*	*	*	T	*	T
207710	*	*	T	*	*	*	*	T	*	T
215590	*	*	T	*	*	*	*	F	F	T
224061	*	*	T	*	*	*	*	T	*	T
301438	*	*	T	*	*	*	*	T	*	T
377036	*	*	T	*	*	*	*	T	*	T
379673	*	*	T	*	*	*	*	T	*	T
382557	*	*	T	*	*	*	*	T	*	T

All 9 conditions live in scry_analyze_core::compute_advisories — 9 br_if