Decision #247 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 1931 | c1 br 1933 | outcome |
|---|---|---|---|
| 13584 | T | * | T |
| 13585 | T | * | T |
| 21302 | T | * | T |
| 21303 | T | * | T |
| 29236 | T | * | T |
| 29237 | T | * | T |
| 35174 | T | * | T |
| 35175 | T | * | T |
| 53555 | T | * | T |
| 53556 | T | * | T |
| 63327 | T | * | T |
| 63328 | T | * | T |
| 93408 | T | * | T |
| 93409 | T | * | T |
| 112271 | T | * | T |
| 112272 | T | * | T |
Independent-effect pairs
c0(branch1931): GAP view gap →scry_analyze_core::Interp::loop_region· br_ifc1(branch1933): DEAD view gap →scry_analyze_core::Interp::loop_region· br_if
inlined: lib.rs:3947 ← library/alloc/src/vec/mod.rs:1004