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

Status: no_witness

Truth table

row	c0 br 2423	c1 br 2438	outcome
176294	*	F	T
176295	*	F	T
207153	*	F	T
207154	*	F	T
215308	*	F	T

c0 (branch 2423): DEAD view gap →
scry_analyze_core::run_function_body · br_if
inlined: lib.rs:5725 ← 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
c1 (branch 2438): GAP view gap →
scry_analyze_core::run_function_body · br_if
inlined: lib.rs:5732 ← 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