Decision #501 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 3393 | c1 br 3401 | outcome |
|---|---|---|---|
| 724 | * | T | T |
| 725 | * | T | T |
| 4518 | * | T | T |
| 4519 | * | T | T |
| 8248 | * | T | T |
| 8249 | * | T | T |
Independent-effect pairs
c0(branch3393): DEAD view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4489 ← library/alloc/src/vec/mod.rs:1004c1(branch3401): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if