Decision #189 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 1582 | c1 br 1583 | c2 br 1584 | c3 br 1588 | c4 br 1589 | outcome |
|---|---|---|---|---|---|---|
| 565 | F | F | F | * | * | F |
| 566 | F | F | F | * | * | F |
| 567 | F | F | F | * | * | F |
| 3605 | F | F | F | * | * | F |
| 3606 | F | F | F | * | * | F |
| 3607 | F | F | F | * | * | F |
| 6550 | F | F | F | * | * | F |
| 6551 | F | F | F | * | * | F |
| 6552 | F | F | F | * | * | F |
Independent-effect pairs
c0(branch1582): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:4594 ← library/alloc/src/vec/mod.rs:1004c1(branch1583): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc2(branch1584): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc3(branch1588): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:4584 ← library/alloc/src/vec/mod.rs:1004c4(branch1589): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if