Decision #250 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 1847 | c1 br 1848 | c2 br 1849 | c3 br 1851 | outcome |
|---|---|---|---|---|---|
| 13592 | T | T | T | T | T |
| 13593 | T | T | T | T | T |
| 21310 | T | T | T | T | T |
| 21311 | T | T | T | T | T |
| 29253 | T | T | T | T | T |
| 29254 | T | T | T | T | T |
| 29255 | T | T | T | T | T |
| 29256 | T | T | T | T | T |
| 29257 | T | T | T | T | T |
| 29258 | T | T | T | T | T |
| 29259 | T | T | T | T | T |
| 29260 | T | T | T | T | T |
| 29261 | T | T | T | T | T |
| 29262 | T | T | T | T | T |
| 35191 | T | T | T | T | T |
| 35192 | T | T | T | T | T |
| 35193 | T | T | T | T | T |
| 35194 | T | T | T | T | T |
| 35195 | T | T | T | T | T |
| 35196 | T | T | T | T | T |
| 35197 | T | T | T | T | T |
| 35198 | T | T | T | T | T |
| 35199 | T | T | T | T | T |
| 35200 | T | T | T | T | T |
| 53565 | T | T | T | T | T |
| 53566 | T | T | T | T | T |
| 53567 | T | T | T | T | T |
| 53568 | T | T | T | T | T |
| 63337 | T | T | T | T | T |
| 63338 | T | T | T | T | T |
| 63339 | T | T | T | T | T |
| 63340 | T | T | T | T | T |
| 93431 | T | T | T | T | T |
| 93432 | T | T | T | T | T |
| 93433 | T | T | T | T | T |
| 93434 | T | T | T | T | T |
| 93435 | T | T | T | T | T |
| 93436 | T | T | T | T | T |
| 93437 | T | T | T | T | T |
| 93438 | T | T | T | T | T |
| 93439 | T | T | T | T | T |
| 93440 | T | T | T | T | T |
| 93441 | T | T | T | T | T |
| 93442 | T | T | T | T | T |
| 112294 | T | T | T | T | T |
| 112295 | T | T | T | T | T |
| 112296 | T | T | T | T | T |
| 112297 | T | T | T | T | T |
| 112298 | T | T | T | T | T |
| 112299 | T | T | T | T | T |
| 112300 | T | T | T | T | T |
| 112301 | T | T | T | T | T |
| 112302 | T | T | T | T | T |
| 112303 | T | T | T | T | T |
| 112304 | T | T | T | T | T |
| 112305 | T | T | T | T | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::Interp::loop_region — 4 br_if
c0(branch1847): GAP view gap →c1(branch1848): GAP view gap →c2(branch1849): GAP view gap →c3(branch1851): GAP view gap →