Decision #473 — lib.rs:2935
Status: partial
Truth table
| row | c0 br 3253 | c1 br 3254 | outcome |
|---|---|---|---|
| 641 | * | F | F |
| 642 | * | T | T |
| 643 | * | T | T |
| 4435 | * | F | F |
| 4436 | * | T | T |
| 4437 | * | T | T |
| 8165 | * | F | F |
| 8166 | * | T | T |
| 8167 | * | T | T |
Independent-effect pairs
c0(branch3253): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch3254): PROVED — pair rows641,642(masking)scry_analyze_core::build_static_call_graph· br_if