Decision #977 — library/core/src/ptr/mod.rs:549
Status: partial
Truth table
| row | c0 br 6309 | c1 br 6310 | outcome |
|---|---|---|---|
| 33648 | T | * | T |
| 33649 | T | * | T |
| 33650 | T | * | T |
| 33651 | F | F | F |
| 33652 | T | * | T |
| 33653 | T | * | T |
| 33654 | T | * | T |
| 33655 | F | F | F |
| 54502 | T | * | T |
| 54503 | T | * | T |
| 54504 | T | * | T |
| 54505 | F | F | F |
| 54506 | T | * | T |
| 54507 | T | * | T |
| 54508 | T | * | T |
| 54509 | F | F | F |
| 125735 | T | * | T |
| 125736 | T | * | T |
| 125737 | T | * | T |
| 125738 | F | F | F |
| 125739 | T | * | T |
| 125740 | T | * | T |
| 125741 | T | * | T |
| 125742 | F | F | F |
| 125743 | T | * | T |
| 125744 | T | * | T |
| 125745 | T | * | T |
| 125746 | F | F | F |
| 125747 | T | * | T |
| 125748 | T | * | T |
| 125749 | T | * | T |
| 125750 | F | F | F |
| 125751 | T | * | T |
| 125752 | T | * | T |
| 125753 | T | * | T |
| 125754 | F | F | F |
| 125755 | T | * | T |
| 125756 | T | * | T |
| 125757 | T | * | T |
| 125758 | F | F | F |
| 125759 | T | * | T |
| 125760 | T | * | T |
| 125761 | T | * | T |
| 125762 | F | F | F |
| 125763 | T | * | T |
| 125764 | T | * | T |
| 125765 | T | * | T |
| 125766 | F | F | F |
| 142454 | T | * | T |
| 142455 | T | * | T |
| 142456 | T | * | T |
| 142457 | F | F | F |
| 142458 | T | * | T |
| 142459 | T | * | T |
| 142460 | T | * | T |
| 142461 | F | F | F |
| 142462 | T | * | T |
| 142463 | T | * | T |
| 142464 | T | * | T |
| 142465 | F | F | F |
| 142466 | T | * | T |
| 142467 | T | * | T |
| 142468 | T | * | T |
| 142469 | F | F | F |
| 142470 | T | * | T |
| 142471 | T | * | T |
| 142472 | T | * | T |
| 142473 | F | F | F |
| 142474 | T | * | T |
| 142475 | T | * | T |
| 142476 | T | * | T |
| 142477 | F | F | F |
| 142478 | T | * | T |
| 142479 | T | * | T |
| 142480 | T | * | T |
| 142481 | F | F | F |
| 142482 | T | * | T |
| 142483 | T | * | T |
| 142484 | T | * | T |
| 142485 | F | F | F |
| 240364 | T | * | T |
| 240365 | T | * | T |
| 240366 | T | * | T |
| 240367 | F | F | F |
| 240368 | T | * | T |
| 240369 | T | * | T |
| 240370 | T | * | T |
| 240371 | F | F | F |
| 317741 | T | * | T |
| 317742 | T | * | T |
| 317743 | T | * | T |
| 317744 | F | F | F |
| 317745 | T | * | T |
| 317746 | T | * | T |
| 317747 | T | * | T |
| 317748 | F | F | F |
Independent-effect pairs
c0(branch6309): PROVED — pair rows33648,33651(masking)scry_octagon::forget· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234c1(branch6310): GAP view gap →scry_octagon::forget· br_if