Decision #259 — library/core/src/ptr/mod.rs:1721
Status: no_witness
Truth table
| row | c0 br 1944 | c1 br 1948 | outcome |
|---|---|---|---|
| 9631 | T | T | T |
| 9632 | T | T | T |
| 9633 | T | T | T |
| 9634 | T | T | T |
| 10779 | T | T | T |
| 10780 | T | T | T |
| 10781 | T | T | T |
| 10782 | T | T | T |
| 11870 | T | T | T |
| 11871 | T | T | T |
| 11872 | T | T | T |
| 11873 | T | T | T |
| 13621 | T | T | T |
| 13622 | T | T | T |
| 13623 | T | T | T |
| 13624 | T | T | T |
| 13625 | T | T | T |
| 13626 | T | T | T |
| 21339 | T | T | T |
| 21340 | T | T | T |
| 21341 | T | T | T |
| 21342 | T | T | T |
| 21343 | T | T | T |
| 21344 | T | T | T |
| 29322 | T | T | T |
| 29323 | T | T | T |
| 29324 | T | T | T |
| 29325 | T | T | T |
| 29326 | T | T | T |
| 29327 | T | T | T |
| 29328 | T | T | T |
| 29329 | T | T | T |
| 29330 | T | T | T |
| 29331 | T | T | T |
| 29332 | T | T | T |
| 29333 | T | T | T |
| 29334 | T | T | T |
| 29335 | T | T | T |
| 29336 | T | T | T |
| 29337 | T | T | T |
| 35260 | T | T | T |
| 35261 | T | T | T |
| 35262 | T | T | T |
| 35263 | T | T | T |
| 35264 | T | T | T |
| 35265 | T | T | T |
| 35266 | T | T | T |
| 35267 | T | T | T |
| 35268 | T | T | T |
| 35269 | T | T | T |
| 35270 | T | T | T |
| 35271 | T | T | T |
| 35272 | T | T | T |
| 35273 | T | T | T |
| 35274 | T | T | T |
| 35275 | T | T | T |
| 40766 | T | T | T |
| 40767 | T | T | T |
| 40768 | T | T | T |
| 40769 | T | T | T |
| 40770 | T | T | T |
| 40771 | T | T | T |
| 40772 | T | T | T |
| 40773 | T | T | T |
| 43777 | T | T | T |
| 43778 | T | T | T |
| 43779 | T | T | T |
| 43780 | T | T | T |
| 43781 | T | T | T |
| 43782 | T | T | T |
| 43783 | T | T | T |
| 43784 | T | T | T |
| 47230 | T | T | T |
| 47231 | T | T | T |
| 47232 | T | T | T |
| 47233 | T | T | T |
| 47234 | T | T | T |
| 47235 | T | T | T |
| 47236 | T | T | T |
| 47237 | T | T | T |
| 50306 | T | T | T |
| 50307 | T | T | T |
| 50308 | T | T | T |
| 50309 | T | T | T |
| 50310 | T | T | T |
| 50311 | T | T | T |
| 50312 | T | T | T |
| 50313 | T | T | T |
| 53608 | T | T | T |
| 53609 | T | T | T |
| 53610 | T | T | T |
| 53611 | T | T | T |
| 53612 | T | T | T |
| 53613 | T | T | T |
| 53614 | T | T | T |
| 53615 | T | T | T |
| 63380 | T | T | T |
| 63381 | T | T | T |
| 63382 | T | T | T |
| 63383 | T | T | T |
| 63384 | T | T | T |
| 63385 | T | T | T |
| 63386 | T | T | T |
| 63387 | T | T | T |
| 73018 | T | T | T |
| 73019 | T | T | T |
| 73020 | T | T | T |
| 73021 | T | T | T |
| 73022 | T | T | T |
| 73023 | T | T | T |
| 73024 | T | T | T |
| 73025 | T | T | T |
| 73026 | T | T | T |
| 73027 | T | T | T |
| 73028 | T | T | T |
| 73029 | T | T | T |
| 76493 | T | T | T |
| 76494 | T | T | T |
| 76495 | T | T | T |
| 76496 | T | T | T |
| 76497 | T | T | T |
| 76498 | T | T | T |
| 76499 | T | T | T |
| 76500 | T | T | T |
| 76501 | T | T | T |
| 76502 | T | T | T |
| 76503 | T | T | T |
| 76504 | T | T | T |
| 80840 | T | T | T |
| 80841 | T | T | T |
| 82027 | T | T | T |
| 82028 | T | T | T |
| 83089 | T | T | T |
| 83090 | T | T | T |
| 93518 | T | T | T |
| 93519 | T | T | T |
| 93520 | T | T | T |
| 93521 | T | T | T |
| 93522 | T | T | T |
| 93523 | T | T | T |
| 93524 | T | T | T |
| 93525 | T | T | T |
| 93526 | T | T | T |
| 93527 | T | T | T |
| 93528 | T | T | T |
| 93529 | T | T | T |
| 93530 | T | T | T |
| 93531 | T | T | T |
| 93532 | T | T | T |
| 93533 | T | T | T |
| 93534 | T | T | T |
| 93535 | T | T | T |
| 112381 | T | T | T |
| 112382 | T | T | T |
| 112383 | T | T | T |
| 112384 | T | T | T |
| 112385 | T | T | T |
| 112386 | T | T | T |
| 112387 | T | T | T |
| 112388 | T | T | T |
| 112389 | T | T | T |
| 112390 | T | T | T |
| 112391 | T | T | T |
| 112392 | T | T | T |
| 112393 | T | T | T |
| 112394 | T | T | T |
| 112395 | T | T | T |
| 112396 | T | T | T |
| 112397 | T | T | T |
| 112398 | T | T | T |
| 130060 | T | T | T |
| 130061 | T | T | T |
| 131235 | T | T | T |
| 131236 | T | T | T |
| 132562 | T | T | T |
| 132563 | T | T | T |
Independent-effect pairs
c0(branch1944): GAP view gap →scry_analyze_core::i32_binop· br_if
inlined: src/digest.rs:127 ← src/digest.rs:86 ← src/lib.rs:101 ← src/core_api/ct_variable.rs:119 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c1(branch1948): GAP view gap →scry_analyze_core::i32_binop· br_if
inlined: src/digest.rs:127 ← src/digest.rs:86 ← src/lib.rs:101 ← src/lib.rs:308 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171