Decision #576 — library/alloc/src/raw_vec/mod.rs:615
Status: no_witness
Truth table
| row | c0 br 3956 | c1 br 3967 | outcome |
|---|---|---|---|
| 1324 | F | * | T |
| 1325 | F | F | T |
| 1326 | * | F | T |
| 8284 | F | * | T |
| 8285 | F | F | T |
| 8286 | * | F | T |
| 15085 | F | * | T |
| 15086 | F | F | T |
| 15087 | * | F | T |
| 92196 | F | * | T |
| 92197 | F | * | T |
| 100025 | F | * | T |
| 100026 | F | * | T |
| 108514 | F | * | T |
| 108515 | F | * | T |
| 116540 | F | * | T |
| 116541 | F | * | T |
| 176638 | F | * | T |
| 196822 | F | * | T |
| 196823 | F | * | T |
| 215836 | T | * | T |
Independent-effect pairs
c0(branch3956): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if
inlined: library/alloc/src/vec/mod.rs:1873 ← library/alloc/src/vec/mod.rs:1977 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610c1(branch3967): GAP view gap →scry_analyze_core::resolved_stack_callees· br_if
inlined: lib.rs:6173 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1038 ← library/alloc/src/raw_vec/mod.rs:309