Decision #499 — `library/alloc/src/raw_vec/mod.rs:614`

Status: no_witness

Truth table

row	c0 br 3351	c1 br 3370	c2 br 3384	c3 br 3394	outcome
716	T	F	*	*	T
717	T	T	*	*	T
718	F	F	*	*	T
719	F	T	*	*	T
4510	T	F	*	*	T
4511	T	T	*	*	T
4512	T	F	*	*	T
4513	T	T	*	*	T
8240	T	F	*	*	T
8241	T	T	*	*	T
8242	F	F	*	*	T
8243	F	T	*	*	T

c0 (branch 3351): GAP view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:6326 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309
c1 (branch 3370): GAP view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: library/core/src/option.rs:1162 ← lib.rs:4958 ← library/alloc/src/vec/mod.rs:3787 ← library/alloc/src/vec/mod.rs:1864 ← library/alloc/src/vec/mod.rs:1968 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609
c2 (branch 3384): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:5926 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2052 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609
c3 (branch 3394): DEAD view gap →
scry_analyze_core::emit_call_indirect_edge · br_if
inlined: lib.rs:4484 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2052 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609