Decision #335 — library/core/src/ptr/mod.rs:643
Status: no_witness
Truth table
| row | c0 br 2442 | c1 br 2443 | outcome |
|---|---|---|---|
| 999 | F | T | T |
| 1000 | * | T | T |
| 1001 | * | T | T |
| 1002 | * | T | T |
| 1003 | F | F | T |
| 1004 | * | T | T |
| 1005 | * | T | T |
| 1006 | * | T | T |
| 1007 | * | T | T |
| 1008 | * | F | T |
| 4039 | F | T | T |
| 4040 | * | T | T |
| 4041 | * | T | T |
| 4042 | * | T | T |
| 4043 | F | F | T |
| 4044 | * | T | T |
| 4045 | * | T | T |
| 4046 | * | T | T |
| 4047 | * | T | T |
| 4048 | * | F | T |
| 6988 | F | T | T |
| 6989 | * | T | T |
| 6990 | * | T | T |
| 6991 | * | T | T |
| 6992 | F | F | T |
| 6993 | * | T | T |
| 6994 | * | T | T |
| 6995 | * | T | T |
| 6996 | * | T | T |
| 6997 | * | F | T |
| 9745 | F | F | T |
| 9746 | F | F | T |
| 10893 | F | F | T |
| 10894 | F | F | T |
| 11984 | F | F | T |
| 11985 | F | F | T |
| 13792 | F | F | T |
| 13793 | F | F | T |
| 21510 | F | F | T |
| 21511 | F | F | T |
| 29517 | F | F | T |
| 29518 | F | F | T |
| 35455 | F | F | T |
| 35456 | F | F | T |
| 41016 | F | T | T |
| 41017 | * | T | T |
| 41018 | F | F | T |
| 41019 | * | T | T |
| 41020 | * | T | T |
| 41021 | * | F | T |
| 44029 | F | T | T |
| 44030 | * | T | T |
| 44031 | F | F | T |
| 44032 | * | T | T |
| 44033 | * | T | T |
| 44034 | * | F | T |
| 47481 | F | T | T |
| 47482 | * | T | T |
| 47483 | F | F | T |
| 47484 | * | T | T |
| 47485 | * | T | T |
| 47486 | * | F | T |
| 50556 | F | T | T |
| 50557 | * | T | T |
| 50558 | F | F | T |
| 50559 | * | T | T |
| 50560 | * | T | T |
| 50561 | * | F | T |
| 53785 | F | F | T |
| 53786 | F | F | T |
| 63557 | F | F | T |
| 63558 | F | F | T |
| 73391 | F | T | T |
| 73392 | * | T | T |
| 73393 | * | T | T |
| 73394 | * | T | T |
| 73395 | * | T | T |
| 73396 | F | F | T |
| 73397 | * | T | T |
| 73398 | * | T | T |
| 73399 | * | T | T |
| 73400 | * | T | T |
| 73401 | * | T | T |
| 73402 | * | F | T |
| 76866 | F | T | T |
| 76867 | * | T | T |
| 76868 | * | T | T |
| 76869 | * | T | T |
| 76870 | * | T | T |
| 76871 | F | F | T |
| 76872 | * | T | T |
| 76873 | * | T | T |
| 76874 | * | T | T |
| 76875 | * | T | T |
| 76876 | * | T | T |
| 76877 | * | F | T |
| 79490 | F | T | T |
| 79491 | * | T | T |
| 79492 | F | F | T |
| 79493 | * | T | T |
| 79494 | * | T | T |
| 79495 | * | F | T |
| 80951 | F | F | T |
| 80952 | F | F | T |
| 82138 | F | F | T |
| 82139 | F | F | T |
| 83200 | F | F | T |
| 83201 | F | F | T |
| 84423 | F | F | T |
| 84424 | F | F | T |
| 86164 | F | T | T |
| 86165 | * | T | T |
| 86166 | F | F | T |
| 86167 | * | T | T |
| 86168 | * | T | T |
| 86169 | * | F | T |
| 87769 | F | F | T |
| 87770 | F | F | T |
| 89473 | F | T | T |
| 89474 | F | F | T |
| 89475 | * | T | T |
| 89476 | * | F | T |
| 91117 | F | F | T |
| 91118 | F | F | T |
| 93731 | F | F | T |
| 93732 | F | F | T |
| 112594 | F | F | T |
| 112595 | F | F | T |
| 130159 | F | F | T |
| 130160 | F | F | T |
| 131334 | F | F | T |
| 131335 | F | F | T |
| 132661 | F | F | T |
| 132662 | F | F | T |
Independent-effect pairs
c0(branch2442): GAP view gap →core::ptr::drop_in_place<alloc::vec::Vec<alloc::vec::Vec<usize>>>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:415c1(branch2443): GAP view gap →core::ptr::drop_in_place<alloc::vec::Vec<alloc::vec::Vec<usize>>>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:415