Decision #188 — library/alloc/src/raw_vec/mod.rs:434
Status: partial
Truth table
| row | c0 br 1630 | c1 br 1631 | outcome |
|---|---|---|---|
| 559 | * | F | F |
| 560 | * | T | T |
| 561 | * | T | T |
| 562 | * | F | F |
| 563 | * | T | T |
| 564 | * | T | T |
| 3599 | * | F | F |
| 3600 | * | T | T |
| 3601 | * | T | T |
| 3602 | * | F | F |
| 3603 | * | T | T |
| 3604 | * | T | T |
| 6544 | * | F | F |
| 6545 | * | T | T |
| 6546 | * | T | T |
| 6547 | * | F | F |
| 6548 | * | T | T |
| 6549 | * | T | T |
Independent-effect pairs
c0(branch1630): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch1631): PROVED — pair rows559,560(masking)scry_analyze_core::build_static_call_graph· br_if