Decision #311 — `library/core/src/ptr/mod.rs:825`

Status: partial

Truth table

row	c0 br 1835	c1 br 1836	c2 br 1837	c3 br 1838	c4 br 1849	outcome
11743	T	*	*	*	*	T
11744	T	*	*	*	*	T
13119	T	*	*	*	*	T
13120	T	*	*	*	*	T
14444	T	*	*	*	*	T
14445	T	*	*	*	*	T
47335	F	F	T	F	*	F
47336	F	F	T	F	*	F
51463	F	F	T	F	*	F
51464	F	F	T	F	*	F
56001	F	F	T	F	*	F
56002	F	F	T	F	*	F
60259	F	F	T	F	*	F
60260	F	F	T	F	*	F
87500	T	*	*	*	*	T
87501	T	*	*	*	*	T
87502	T	*	*	*	*	T
87503	T	*	*	*	*	T
87504	T	*	*	*	*	T
87505	T	*	*	*	*	T
91768	T	*	*	*	*	T
91769	T	*	*	*	*	T
91770	T	*	*	*	*	T
91771	T	*	*	*	*	T
91772	T	*	*	*	*	T
91773	T	*	*	*	*	T
97816	T	*	*	*	*	T
99334	T	*	*	*	*	T
100749	T	*	*	*	*	T
163068	F	F	T	F	*	F
164623	F	F	T	F	*	F
166345	F	F	T	F	*	F

c0 (branch 1835): PROVED — pair rows 11743, 47335 (masking)
<scry_bits::BitsCong>::reduce · br_if
inlined: lib.rs:4366 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c1 (branch 1836): GAP view gap →
<scry_bits::BitsCong>::reduce · br_if
inlined: lib.rs:4366 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c2 (branch 1837): GAP view gap →
<scry_bits::BitsCong>::reduce · br_if
inlined: lib.rs:4366 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825
c3 (branch 1838): GAP view gap →
<scry_bits::BitsCong>::reduce · br_if
inlined: lib.rs:4366 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820
c4 (branch 1849): DEAD view gap →
<scry_bits::BitsCong>::reduce · br_if
inlined: lib.rs:4366