Decision #300 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 2264 | c1 br 2276 | outcome |
|---|---|---|---|
| 871 | * | T | T |
| 872 | * | T | T |
| 873 | * | T | T |
| 874 | * | T | T |
| 875 | * | T | T |
| 876 | * | T | T |
| 877 | * | T | T |
| 878 | * | T | T |
| 879 | * | T | T |
| 880 | * | T | T |
| 881 | * | T | T |
| 882 | * | T | T |
| 3911 | * | T | T |
| 3912 | * | T | T |
| 3913 | * | T | T |
| 3914 | * | T | T |
| 3915 | * | T | T |
| 3916 | * | T | T |
| 3917 | * | T | T |
| 3918 | * | T | T |
| 3919 | * | T | T |
| 3920 | * | T | T |
| 3921 | * | T | T |
| 3922 | * | T | T |
| 6856 | * | T | T |
| 6857 | * | T | T |
| 6858 | * | T | T |
| 6859 | * | T | T |
| 6860 | * | T | T |
| 6861 | * | T | T |
| 6862 | * | T | T |
| 6863 | * | T | T |
| 6864 | * | T | T |
| 6865 | * | T | T |
| 6866 | * | T | T |
| 6867 | * | T | T |
| 9693 | * | T | T |
| 9694 | * | T | T |
| 9695 | * | T | T |
| 9696 | * | T | T |
| 9697 | * | T | T |
| 9698 | * | T | T |
| 10841 | * | T | T |
| 10842 | * | T | T |
| 10843 | * | T | T |
| 10844 | * | T | T |
| 10845 | * | T | T |
| 10846 | * | T | T |
| 11932 | * | T | T |
| 11933 | * | T | T |
| 11934 | * | T | T |
| 11935 | * | T | T |
| 11936 | * | T | T |
| 11937 | * | T | T |
| 13708 | * | T | T |
| 13709 | * | T | T |
| 13710 | * | T | T |
| 13711 | * | T | T |
| 13712 | * | T | T |
| 13713 | * | T | T |
| 13714 | * | T | T |
| 13715 | * | T | T |
| 13716 | * | T | T |
| 13717 | * | T | T |
| 13718 | * | T | T |
| 13719 | * | T | T |
| 13720 | * | T | T |
| 13721 | * | T | T |
| 13722 | * | T | T |
| 13723 | * | T | T |
| 21426 | * | T | T |
| 21427 | * | T | T |
| 21428 | * | T | T |
| 21429 | * | T | T |
| 21430 | * | T | T |
| 21431 | * | T | T |
| 21432 | * | T | T |
| 21433 | * | T | T |
| 21434 | * | T | T |
| 21435 | * | T | T |
| 21436 | * | T | T |
| 21437 | * | T | T |
| 21438 | * | T | T |
| 21439 | * | T | T |
| 21440 | * | T | T |
| 21441 | * | T | T |
| 29437 | * | T | T |
| 29438 | * | T | T |
| 29439 | * | T | T |
| 29440 | * | T | T |
| 29441 | * | T | T |
| 29442 | * | T | T |
| 29443 | * | T | T |
| 29444 | * | T | T |
| 29445 | * | T | T |
| 29446 | * | T | T |
| 29447 | * | T | T |
| 29448 | * | T | T |
| 29449 | * | T | T |
| 29450 | * | T | T |
| 29451 | * | T | T |
| 35375 | * | T | T |
| 35376 | * | T | T |
| 35377 | * | T | T |
| 35378 | * | T | T |
| 35379 | * | T | T |
| 35380 | * | T | T |
| 35381 | * | T | T |
| 35382 | * | T | T |
| 35383 | * | T | T |
| 35384 | * | T | T |
| 35385 | * | T | T |
| 35386 | * | T | T |
| 35387 | * | T | T |
| 35388 | * | T | T |
| 35389 | * | T | T |
| 40900 | * | T | T |
| 40901 | * | T | T |
| 40902 | * | T | T |
| 40903 | * | T | T |
| 40904 | * | T | T |
| 40905 | * | T | T |
| 40906 | * | T | T |
| 40907 | * | T | T |
| 40908 | * | T | T |
| 40909 | * | T | T |
| 40910 | * | T | T |
| 40911 | * | T | T |
| 40912 | * | T | T |
| 40913 | * | T | T |
| 43911 | * | T | T |
| 43912 | * | T | T |
| 43913 | * | T | T |
| 43914 | * | T | T |
| 43915 | * | T | T |
| 43916 | * | T | T |
| 43917 | * | T | T |
| 43918 | * | T | T |
| 43919 | * | T | T |
| 43920 | * | T | T |
| 43921 | * | T | T |
| 43922 | * | T | T |
| 43923 | * | T | T |
| 43924 | * | T | T |
| 47364 | * | T | T |
| 47365 | * | T | T |
| 47366 | * | T | T |
| 47367 | * | T | T |
| 47368 | * | T | T |
| 47369 | * | T | T |
| 47370 | * | T | T |
| 47371 | * | T | T |
| 47372 | * | T | T |
| 47373 | * | T | T |
| 47374 | * | T | T |
| 47375 | * | T | T |
| 47376 | * | T | T |
| 47377 | * | T | T |
| 50440 | * | T | T |
| 50441 | * | T | T |
| 50442 | * | T | T |
| 50443 | * | T | T |
| 50444 | * | T | T |
| 50445 | * | T | T |
| 50446 | * | T | T |
| 50447 | * | T | T |
| 50448 | * | T | T |
| 50449 | * | T | T |
| 50450 | * | T | T |
| 50451 | * | T | T |
| 50452 | * | T | T |
| 50453 | * | T | T |
| 53701 | * | T | T |
| 53702 | * | T | T |
| 53703 | * | T | T |
| 53704 | * | T | T |
| 53705 | * | T | T |
| 53706 | * | T | T |
| 53707 | * | T | T |
| 53708 | * | T | T |
| 53709 | * | T | T |
| 53710 | * | T | T |
| 53711 | * | T | T |
| 53712 | * | T | T |
| 53713 | * | T | T |
| 53714 | * | T | T |
| 53715 | * | T | T |
| 53716 | * | T | T |
| 63473 | * | T | T |
| 63474 | * | T | T |
| 63475 | * | T | T |
| 63476 | * | T | T |
| 63477 | * | T | T |
| 63478 | * | T | T |
| 63479 | * | T | T |
| 63480 | * | T | T |
| 63481 | * | T | T |
| 63482 | * | T | T |
| 63483 | * | T | T |
| 63484 | * | T | T |
| 63485 | * | T | T |
| 63486 | * | T | T |
| 63487 | * | T | T |
| 63488 | * | T | T |
| 73225 | * | T | T |
| 73226 | * | T | T |
| 73227 | * | T | T |
| 73228 | * | T | T |
| 73229 | * | T | T |
| 73230 | * | T | T |
| 73231 | * | T | T |
| 73232 | * | T | T |
| 73233 | * | T | T |
| 73234 | * | T | T |
| 73235 | * | T | T |
| 73236 | * | T | T |
| 73237 | * | T | T |
| 73238 | * | T | T |
| 73239 | * | T | T |
| 73240 | * | T | T |
| 73241 | * | T | T |
| 73242 | * | T | T |
| 73243 | * | T | T |
| 73244 | * | T | T |
| 73245 | * | T | T |
| 73246 | * | T | T |
| 73247 | * | T | T |
| 73248 | * | T | T |
| 76700 | * | T | T |
| 76701 | * | T | T |
| 76702 | * | T | T |
| 76703 | * | T | T |
| 76704 | * | T | T |
| 76705 | * | T | T |
| 76706 | * | T | T |
| 76707 | * | T | T |
| 76708 | * | T | T |
| 76709 | * | T | T |
| 76710 | * | T | T |
| 76711 | * | T | T |
| 76712 | * | T | T |
| 76713 | * | T | T |
| 76714 | * | T | T |
| 76715 | * | T | T |
| 76716 | * | T | T |
| 76717 | * | T | T |
| 76718 | * | T | T |
| 76719 | * | T | T |
| 76720 | * | T | T |
| 76721 | * | T | T |
| 76722 | * | T | T |
| 76723 | * | T | T |
| 79412 | * | T | T |
| 79413 | * | T | T |
| 79414 | * | T | T |
| 79415 | * | T | T |
| 79416 | * | T | T |
| 79417 | * | T | T |
| 80898 | * | T | T |
| 80899 | * | T | T |
| 80900 | * | T | T |
| 80901 | * | T | T |
| 80902 | * | T | T |
| 82085 | * | T | T |
| 82086 | * | T | T |
| 82087 | * | T | T |
| 82088 | * | T | T |
| 82089 | * | T | T |
| 83147 | * | T | T |
| 83148 | * | T | T |
| 83149 | * | T | T |
| 83150 | * | T | T |
| 83151 | * | T | T |
| 84344 | * | T | T |
| 84345 | * | T | T |
| 84346 | * | T | T |
| 84347 | * | T | T |
| 84348 | * | T | T |
| 84349 | * | T | T |
| 84350 | * | T | T |
| 84351 | * | T | T |
| 84352 | * | T | T |
| 84353 | * | T | T |
| 86007 | * | T | T |
| 86008 | * | T | T |
| 86009 | * | T | T |
| 86010 | * | T | T |
| 86011 | * | T | T |
| 86012 | * | T | T |
| 86013 | * | T | T |
| 86014 | * | T | T |
| 86015 | * | T | T |
| 86016 | * | T | T |
| 86017 | * | T | T |
| 86018 | * | T | T |
| 86019 | * | T | T |
| 86020 | * | T | T |
| 86021 | * | T | T |
| 86022 | * | T | T |
| 86023 | * | T | T |
| 86024 | * | T | T |
| 86025 | * | T | T |
| 86026 | * | T | T |
| 86027 | * | T | T |
| 86028 | * | T | T |
| 86029 | * | T | T |
| 86030 | * | T | T |
| 86031 | * | T | T |
| 86032 | * | T | T |
| 86033 | * | T | T |
| 86034 | * | T | T |
| 86035 | * | T | T |
| 86036 | * | T | T |
| 87702 | * | T | T |
| 87703 | * | T | T |
| 87704 | * | T | T |
| 87705 | * | T | T |
| 87706 | * | T | T |
| 87707 | * | T | T |
| 89309 | * | T | T |
| 89310 | * | T | T |
| 89311 | * | T | T |
| 89312 | * | T | T |
| 89313 | * | T | T |
| 89314 | * | T | T |
| 89315 | * | T | T |
| 89316 | * | T | T |
| 89317 | * | T | T |
| 89318 | * | T | T |
| 89319 | * | T | T |
| 89320 | * | T | T |
| 89321 | * | T | T |
| 89322 | * | T | T |
| 89323 | * | T | T |
| 89324 | * | T | T |
| 89325 | * | T | T |
| 89326 | * | T | T |
| 89327 | * | T | T |
| 89328 | * | T | T |
| 89329 | * | T | T |
| 89330 | * | T | T |
| 89331 | * | T | T |
| 89332 | * | T | T |
| 89333 | * | T | T |
| 89334 | * | T | T |
| 89335 | * | T | T |
| 89336 | * | T | T |
| 89337 | * | T | T |
| 89338 | * | T | T |
| 89339 | * | T | T |
| 89340 | * | T | T |
| 89341 | * | T | T |
| 89342 | * | T | T |
| 91008 | * | T | T |
| 91009 | * | T | T |
| 91010 | * | T | T |
| 91011 | * | T | T |
| 91012 | * | T | T |
| 91013 | * | T | T |
| 91014 | * | T | T |
| 91015 | * | T | T |
| 91016 | * | T | T |
| 91017 | * | T | T |
| 91018 | * | T | T |
| 91019 | * | T | T |
| 91020 | * | T | T |
| 91021 | * | T | T |
| 91022 | * | T | T |
| 91023 | * | T | T |
| 91024 | * | T | T |
| 91025 | * | T | T |
| 91026 | * | T | T |
| 91027 | * | T | T |
| 93644 | * | T | T |
| 93645 | * | T | T |
| 93646 | * | T | T |
| 93647 | * | T | T |
| 93648 | * | T | T |
| 93649 | * | T | T |
| 93650 | * | T | T |
| 93651 | * | T | T |
| 93652 | * | T | T |
| 93653 | * | T | T |
| 93654 | * | T | T |
| 93655 | * | T | T |
| 93656 | * | T | T |
| 93657 | * | T | T |
| 93658 | * | T | T |
| 93659 | * | T | T |
| 93660 | * | T | T |
| 112507 | * | T | T |
| 112508 | * | T | T |
| 112509 | * | T | T |
| 112510 | * | T | T |
| 112511 | * | T | T |
| 112512 | * | T | T |
| 112513 | * | T | T |
| 112514 | * | T | T |
| 112515 | * | T | T |
| 112516 | * | T | T |
| 112517 | * | T | T |
| 112518 | * | T | T |
| 112519 | * | T | T |
| 112520 | * | T | T |
| 112521 | * | T | T |
| 112522 | * | T | T |
| 112523 | * | T | T |
| 130112 | * | T | T |
| 130113 | * | T | T |
| 130114 | * | T | T |
| 130115 | * | T | T |
| 131287 | * | T | T |
| 131288 | * | T | T |
| 131289 | * | T | T |
| 131290 | * | T | T |
| 132614 | * | T | T |
| 132615 | * | T | T |
| 132616 | * | T | T |
| 132617 | * | T | T |
Independent-effect pairs
c0(branch2264): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1451 ← library/core/src/ptr/mod.rs:810c1(branch2276): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1547