Decision #1362 — library/core/src/ptr/mod.rs:551
Status: partial
Truth table
| row | c0 br 2383 | c1 br 2384 | c2 br 2385 | outcome |
|---|
Independent-effect pairs
c0(branch2383): PROVED<scry_analyze_core::Interp>::seq· br_table_target
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch2384): PROVED<scry_analyze_core::Interp>::seq· br_table_target
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c2(branch2385): DEAD view gap →<scry_analyze_core::Interp>::seq· br_table_default
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252