Decision #471 — library/alloc/src/vec/mod.rs:1039
Status: no_witness
Truth table
| row | c0 br 3103 | c1 br 3105 | outcome |
|---|---|---|---|
| 176420 | T | * | T |
| 176421 | T | * | T |
| 176422 | T | * | T |
| 176423 | T | * | T |
| 207715 | T | * | T |
| 207716 | T | * | T |
| 207717 | T | * | T |
| 207718 | T | * | T |
| 215593 | F | F | T |
| 215594 | F | F | T |
Independent-effect pairs
c0(branch3103): GAP view gap →<scry_analyze_core::FuncCtx>::scrub_to_top· br_if
inlined: lib.rs:0 ← library/alloc/src/vec/mod.rs:1002c1(branch3105): GAP view gap →<scry_analyze_core::FuncCtx>::scrub_to_top· br_if