Decision #295 — `library/core/src/ptr/mod.rs:1733`

Status: no_witness

Truth table

row	c0 br 1746	c1 br 1748	c2 br 1758	c3 br 1759	outcome
11736	F	*	*	*	F
13112	F	*	*	*	F
14437	F	*	*	*	F
87478	F	*	*	*	F
87479	F	*	*	*	F
91746	F	*	*	*	F
91747	F	*	*	*	F

c0 (branch 1746): GAP view gap →
scry_analyze_core::compute_bit_facts · br_if
c1 (branch 1748): DEAD view gap →
scry_analyze_core::compute_bit_facts · br_if
inlined: lib.rs:3182 ← library/alloc/src/vec/mod.rs:2850
c2 (branch 1758): DEAD view gap →
scry_analyze_core::compute_bit_facts · br_if
c3 (branch 1759): DEAD view gap →
scry_analyze_core::compute_bit_facts · br_if
inlined: lib.rs:2583 ← lib.rs:3182 ← library/alloc/src/vec/mod.rs:2850