Decision #596 — library/core/src/str/pattern.rs:1138
Status: partial
Truth table
| row | c0 br 4059 | c1 br 4060 | c2 br 4061 | c3 br 4062 | c4 br 4063 | outcome |
|---|---|---|---|---|---|---|
| 1394 | * | * | * | * | F | F |
| 1395 | * | * | * | * | T | T |
| 1396 | * | * | * | * | T | T |
| 1397 | * | * | * | * | F | F |
| 1398 | * | * | * | * | T | T |
| 1399 | * | * | * | * | T | T |
| 8354 | * | * | * | * | F | F |
| 8355 | * | * | * | * | T | T |
| 8356 | * | * | * | * | T | T |
| 8357 | * | * | * | * | F | F |
| 8358 | * | * | * | * | T | T |
| 8359 | * | * | * | * | T | T |
| 15155 | * | * | * | * | F | F |
| 15156 | * | * | * | * | T | T |
| 15157 | * | * | * | * | T | T |
| 15158 | * | * | * | * | F | F |
| 15159 | * | * | * | * | T | T |
| 15160 | * | * | * | * | T | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::build_static_call_graph — 5 br_if
c0(branch4059): DEAD view gap →c1(branch4060): DEAD view gap →c2(branch4061): DEAD view gap →c3(branch4062): DEAD view gap →c4(branch4063): PROVED — pair rows1394,1395(masking)