Decision #387 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 2453 | c1 br 2454 | c2 br 2458 | outcome |
|---|---|---|---|---|
| 47714 | * | * | F | T |
| 51842 | * | * | F | T |
| 56380 | * | * | F | T |
| 60638 | * | * | F | T |
| 95935 | F | F | * | T |
| 95936 | F | F | * | T |
| 111349 | F | F | * | T |
| 111350 | F | F | * | T |
| 114385 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_advisories — 3 br_if
c0(branch2453): GAP view gap →c1(branch2454): GAP view gap →c2(branch2458): GAP view gap →