Decision #459 — library/alloc/src/vec/mod.rs:1035
Status: no_witness
Truth table
| row | c0 br 3012 | c1 br 3016 | c2 br 3030 | c3 br 3053 | c4 br 3055 | c5 br 3062 | outcome |
|---|---|---|---|---|---|---|---|
| 91921 | * | * | * | * | * | F | T |
| 99698 | * | * | * | * | * | F | T |
| 108187 | * | * | * | * | * | F | T |
| 116265 | * | * | * | * | * | F | T |
| 176416 | * | * | * | F | F | * | T |
| 176417 | * | * | * | F | T | * | T |
| 207711 | * | * | * | F | F | * | T |
| 207712 | * | * | * | F | T | * | T |
| 215591 | * | * | * | F | F | T | T |
Independent-effect pairs
c0(branch3012): DEAD view gap →scry_analyze_core::compute_advisories· br_ifc1(branch3016): DEAD view gap →scry_analyze_core::compute_advisories· br_ifc2(branch3030): DEAD view gap →scry_analyze_core::compute_advisories· br_if
inlined: lib.rs:4506 ← library/alloc/src/vec/mod.rs:1002c3(branch3053): GAP view gap →scry_analyze_core::compute_advisories· br_ifc4(branch3055): GAP view gap →scry_analyze_core::compute_advisories· br_ifc5(branch3062): GAP view gap →scry_analyze_core::compute_advisories· br_if