Decision #623 — library/alloc/src/raw_vec/mod.rs:493
Status: no_witness
Truth table
| row | c0 br 4170 | c1 br 4171 | outcome |
|---|---|---|---|
| 1443 | T | * | T |
| 1444 | T | * | T |
| 1445 | F | F | T |
| 1446 | F | T | T |
| 8403 | T | * | T |
| 8404 | T | * | T |
| 8405 | T | * | T |
| 8406 | T | * | T |
| 15204 | T | * | T |
| 15205 | T | * | T |
| 15206 | F | F | T |
| 15207 | F | T | T |
Independent-effect pairs
c0(branch4170): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188c1(branch4171): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188