Decision #847 — malloc.c:4387
Status: no_witness
Truth table
| row | c0 br 5959 | c1 br 5960 | outcome |
|---|---|---|---|
| 2651 | T | T | T |
| 2652 | T | T | T |
| 2653 | T | T | T |
| 2654 | T | T | T |
| 2655 | T | T | T |
| 2656 | T | T | T |
| 2657 | T | T | T |
| 2658 | T | T | T |
| 2659 | T | T | T |
| 2660 | T | T | T |
| 2661 | T | T | T |
| 2662 | T | T | T |
| 2663 | T | T | T |
| 2664 | T | T | T |
| 2665 | T | T | T |
| 2666 | T | T | T |
| 5658 | T | T | T |
| 5659 | T | T | T |
| 5660 | T | T | T |
| 5661 | T | T | T |
| 5662 | T | T | T |
| 5663 | T | T | T |
| 5664 | T | T | T |
| 5665 | T | T | T |
| 5666 | T | T | T |
| 5667 | T | T | T |
| 5668 | T | T | T |
| 5669 | T | T | T |
| 5670 | T | T | T |
| 5671 | T | T | T |
| 5672 | T | T | T |
| 8768 | T | T | T |
| 8769 | T | T | T |
| 8770 | T | T | T |
| 8771 | T | T | T |
| 8772 | T | T | T |
| 8773 | T | T | T |
| 8774 | T | T | T |
| 8775 | T | T | T |
| 8776 | T | T | T |
| 8777 | T | T | T |
| 8778 | T | T | T |
| 8779 | T | T | T |
| 8780 | T | T | T |
| 8781 | T | T | T |
| 8782 | T | T | T |
| 8783 | T | T | T |
| 8784 | T | T | T |
| 8785 | T | T | T |
| 8786 | T | T | T |
| 10391 | T | T | T |
| 10392 | T | T | T |
| 10393 | T | T | T |
| 10394 | T | T | T |
| 10395 | T | T | T |
| 10396 | T | T | T |
| 10397 | T | T | T |
| 10398 | T | T | T |
| 10399 | T | T | T |
| 11524 | T | T | T |
| 11525 | T | T | T |
| 11526 | T | T | T |
| 11527 | T | T | T |
| 11528 | T | T | T |
| 11529 | T | T | T |
| 11530 | T | T | T |
| 11531 | T | T | T |
| 12630 | T | T | T |
| 12631 | T | T | T |
| 12632 | T | T | T |
| 12633 | T | T | T |
| 12634 | T | T | T |
| 12635 | T | T | T |
| 12636 | T | T | T |
| 12637 | T | T | T |
| 12638 | T | T | T |
| 20129 | T | T | T |
| 20130 | T | T | T |
| 20131 | T | T | T |
| 20132 | T | T | T |
| 20133 | T | T | T |
| 20134 | T | T | T |
| 20135 | T | T | T |
| 20136 | T | T | T |
| 20137 | T | T | T |
| 20138 | T | T | T |
| 20139 | T | T | T |
| 20140 | T | T | T |
| 20141 | T | T | T |
| 20142 | T | T | T |
| 20143 | T | T | T |
| 27829 | T | T | T |
| 27830 | T | T | T |
| 27831 | T | T | T |
| 27832 | T | T | T |
| 27833 | T | T | T |
| 27834 | T | T | T |
| 27835 | T | T | T |
| 27836 | T | T | T |
| 27837 | T | T | T |
| 27838 | T | T | T |
| 27839 | T | T | T |
| 27840 | T | T | T |
| 27841 | T | T | T |
| 33680 | T | T | T |
| 33681 | T | T | T |
| 33682 | T | T | T |
| 33683 | T | T | T |
| 33684 | T | T | T |
| 33685 | T | T | T |
| 33686 | T | T | T |
| 33687 | T | T | T |
| 33688 | T | T | T |
| 33689 | T | T | T |
| 39618 | T | T | T |
| 39619 | T | T | T |
| 39620 | T | T | T |
| 39621 | T | T | T |
| 39622 | T | T | T |
| 39623 | T | T | T |
| 39624 | T | T | T |
| 39625 | T | T | T |
| 39626 | T | T | T |
| 39627 | T | T | T |
| 42598 | T | T | T |
| 42599 | T | T | T |
| 42600 | T | T | T |
| 42601 | T | T | T |
| 42602 | T | T | T |
| 42603 | T | T | T |
| 42604 | T | T | T |
| 42605 | T | T | T |
| 42606 | T | T | T |
| 42607 | T | T | T |
| 42608 | T | T | T |
| 42609 | T | T | T |
| 42610 | T | T | T |
| 42611 | T | T | T |
| 42612 | T | T | T |
| 42613 | T | T | T |
| 42614 | T | T | T |
| 42615 | T | T | T |
| 42616 | T | T | T |
| 42617 | T | T | T |
| 42618 | T | T | T |
| 45735 | T | T | T |
| 45736 | T | T | T |
| 45737 | T | T | T |
| 45738 | T | T | T |
| 45739 | T | T | T |
| 45740 | T | T | T |
| 45741 | T | T | T |
| 45742 | T | T | T |
| 45743 | T | T | T |
| 45744 | T | T | T |
| 45745 | T | T | T |
| 45746 | T | T | T |
| 45747 | T | T | T |
| 45748 | T | T | T |
| 45749 | F | * | T |
| 45750 | T | T | T |
| 45751 | T | T | T |
| 45752 | T | T | T |
| 45753 | T | T | T |
| 45754 | T | T | T |
| 45755 | T | T | T |
| 45756 | T | T | T |
| 49118 | T | T | T |
| 49119 | T | T | T |
| 49120 | T | T | T |
| 49121 | T | T | T |
| 49122 | T | T | T |
| 49123 | T | T | T |
| 49124 | T | T | T |
| 49125 | T | T | T |
| 49126 | T | T | T |
| 49127 | T | T | T |
| 49128 | T | T | T |
| 49129 | T | T | T |
| 49130 | T | T | T |
| 49131 | T | T | T |
| 49132 | T | T | T |
| 49133 | T | T | T |
| 49134 | T | T | T |
| 52138 | T | T | T |
| 52139 | T | T | T |
| 52140 | T | T | T |
| 52141 | T | T | T |
| 52142 | T | T | T |
| 52143 | T | T | T |
| 52144 | T | T | T |
| 52145 | T | T | T |
| 52146 | T | T | T |
| 52147 | T | T | T |
| 52148 | T | T | T |
| 52149 | T | T | T |
| 52150 | T | T | T |
| 52151 | T | T | T |
| 52152 | T | T | T |
| 52153 | T | T | T |
| 52154 | T | T | T |
| 52155 | T | T | T |
| 52156 | T | T | T |
| 52157 | T | T | T |
| 52158 | T | T | T |
| 61890 | T | T | T |
| 61891 | T | T | T |
| 61892 | T | T | T |
| 61893 | T | T | T |
| 61894 | F | * | T |
| 61895 | T | T | T |
| 61896 | T | T | T |
| 61897 | T | T | T |
| 61898 | T | T | T |
| 61899 | T | T | T |
| 61900 | T | T | T |
| 61901 | T | T | T |
| 61902 | T | T | T |
| 61903 | T | T | T |
| 61904 | T | T | T |
| 61905 | T | T | T |
| 61906 | T | T | T |
| 71662 | T | T | T |
| 71663 | T | T | T |
| 71664 | T | T | T |
| 71665 | T | T | T |
| 71666 | F | * | T |
| 71667 | T | T | T |
| 71668 | T | T | T |
| 71669 | T | T | T |
| 71670 | T | T | T |
| 71671 | T | T | T |
| 71672 | T | T | T |
| 71673 | T | T | T |
| 71674 | T | T | T |
| 71675 | T | T | T |
| 71676 | T | T | T |
| 71677 | T | T | T |
| 71678 | T | T | T |
| 75162 | T | T | T |
| 75163 | T | T | T |
| 75164 | T | T | T |
| 75165 | T | T | T |
| 75166 | T | T | T |
| 75167 | T | T | T |
| 75168 | T | T | T |
| 75169 | T | T | T |
| 75170 | T | T | T |
| 75171 | T | T | T |
| 75172 | T | T | T |
| 75173 | F | * | T |
| 75174 | T | T | T |
| 75175 | T | T | T |
| 75176 | T | T | T |
| 75177 | T | T | T |
| 75178 | T | T | T |
| 75179 | T | T | T |
| 78637 | T | T | T |
| 78638 | T | T | T |
| 78639 | T | T | T |
| 78640 | T | T | T |
| 78641 | T | T | T |
| 78642 | T | T | T |
| 78643 | T | T | T |
| 78644 | T | T | T |
| 78645 | T | T | T |
| 78646 | T | T | T |
| 78647 | T | T | T |
| 78648 | F | * | T |
| 78649 | T | T | T |
| 78650 | T | T | T |
| 78651 | T | T | T |
| 78652 | T | T | T |
| 78653 | T | T | T |
| 78654 | T | T | T |
| 80347 | T | T | T |
| 80348 | T | T | T |
| 80349 | T | T | T |
| 80350 | T | T | T |
| 80351 | T | T | T |
| 80352 | T | T | T |
| 80353 | T | T | T |
| 80354 | T | T | T |
| 80355 | T | T | T |
| 80356 | T | T | T |
| 80357 | T | T | T |
| 80358 | T | T | T |
| 80359 | T | T | T |
| 81610 | T | T | T |
| 81611 | T | T | T |
| 81612 | T | T | T |
| 81613 | T | T | T |
| 81614 | T | T | T |
| 81615 | T | T | T |
| 82775 | T | T | T |
| 82776 | T | T | T |
| 82777 | T | T | T |
| 82778 | T | T | T |
| 82779 | T | T | T |
| 83859 | T | T | T |
| 83860 | T | T | T |
| 83861 | T | T | T |
| 83862 | T | T | T |
| 83863 | T | T | T |
| 83864 | T | T | T |
| 85145 | T | T | T |
| 85146 | T | T | T |
| 85147 | T | T | T |
| 85148 | T | T | T |
| 85149 | T | T | T |
| 85150 | T | T | T |
| 85151 | T | T | T |
| 85152 | T | T | T |
| 87196 | T | T | T |
| 87197 | T | T | T |
| 87198 | T | T | T |
| 87199 | T | T | T |
| 87200 | T | T | T |
| 87201 | T | T | T |
| 87202 | T | T | T |
| 87203 | T | T | T |
| 87204 | T | T | T |
| 87205 | T | T | T |
| 88471 | T | T | T |
| 88472 | T | T | T |
| 88473 | T | T | T |
| 88474 | T | T | T |
| 88475 | T | T | T |
| 88476 | T | T | T |
| 88477 | T | T | T |
| 90418 | T | T | T |
| 90419 | T | T | T |
| 90420 | T | T | T |
| 90421 | T | T | T |
| 90422 | T | T | T |
| 90423 | T | T | T |
| 90424 | T | T | T |
| 90425 | T | T | T |
| 90426 | T | T | T |
| 90427 | T | T | T |
| 90428 | T | T | T |
| 91920 | T | T | T |
| 91921 | T | T | T |
| 91922 | T | T | T |
| 91923 | T | T | T |
| 91924 | T | T | T |
| 91925 | T | T | T |
| 91926 | T | T | T |
| 91927 | T | T | T |
| 110361 | T | T | T |
| 110362 | T | T | T |
| 110363 | T | T | T |
| 110364 | T | T | T |
| 110365 | T | T | T |
| 110366 | T | T | T |
| 110367 | T | T | T |
| 110368 | T | T | T |
| 110369 | T | T | T |
| 110370 | T | T | T |
| 110371 | T | T | T |
| 110372 | T | T | T |
| 110373 | T | T | T |
| 110374 | T | T | T |
| 110375 | T | F | T |
| 110376 | T | T | T |
| 110377 | T | T | T |
| 110378 | T | T | T |
| 110379 | T | F | T |
| 110380 | T | F | T |
| 110381 | T | T | T |
| 110382 | T | T | T |
| 129224 | T | T | T |
| 129225 | T | T | T |
| 129226 | T | T | T |
| 129227 | T | T | T |
| 129228 | T | T | T |
| 129229 | T | T | T |
| 129230 | T | T | T |
| 129231 | T | T | T |
| 129232 | T | T | T |
| 129233 | T | T | T |
| 129234 | T | T | T |
| 129235 | T | T | T |
| 129236 | T | T | T |
| 129237 | T | T | T |
| 129238 | T | F | T |
| 129239 | T | T | T |
| 129240 | T | T | T |
| 129241 | T | T | T |
| 129242 | T | F | T |
| 129243 | T | F | T |
| 129244 | T | T | T |
| 129245 | T | T | T |
| 130846 | T | T | T |
| 130847 | T | T | T |
| 130848 | T | T | T |
| 130849 | T | T | T |
| 130850 | T | T | T |
| 130851 | T | T | T |
| 130852 | T | T | T |
| 130853 | T | T | T |
| 132078 | T | T | T |
| 132079 | T | T | T |
| 132080 | T | T | T |
| 132081 | T | T | T |
| 132082 | T | T | T |
| 132083 | T | T | T |
| 132084 | T | T | T |
| 132085 | T | T | T |
| 133378 | T | T | T |
| 133379 | T | T | T |
| 133380 | T | T | T |
| 133381 | T | T | T |
| 133382 | T | T | T |
| 133383 | T | T | T |
| 133384 | T | T | T |
Independent-effect pairs
c0(branch5959): GAP view gap →dlfree· br_ifc1(branch5960): GAP view gap →dlfree· br_if