Decision #472 — lib.rs:2855
Status: no_witness
Truth table
| row | c0 br 3237 | c1 br 3238 | c2 br 3246 | outcome |
|---|---|---|---|---|
| 638 | F | * | * | F |
| 639 | F | * | * | F |
| 640 | F | * | * | F |
| 4432 | F | * | * | F |
| 4433 | F | * | * | F |
| 4434 | F | * | * | F |
| 8162 | F | * | * | F |
| 8163 | F | * | * | F |
| 8164 | F | * | * | F |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::build_static_call_graph — 3 br_if
c0(branch3237): GAP view gap →c1(branch3238): DEAD view gap →c2(branch3246): DEAD view gap →