Decision #240 — lib.rs:3060
Status: no_witness
Truth table
| row | c0 br 1904 | c1 br 1906 | c2 br 1907 | c3 br 1908 | outcome |
|---|---|---|---|---|---|
| 13564 | * | * | F | F | T |
| 13565 | * | * | F | F | T |
| 13566 | * | * | F | F | T |
| 13567 | * | * | F | F | T |
| 21282 | * | * | F | F | T |
| 21283 | * | * | F | F | T |
| 21284 | * | * | F | F | T |
| 21285 | * | * | F | F | T |
| 29203 | * | * | F | T | T |
| 29204 | * | * | F | F | T |
| 29205 | * | * | F | T | T |
| 29206 | * | * | F | F | T |
| 35141 | * | * | F | T | T |
| 35142 | * | * | F | F | T |
| 35143 | * | * | F | T | T |
| 35144 | * | * | F | F | T |
| 53527 | * | * | F | F | T |
| 53528 | * | * | F | F | T |
| 53529 | * | * | F | F | T |
| 53530 | * | * | F | F | T |
| 63299 | * | * | F | F | T |
| 63300 | * | * | F | F | T |
| 63301 | * | * | F | F | T |
| 63302 | * | * | F | F | T |
| 93361 | * | * | F | F | T |
| 93362 | * | * | F | F | T |
| 93363 | * | * | F | F | T |
| 93364 | * | * | F | F | T |
| 93365 | * | * | F | F | T |
| 93366 | * | * | F | F | T |
| 93367 | * | * | F | F | T |
| 93368 | * | * | F | F | T |
| 112224 | * | * | F | F | T |
| 112225 | * | * | F | F | T |
| 112226 | * | * | F | F | T |
| 112227 | * | * | F | F | T |
| 112228 | * | * | F | F | T |
| 112229 | * | * | F | F | T |
| 112230 | * | * | F | F | T |
| 112231 | * | * | F | F | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::Interp::loop_region — 4 br_if
c0(branch1904): DEAD view gap →c1(branch1906): DEAD view gap →c2(branch1907): GAP view gap →c3(branch1908): GAP view gap →