Decision #474 — lib.rs:6273
Status: no_witness
Truth table
| row | c0 br 3267 | c1 br 3268 | c2 br 3277 | c3 br 3278 | c4 br 3279 | outcome |
|---|---|---|---|---|---|---|
| 644 | F | T | * | * | * | T |
| 645 | F | F | * | * | * | T |
| 646 | F | T | * | * | * | T |
| 647 | * | F | * | * | * | T |
| 648 | * | F | * | * | * | T |
| 649 | F | T | * | * | * | T |
| 650 | F | T | * | * | * | T |
| 651 | * | F | * | * | * | T |
| 652 | F | T | * | * | * | T |
| 653 | * | F | * | * | * | T |
| 654 | * | F | * | * | * | T |
| 655 | * | T | * | * | * | T |
| 4438 | F | T | * | * | * | T |
| 4439 | F | F | * | * | * | T |
| 4440 | F | T | * | * | * | T |
| 4441 | * | F | * | * | * | T |
| 4442 | * | F | * | * | * | T |
| 4443 | F | T | * | * | * | T |
| 4444 | F | T | * | * | * | T |
| 4445 | * | F | * | * | * | T |
| 4446 | F | T | * | * | * | T |
| 4447 | * | F | * | * | * | T |
| 4448 | * | F | * | * | * | T |
| 4449 | * | T | * | * | * | T |
| 8168 | F | T | * | * | * | T |
| 8169 | F | F | * | * | * | T |
| 8170 | F | T | * | * | * | T |
| 8171 | * | F | * | * | * | T |
| 8172 | * | F | * | * | * | T |
| 8173 | F | T | * | * | * | T |
| 8174 | F | T | * | * | * | T |
| 8175 | * | F | * | * | * | T |
| 8176 | F | T | * | * | * | T |
| 8177 | * | F | * | * | * | T |
| 8178 | * | F | * | * | * | T |
| 8179 | * | T | * | * | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::build_static_call_graph — 5 br_if
c0(branch3267): GAP view gap →c1(branch3268): GAP view gap →c2(branch3277): DEAD view gap →c3(branch3278): DEAD view gap →c4(branch3279): DEAD view gap →