Decision #997 — library/alloc/src/alloc.rs:99
Status: no_witness
Truth table
| row | c0 br 6398 | c1 br 6415 | outcome |
|---|---|---|---|
| 37897 | * | T | T |
| 37898 | * | T | T |
| 37899 | * | T | T |
| 37900 | * | F | T |
| 37901 | * | T | T |
| 37902 | * | T | T |
| 37903 | * | T | T |
| 37904 | * | F | T |
| 37905 | * | T | T |
| 37906 | * | T | T |
| 37907 | * | T | T |
| 37908 | * | F | T |
| 37909 | * | T | T |
| 37910 | * | T | T |
| 37911 | * | T | T |
| 37912 | * | F | T |
| 37913 | * | T | T |
| 37914 | * | T | T |
| 37915 | * | T | T |
| 37916 | * | F | T |
| 37917 | * | T | T |
| 37918 | * | T | T |
| 37919 | * | T | T |
| 37920 | * | F | T |
| 58751 | * | T | T |
| 58752 | * | T | T |
| 58753 | * | T | T |
| 58754 | * | F | T |
| 58755 | * | T | T |
| 58756 | * | T | T |
| 58757 | * | T | T |
| 58758 | * | F | T |
| 58759 | * | T | T |
| 58760 | * | T | T |
| 58761 | * | T | T |
| 58762 | * | F | T |
| 58763 | * | T | T |
| 58764 | * | T | T |
| 58765 | * | T | T |
| 58766 | * | F | T |
| 58767 | * | T | T |
| 58768 | * | T | T |
| 58769 | * | T | T |
| 58770 | * | F | T |
| 58771 | * | T | T |
| 58772 | * | T | T |
| 58773 | * | T | T |
| 58774 | * | F | T |
| 74521 | * | T | T |
| 74522 | * | F | T |
| 74523 | * | T | T |
| 74524 | * | F | T |
| 74525 | * | T | T |
| 74526 | * | F | T |
| 74527 | * | T | T |
| 74528 | * | F | T |
| 74529 | * | T | T |
| 74530 | * | F | T |
| 74531 | * | T | T |
| 74532 | * | F | T |
| 74533 | * | T | T |
| 74534 | * | F | T |
| 74535 | * | T | T |
| 74536 | * | F | T |
| 74537 | * | T | T |
| 74538 | * | F | T |
| 74539 | * | T | T |
| 74540 | * | F | T |
| 74541 | * | T | T |
| 74542 | * | F | T |
| 74543 | * | T | T |
| 74544 | * | F | T |
| 74545 | * | T | T |
| 74546 | * | F | T |
| 74547 | * | T | T |
| 74548 | * | F | T |
| 84404 | * | T | T |
| 84405 | * | F | T |
| 84406 | * | T | T |
| 84407 | * | F | T |
| 84408 | * | T | T |
| 84409 | * | F | T |
| 84410 | * | T | T |
| 84411 | * | F | T |
| 84412 | * | T | T |
| 84413 | * | F | T |
| 84414 | * | T | T |
| 84415 | * | F | T |
| 84416 | * | T | T |
| 84417 | * | F | T |
| 84418 | * | T | T |
| 84419 | * | F | T |
| 84420 | * | T | T |
| 84421 | * | F | T |
| 84422 | * | T | T |
| 84423 | * | F | T |
| 84424 | * | T | T |
| 84425 | * | F | T |
| 84426 | * | T | T |
| 84427 | * | F | T |
| 84428 | * | T | T |
| 84429 | * | F | T |
| 84430 | * | T | T |
| 84431 | * | F | T |
| 131026 | * | T | T |
| 131027 | * | T | T |
| 131028 | * | T | T |
| 131029 | * | F | T |
| 131030 | * | T | T |
| 131031 | * | T | T |
| 131032 | * | T | T |
| 131033 | * | F | T |
| 131034 | * | T | T |
| 131035 | * | T | T |
| 131036 | * | T | T |
| 131037 | * | F | T |
| 131038 | * | T | T |
| 131039 | * | T | T |
| 131040 | * | T | T |
| 131041 | * | F | T |
| 131042 | * | T | T |
| 131043 | * | T | T |
| 131044 | * | T | T |
| 131045 | * | F | T |
| 131046 | * | T | T |
| 131047 | * | T | T |
| 131048 | * | T | T |
| 131049 | * | F | T |
| 131050 | * | T | T |
| 131051 | * | T | T |
| 131052 | * | T | T |
| 131053 | * | F | T |
| 131054 | * | T | T |
| 131055 | * | T | T |
| 131056 | * | T | T |
| 131057 | * | F | T |
| 147745 | * | T | T |
| 147746 | * | T | T |
| 147747 | * | T | T |
| 147748 | * | F | T |
| 147749 | * | T | T |
| 147750 | * | T | T |
| 147751 | * | T | T |
| 147752 | * | F | T |
| 147753 | * | T | T |
| 147754 | * | T | T |
| 147755 | * | T | T |
| 147756 | * | F | T |
| 147757 | * | T | T |
| 147758 | * | T | T |
| 147759 | * | T | T |
| 147760 | * | F | T |
| 147761 | * | T | T |
| 147762 | * | T | T |
| 147763 | * | T | T |
| 147764 | * | F | T |
| 147765 | * | T | T |
| 147766 | * | T | T |
| 147767 | * | T | T |
| 147768 | * | F | T |
| 147769 | * | T | T |
| 147770 | * | T | T |
| 147771 | * | T | T |
| 147772 | * | F | T |
| 147773 | * | T | T |
| 147774 | * | T | T |
| 147775 | * | T | T |
| 147776 | * | F | T |
| 250361 | * | T | T |
| 250362 | * | T | T |
| 250363 | * | T | T |
| 250364 | * | F | T |
| 250365 | * | T | T |
| 250366 | * | T | T |
| 250367 | * | T | T |
| 250368 | * | F | T |
| 250369 | * | T | T |
| 250370 | * | T | T |
| 250371 | * | T | T |
| 250372 | * | F | T |
| 250373 | * | T | T |
| 250374 | * | T | T |
| 250375 | * | T | T |
| 250376 | * | F | T |
| 250377 | * | T | T |
| 250378 | * | T | T |
| 250379 | * | T | T |
| 250380 | * | F | T |
| 250381 | * | T | T |
| 250382 | * | T | T |
| 250383 | * | T | T |
| 250384 | * | F | T |
| 250385 | * | T | T |
| 250386 | * | T | T |
| 250387 | * | T | T |
| 250388 | * | F | T |
| 250389 | * | T | T |
| 250390 | * | T | T |
| 250391 | * | T | T |
| 250392 | * | F | T |
| 250393 | * | T | T |
| 250394 | * | T | T |
| 250395 | * | T | T |
| 250396 | * | F | T |
| 250397 | * | T | T |
| 250398 | * | T | T |
| 250399 | * | T | T |
| 250400 | * | F | T |
| 250401 | * | T | T |
| 250402 | * | T | T |
| 250403 | * | T | T |
| 250404 | * | F | T |
| 250405 | * | T | T |
| 250406 | * | T | T |
| 250407 | * | T | T |
| 250408 | * | F | T |
| 250409 | * | T | T |
| 250410 | * | T | T |
| 250411 | * | T | T |
| 250412 | * | F | T |
| 250413 | * | T | T |
| 250414 | * | T | T |
| 250415 | * | T | T |
| 250416 | * | F | T |
| 250417 | * | T | T |
| 250418 | * | T | T |
| 250419 | * | T | T |
| 250420 | * | F | T |
| 250421 | * | T | T |
| 250422 | * | T | T |
| 250423 | * | T | T |
| 250424 | * | F | T |
| 250425 | * | T | T |
| 250426 | * | T | T |
| 250427 | * | T | T |
| 250428 | * | F | T |
| 250429 | * | T | T |
| 250430 | * | T | T |
| 250431 | * | T | T |
| 250432 | * | F | T |
| 250433 | * | T | T |
| 250434 | * | T | T |
| 250435 | * | T | T |
| 250436 | * | F | T |
| 250437 | * | T | T |
| 250438 | * | T | T |
| 250439 | * | T | T |
| 250440 | * | F | T |
| 327738 | * | T | T |
| 327739 | * | T | T |
| 327740 | * | T | T |
| 327741 | * | F | T |
| 327742 | * | T | T |
| 327743 | * | T | T |
| 327744 | * | T | T |
| 327745 | * | F | T |
| 327746 | * | T | T |
| 327747 | * | T | T |
| 327748 | * | T | T |
| 327749 | * | F | T |
| 327750 | * | T | T |
| 327751 | * | T | T |
| 327752 | * | T | T |
| 327753 | * | F | T |
| 327754 | * | T | T |
| 327755 | * | T | T |
| 327756 | * | T | T |
| 327757 | * | F | T |
| 327758 | * | T | T |
| 327759 | * | T | T |
| 327760 | * | T | T |
| 327761 | * | F | T |
| 327762 | * | T | T |
| 327763 | * | T | T |
| 327764 | * | T | T |
| 327765 | * | F | T |
| 327766 | * | T | T |
| 327767 | * | T | T |
| 327768 | * | T | T |
| 327769 | * | F | T |
| 327770 | * | T | T |
| 327771 | * | T | T |
| 327772 | * | T | T |
| 327773 | * | F | T |
| 327774 | * | T | T |
| 327775 | * | T | T |
| 327776 | * | T | T |
| 327777 | * | F | T |
| 327778 | * | T | T |
| 327779 | * | T | T |
| 327780 | * | T | T |
| 327781 | * | F | T |
| 327782 | * | T | T |
| 327783 | * | T | T |
| 327784 | * | T | T |
| 327785 | * | F | T |
| 327786 | * | T | T |
| 327787 | * | T | T |
| 327788 | * | T | T |
| 327789 | * | F | T |
| 327790 | * | T | T |
| 327791 | * | T | T |
| 327792 | * | T | T |
| 327793 | * | F | T |
| 327794 | * | T | T |
| 327795 | * | T | T |
| 327796 | * | T | T |
| 327797 | * | F | T |
| 327798 | * | T | T |
| 327799 | * | T | T |
| 327800 | * | T | T |
| 327801 | * | F | T |
| 327802 | * | T | T |
| 327803 | * | T | T |
| 327804 | * | T | T |
| 327805 | * | F | T |
| 327806 | * | T | T |
| 327807 | * | T | T |
| 327808 | * | T | T |
| 327809 | * | F | T |
| 327810 | * | T | T |
| 327811 | * | T | T |
| 327812 | * | T | T |
| 327813 | * | F | T |
| 327814 | * | T | T |
| 327815 | * | T | T |
| 327816 | * | T | T |
| 327817 | * | F | T |
Independent-effect pairs
c0(branch6398): DEAD view gap →scry_octagon::assign_add_const· br_if
inlined: library/alloc/src/raw_vec/mod.rs:466 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch6415): GAP view gap →scry_octagon::assign_add_const· br_if
inlined: library/alloc/src/raw_vec/mod.rs:466 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210