Decision #486 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 3236 | c1 br 3239 | c2 br 3240 | c3 br 3241 | outcome |
|---|---|---|---|---|---|
| 683 | T | * | * | * | T |
| 684 | F | * | * | * | T |
| 685 | T | * | * | * | T |
| 686 | F | * | * | * | T |
| 687 | F | * | * | * | T |
| 688 | T | * | * | * | T |
| 4477 | T | * | * | * | T |
| 4478 | F | * | * | * | T |
| 4479 | T | * | * | * | T |
| 4480 | F | * | * | * | T |
| 4481 | F | * | * | * | T |
| 4482 | T | * | * | * | T |
| 8207 | T | * | * | * | T |
| 8208 | F | * | * | * | T |
| 8209 | T | * | * | * | T |
| 8210 | F | * | * | * | T |
| 8211 | F | * | * | * | T |
| 8212 | T | * | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::build_static_call_graph — 4 br_if
c0(branch3236): GAP view gap →c1(branch3239): DEAD view gap →c2(branch3240): DEAD view gap →c3(branch3241): DEAD view gap →