Decision #837 — malloc.c:4765
Status: no_witness
Truth table
| row | c0 br 5898 | c1 br 5899 | c2 br 5900 | c3 br 5901 | outcome |
|---|---|---|---|---|---|
| 2231 | F | F | F | * | T |
| 2232 | F | F | F | * | T |
| 5250 | F | F | F | * | T |
| 5251 | F | F | F | * | T |
| 8296 | F | F | F | * | T |
| 8297 | F | F | F | * | T |
| 10240 | F | F | F | * | T |
| 11379 | F | F | F | * | T |
| 12479 | F | F | F | * | T |
| 19444 | F | F | F | * | T |
| 19445 | F | F | F | * | T |
| 19446 | F | F | F | * | T |
| 19447 | F | F | F | * | T |
| 19448 | F | F | F | * | T |
| 19449 | F | F | F | * | T |
| 19450 | F | F | F | * | T |
| 19451 | F | F | F | * | T |
| 19452 | F | F | F | * | T |
| 19453 | F | F | F | * | T |
| 19454 | F | F | F | * | T |
| 19455 | F | F | F | * | T |
| 27153 | F | F | F | * | T |
| 27154 | F | F | F | * | T |
| 27155 | F | F | F | * | T |
| 27156 | F | F | F | * | T |
| 27157 | F | F | F | * | T |
| 27158 | F | F | F | * | T |
| 27159 | F | F | F | * | T |
| 27160 | F | F | F | * | T |
| 27161 | F | F | F | * | T |
| 27162 | F | F | F | * | T |
| 27163 | F | F | F | * | T |
| 27164 | F | F | F | * | T |
| 32834 | F | F | F | * | T |
| 32835 | F | F | F | * | T |
| 32836 | F | F | F | * | T |
| 32837 | F | F | F | * | T |
| 32838 | F | F | F | * | T |
| 38772 | F | F | F | * | T |
| 38773 | F | F | F | * | T |
| 38774 | F | F | F | * | T |
| 38775 | F | F | F | * | T |
| 38776 | F | F | F | * | T |
| 42142 | F | F | * | * | T |
| 42143 | F | F | F | * | T |
| 45232 | F | F | * | * | T |
| 45233 | F | F | F | * | T |
| 48646 | F | F | * | * | T |
| 48647 | F | F | F | * | T |
| 51682 | F | F | * | * | T |
| 51683 | F | F | F | * | T |
| 61040 | F | F | * | * | T |
| 61041 | F | F | * | * | T |
| 61042 | F | F | F | * | T |
| 61043 | F | F | F | * | T |
| 61044 | F | F | F | * | T |
| 61045 | F | F | F | * | T |
| 61046 | F | F | F | * | T |
| 61047 | F | F | F | * | T |
| 61048 | F | F | * | * | T |
| 61049 | F | F | F | * | T |
| 61050 | F | F | * | * | T |
| 61051 | F | F | * | * | T |
| 61052 | F | F | F | * | T |
| 61053 | F | F | F | * | T |
| 61054 | F | F | F | * | T |
| 61055 | F | F | F | * | T |
| 61056 | F | F | F | * | T |
| 61057 | F | F | * | * | T |
| 61058 | F | F | F | * | T |
| 61059 | F | F | F | * | T |
| 61060 | F | F | F | * | T |
| 61061 | F | F | F | * | T |
| 61062 | F | F | F | * | T |
| 61063 | F | F | F | * | T |
| 61064 | F | F | F | * | T |
| 61065 | F | F | F | * | T |
| 61066 | F | F | F | * | T |
| 61067 | F | F | F | * | T |
| 70812 | F | F | * | * | T |
| 70813 | F | F | * | * | T |
| 70814 | F | F | F | * | T |
| 70815 | F | F | F | * | T |
| 70816 | F | F | F | * | T |
| 70817 | F | F | F | * | T |
| 70818 | F | F | F | * | T |
| 70819 | F | F | F | * | T |
| 70820 | F | F | * | * | T |
| 70821 | F | F | F | * | T |
| 70822 | F | F | * | * | T |
| 70823 | F | F | * | * | T |
| 70824 | F | F | F | * | T |
| 70825 | F | F | F | * | T |
| 70826 | F | F | F | * | T |
| 70827 | F | F | F | * | T |
| 70828 | F | F | F | * | T |
| 70829 | F | F | * | * | T |
| 70830 | F | F | F | * | T |
| 70831 | F | F | F | * | T |
| 70832 | F | F | F | * | T |
| 70833 | F | F | F | * | T |
| 70834 | F | F | F | * | T |
| 70835 | F | F | F | * | T |
| 70836 | F | F | F | * | T |
| 70837 | F | F | F | * | T |
| 70838 | F | F | F | * | T |
| 70839 | F | F | F | * | T |
| 74737 | F | F | F | * | T |
| 74738 | F | F | F | * | T |
| 74739 | F | F | F | * | T |
| 78212 | F | F | F | * | T |
| 78213 | F | F | F | * | T |
| 78214 | F | F | F | * | T |
| 81460 | F | F | F | * | T |
| 82634 | F | F | F | * | T |
| 83709 | F | F | F | * | T |
| 109051 | F | F | F | * | T |
| 109052 | F | F | F | * | T |
| 109053 | F | F | F | * | T |
| 109054 | F | F | F | * | T |
| 109055 | F | F | F | * | T |
| 109056 | F | F | F | * | T |
| 109057 | F | F | F | * | T |
| 109058 | F | F | F | * | T |
| 109059 | F | F | F | * | T |
| 109060 | F | F | F | * | T |
| 109061 | F | F | F | * | T |
| 109062 | F | F | F | * | T |
| 109063 | F | F | F | * | T |
| 109064 | F | F | F | * | T |
| 109065 | F | F | F | * | T |
| 109066 | F | F | F | * | T |
| 109067 | F | F | F | * | T |
| 109068 | F | F | F | * | T |
| 109069 | F | F | F | * | T |
| 109070 | F | F | F | * | T |
| 109071 | F | F | F | * | T |
| 109072 | F | F | F | * | T |
| 109073 | F | F | F | * | T |
| 109074 | F | F | F | * | T |
| 109075 | F | F | F | * | T |
| 109076 | F | F | F | * | T |
| 109077 | F | F | F | * | T |
| 109078 | F | F | F | * | T |
| 109079 | F | F | F | * | T |
| 109080 | F | F | F | * | T |
| 109081 | F | F | F | * | T |
| 109082 | F | F | F | * | T |
| 109083 | F | F | F | * | T |
| 109084 | F | F | F | * | T |
| 109085 | F | F | F | * | T |
| 109086 | F | F | F | * | T |
| 109087 | F | F | F | * | T |
| 109088 | F | F | F | * | T |
| 127914 | F | F | F | * | T |
| 127915 | F | F | F | * | T |
| 127916 | F | F | F | * | T |
| 127917 | F | F | F | * | T |
| 127918 | F | F | F | * | T |
| 127919 | F | F | F | * | T |
| 127920 | F | F | F | * | T |
| 127921 | F | F | F | * | T |
| 127922 | F | F | F | * | T |
| 127923 | F | F | F | * | T |
| 127924 | F | F | F | * | T |
| 127925 | F | F | F | * | T |
| 127926 | F | F | F | * | T |
| 127927 | F | F | F | * | T |
| 127928 | F | F | F | * | T |
| 127929 | F | F | F | * | T |
| 127930 | F | F | F | * | T |
| 127931 | F | F | F | * | T |
| 127932 | F | F | F | * | T |
| 127933 | F | F | F | * | T |
| 127934 | F | F | F | * | T |
| 127935 | F | F | F | * | T |
| 127936 | F | F | F | * | T |
| 127937 | F | F | F | * | T |
| 127938 | F | F | F | * | T |
| 127939 | F | F | F | * | T |
| 127940 | F | F | F | * | T |
| 127941 | F | F | F | * | T |
| 127942 | F | F | F | * | T |
| 127943 | F | F | F | * | T |
| 127944 | F | F | F | * | T |
| 127945 | F | F | F | * | T |
| 127946 | F | F | F | * | T |
| 127947 | F | F | F | * | T |
| 127948 | F | F | F | * | T |
| 127949 | F | F | F | * | T |
| 127950 | F | F | F | * | T |
| 127951 | F | F | F | * | T |
| 130659 | F | F | F | * | T |
| 131866 | F | F | F | * | T |
| 133178 | F | F | F | * | T |
Independent-effect pairs
All 4 conditions live in dlmalloc — 4 br_if
c0(branch5898): GAP view gap →c1(branch5899): GAP view gap →c2(branch5900): GAP view gap →c3(branch5901): DEAD view gap →