Decision #1004 — library/core/src/ptr/mut_ptr.rs:970
Status: no_witness
Truth table
| row | c0 br 6369 | c1 br 6370 | c2 br 6371 | c3 br 6405 | outcome |
|---|---|---|---|---|---|
| 38125 | F | T | * | * | T |
| 38126 | F | T | * | * | T |
| 38127 | F | T | * | * | T |
| 38128 | F | T | * | * | T |
| 38129 | F | T | * | * | T |
| 38130 | F | T | * | * | T |
| 58979 | F | T | * | * | T |
| 58980 | F | T | * | * | T |
| 58981 | F | T | * | * | T |
| 58982 | F | T | * | * | T |
| 58983 | F | T | * | * | T |
| 58984 | F | T | * | * | T |
| 74689 | F | T | * | * | T |
| 74690 | F | T | * | * | T |
| 74691 | F | T | * | * | T |
| 74692 | F | T | * | * | T |
| 74693 | F | T | * | * | T |
| 74694 | F | T | * | * | T |
| 74695 | F | T | * | * | T |
| 74696 | F | T | * | * | T |
| 74697 | F | T | * | * | T |
| 74698 | F | T | * | * | T |
| 74699 | F | T | * | * | T |
| 74700 | F | T | * | * | T |
| 74701 | F | T | * | * | T |
| 74702 | F | T | * | * | T |
| 84572 | F | T | * | * | T |
| 84573 | F | T | * | * | T |
| 84574 | F | T | * | * | T |
| 84575 | F | T | * | * | T |
| 84576 | F | T | * | * | T |
| 84577 | F | T | * | * | T |
| 84578 | F | T | * | * | T |
| 84579 | F | T | * | * | T |
| 84580 | F | T | * | * | T |
| 84581 | F | T | * | * | T |
| 84582 | F | T | * | * | T |
| 84583 | F | T | * | * | T |
| 84584 | F | T | * | * | T |
| 84585 | F | T | * | * | T |
| 131330 | F | T | * | * | T |
| 131331 | F | T | * | * | T |
| 131332 | F | T | * | * | T |
| 131333 | F | T | * | * | T |
| 131334 | F | T | * | * | T |
| 131335 | F | T | * | * | T |
| 131336 | F | T | * | * | T |
| 131337 | F | T | * | * | T |
| 148049 | F | T | * | * | T |
| 148050 | F | T | * | * | T |
| 148051 | F | T | * | * | T |
| 148052 | F | T | * | * | T |
| 148053 | F | T | * | * | T |
| 148054 | F | T | * | * | T |
| 148055 | F | T | * | * | T |
| 148056 | F | T | * | * | T |
| 251121 | F | T | * | * | T |
| 251122 | F | T | * | * | T |
| 251123 | F | T | * | * | T |
| 251124 | F | T | * | * | T |
| 251125 | F | T | * | * | T |
| 251126 | F | T | * | * | T |
| 251127 | F | T | * | * | T |
| 251128 | F | T | * | * | T |
| 251129 | F | T | * | * | T |
| 251130 | F | T | * | * | T |
| 251131 | F | T | * | * | T |
| 251132 | F | T | * | * | T |
| 251133 | F | T | * | * | T |
| 251134 | F | T | * | * | T |
| 251135 | F | T | * | * | T |
| 251136 | F | T | * | * | T |
| 251137 | F | T | * | * | T |
| 251138 | F | T | * | * | T |
| 251139 | F | T | * | * | T |
| 251140 | F | T | * | * | T |
| 328498 | F | T | * | * | T |
| 328499 | F | T | * | * | T |
| 328500 | F | T | * | * | T |
| 328501 | F | T | * | * | T |
| 328502 | F | T | * | * | T |
| 328503 | F | T | * | * | T |
| 328504 | F | T | * | * | T |
| 328505 | F | T | * | * | T |
| 328506 | F | T | * | * | T |
| 328507 | F | T | * | * | T |
| 328508 | F | T | * | * | T |
| 328509 | F | T | * | * | T |
| 328510 | F | T | * | * | T |
| 328511 | F | T | * | * | T |
| 328512 | F | T | * | * | T |
| 328513 | F | T | * | * | T |
| 328514 | F | T | * | * | T |
| 328515 | F | T | * | * | T |
| 328516 | F | T | * | * | T |
| 328517 | F | T | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_octagon::assign_add_const — 4 br_if
c0(branch6369): GAP view gap →c1(branch6370): GAP view gap →c2(branch6371): DEAD view gap →c3(branch6405): DEAD view gap →