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

Status: no_witness

Truth table

row	c0 br 4196	c1 br 4213	c2 br 4219	outcome
1447	F	*	F	T
1448	F	*	F	T
8407	F	*	F	T
8408	F	*	F	T
15208	F	*	F	T
15209	F	*	F	T

c0 (branch 4196): GAP view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:6716 ← library/alloc/src/vec/mod.rs:3990 ← library/alloc/src/vec/mod.rs:3797 ← 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
c1 (branch 4213): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:6247 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1038 ← library/alloc/src/raw_vec/mod.rs:309
c2 (branch 4219): GAP view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: 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