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

Status: partial

Truth table

row	c0 br 1541	c1 br 1542	c2 br 1543	c3 br 1544	c4 br 1545	c5 br 1546	c6 br 1547	outcome

c0 (branch 1541): PROVED
scry_analyze_core::refine_interval · br_table_target
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850
c1 (branch 1542): DEAD view gap →
scry_analyze_core::refine_interval · br_table_target
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850
c2 (branch 1543): DEAD view gap →
scry_analyze_core::refine_interval · br_table_target
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850
c3 (branch 1544): DEAD view gap →
scry_analyze_core::refine_interval · br_table_target
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850
c4 (branch 1545): DEAD view gap →
scry_analyze_core::refine_interval · br_table_target
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850
c5 (branch 1546): PROVED
scry_analyze_core::refine_interval · br_table_target
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850
c6 (branch 1547): DEAD view gap →
scry_analyze_core::refine_interval · br_table_default
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850