Decision #588 — library/alloc/src/vec/mod.rs:1035
Status: no_witness
Truth table
| row | c0 br 4011 | c1 br 4014 | c2 br 4015 | c3 br 4016 | outcome |
|---|---|---|---|---|---|
| 1363 | F | * | * | * | F |
| 1364 | F | F | * | * | F |
| 1365 | F | F | * | * | F |
| 1366 | * | F | * | * | F |
| 8323 | F | * | * | * | F |
| 8324 | F | F | * | * | F |
| 8325 | F | F | * | * | F |
| 8326 | * | F | * | * | F |
| 15124 | F | * | * | * | F |
| 15125 | F | F | * | * | F |
| 15126 | F | F | * | * | F |
| 15127 | * | F | * | * | F |
Independent-effect pairs
c0(branch4011): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch4014): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:3203 ← library/alloc/src/vec/mod.rs:1002c2(branch4015): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc3(branch4016): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if