Decision #421 — library/alloc/src/raw_vec/mod.rs:425
Status: no_witness
Truth table
| row | c0 br 2928 | c1 br 2929 | outcome |
|---|---|---|---|
| 91695 | * | T | T |
| 91696 | * | T | T |
| 99472 | * | T | T |
| 99473 | * | T | T |
| 107961 | * | T | T |
| 107962 | * | T | T |
| 116039 | * | T | T |
| 116040 | * | T | T |
Independent-effect pairs
c0(branch2928): DEAD view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2929): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:5374 ← lib.rs:1503 ← library/core/src/iter/traits/iterator.rs:2090 ← library/alloc/src/vec/mod.rs:3941 ← library/alloc/src/vec/in_place_collect.rs:245 ← library/alloc/src/vec/in_place_collect.rs:334 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/into_iter.rs:600 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/into_iter.rs:589 ← library/alloc/src/vec/into_iter.rs:203 ← library/core/src/ptr/mod.rs:823