Decision #500 — `library/alloc/src/raw_vec/mod.rs:615`

Status: no_witness

Truth table

row	c0 br 3478	c1 br 3626	c2 br 3628	c3 br 3638	outcome
1015	F	*	*	*	T
7975	F	*	*	*	T
14776	F	*	*	*	T
21655	F	*	*	*	T
24398	F	*	*	*	T
27041	F	*	*	*	T
30611	F	*	*	*	T
51466	F	*	*	*	T
72391	F	*	*	*	T
82274	F	*	*	*	T
91937	F	*	*	*	T
99766	F	*	*	*	T
108255	F	*	*	*	T
116281	F	*	*	*	T
124348	F	*	*	*	T
141067	F	*	*	*	T
158188	F	*	*	*	T
168046	F	*	*	*	T
176441	F	*	*	*	T
181159	F	*	*	*	T
184478	F	*	*	*	T
187586	F	*	*	*	T
191120	F	*	*	*	T
196392	F	*	*	*	T
203247	F	*	*	*	T
207732	F	*	*	*	T
215602	F	*	*	*	T
224070	F	*	*	*	T
301447	F	*	*	*	T
377042	F	*	*	*	T
379699	F	*	*	*	T
382583	F	*	*	*	T

c0 (branch 3478): GAP view gap →
scry_analyze_core::compute_float_facts · br_if
inlined: lib.rs:3111 ← library/alloc/src/vec/mod.rs:2860 ← library/alloc/src/vec/mod.rs:1977 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610
c1 (branch 3626): DEAD view gap →
scry_analyze_core::compute_float_facts · br_if
inlined: library/alloc/src/vec/mod.rs:1873 ← library/alloc/src/vec/mod.rs:1977 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610
c2 (branch 3628): DEAD view gap →
scry_analyze_core::compute_float_facts · br_if
inlined: lib.rs:3052 ← library/alloc/src/vec/mod.rs:2860 ← library/alloc/src/vec/mod.rs:1977 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610
c3 (branch 3638): DEAD view gap →
scry_analyze_core::compute_float_facts · br_if
inlined: lib.rs:3117 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1042 ← library/alloc/src/vec/mod.rs:2061 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610