Decision #500 — library/alloc/src/vec/mod.rs:1040
Status: no_witness
Truth table
| row | c0 br 3347 | c1 br 3352 | c2 br 3355 | outcome |
|---|---|---|---|---|
| 720 | F | * | T | T |
| 721 | F | * | T | T |
| 722 | F | F | T | T |
| 723 | F | T | T | T |
| 4514 | F | * | T | T |
| 4515 | F | * | T | T |
| 4516 | F | * | T | T |
| 4517 | F | * | T | T |
| 8244 | F | * | T | T |
| 8245 | F | * | T | T |
| 8246 | F | F | T | T |
| 8247 | F | T | T | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::emit_call_indirect_edge — 3 br_if
c0(branch3347): GAP view gap →c1(branch3352): GAP view gap →c2(branch3355): GAP view gap →