Decision #838 — malloc.c:4778
Status: no_witness
Truth table
| row | c0 br 5902 | c1 br 5903 | c2 br 5904 | c3 br 5905 | c4 br 5906 | c5 br 5907 | outcome |
|---|---|---|---|---|---|---|---|
| 2233 | * | * | * | T | F | T | T |
| 2234 | * | * | * | T | F | F | T |
| 5252 | * | * | * | T | F | T | T |
| 5253 | * | * | * | T | F | F | T |
| 8298 | * | * | * | T | F | T | T |
| 8299 | * | * | * | T | F | F | T |
| 10241 | * | * | * | T | F | F | T |
| 11380 | * | * | * | T | F | T | T |
| 12480 | * | * | * | T | F | F | T |
| 19456 | * | * | * | T | F | F | T |
| 19457 | * | * | * | T | F | F | T |
| 19458 | * | * | * | T | T | * | T |
| 19459 | * | * | * | T | F | F | T |
| 19460 | * | * | * | T | F | F | T |
| 19461 | * | * | * | T | T | * | T |
| 19462 | * | * | * | T | F | F | T |
| 19463 | * | * | * | T | T | * | T |
| 19464 | * | * | * | T | F | F | T |
| 19465 | * | * | * | T | F | F | T |
| 19466 | * | * | * | T | F | F | T |
| 19467 | * | * | * | T | F | T | T |
| 27165 | * | * | * | T | F | F | T |
| 27166 | * | * | * | T | F | F | T |
| 27167 | * | * | * | T | T | * | T |
| 27168 | * | * | * | T | F | F | T |
| 27169 | * | * | * | T | F | F | T |
| 27170 | * | * | * | T | T | * | T |
| 27171 | * | * | * | T | F | F | T |
| 27172 | * | * | * | T | T | * | T |
| 27173 | * | * | * | T | F | F | T |
| 27174 | * | * | * | T | F | F | T |
| 27175 | * | * | * | T | T | * | T |
| 27176 | * | * | * | T | F | F | T |
| 32839 | * | * | * | T | T | * | T |
| 32840 | * | * | * | T | T | * | T |
| 32841 | * | * | * | T | T | * | T |
| 32842 | * | * | * | T | T | * | T |
| 32843 | * | * | * | T | F | F | T |
| 38777 | * | * | * | T | T | * | T |
| 38778 | * | * | * | T | T | * | T |
| 38779 | * | * | * | T | T | * | T |
| 38780 | * | * | * | T | T | * | T |
| 38781 | * | * | * | T | F | F | T |
| 42144 | * | T | T | T | T | * | T |
| 42145 | * | * | * | T | F | F | T |
| 45234 | * | T | T | T | T | * | T |
| 45235 | * | * | * | T | T | * | T |
| 48648 | * | T | T | T | T | * | T |
| 48649 | * | * | * | T | T | * | T |
| 51684 | * | T | T | T | T | * | T |
| 51685 | * | * | * | T | F | F | T |
| 61068 | * | F | T | T | T | * | T |
| 61069 | * | T | T | T | F | F | T |
| 61070 | * | * | * | T | T | * | T |
| 61071 | * | * | * | T | F | F | T |
| 61072 | * | * | * | T | F | T | T |
| 61073 | * | * | * | T | T | * | T |
| 61074 | * | * | * | T | F | F | T |
| 61075 | * | T | T | T | F | F | T |
| 61076 | * | * | * | T | F | F | T |
| 61077 | * | T | T | T | T | * | T |
| 61078 | * | T | T | T | T | * | T |
| 61079 | * | * | * | T | F | * | T |
| 61080 | * | * | * | T | T | * | T |
| 61081 | * | * | * | T | F | F | T |
| 61082 | * | * | * | T | F | * | T |
| 61083 | * | * | * | T | F | F | T |
| 61084 | * | T | T | T | F | F | T |
| 61085 | * | * | * | T | F | F | T |
| 61086 | * | * | * | T | T | * | T |
| 61087 | * | * | * | T | F | F | T |
| 61088 | * | * | * | T | T | * | T |
| 61089 | * | * | * | T | T | * | T |
| 61090 | * | * | * | T | F | F | T |
| 61091 | * | * | * | T | T | * | T |
| 61092 | * | * | * | T | F | F | T |
| 61093 | * | * | * | T | T | * | T |
| 61094 | * | * | * | T | F | F | T |
| 61095 | * | * | * | T | F | F | T |
| 70840 | * | F | T | T | T | * | T |
| 70841 | * | T | T | T | F | F | T |
| 70842 | * | * | * | T | T | * | T |
| 70843 | * | * | * | T | F | F | T |
| 70844 | * | * | * | T | F | T | T |
| 70845 | * | * | * | T | T | * | T |
| 70846 | * | * | * | T | F | F | T |
| 70847 | * | T | T | T | F | F | T |
| 70848 | * | * | * | T | F | F | T |
| 70849 | * | T | T | T | T | * | T |
| 70850 | * | T | T | T | T | * | T |
| 70851 | * | * | * | T | F | * | T |
| 70852 | * | * | * | T | T | * | T |
| 70853 | * | * | * | T | F | F | T |
| 70854 | * | * | * | T | F | * | T |
| 70855 | * | * | * | T | F | F | T |
| 70856 | * | T | T | T | F | F | T |
| 70857 | * | * | * | T | F | F | T |
| 70858 | * | * | * | T | T | * | T |
| 70859 | * | * | * | T | F | F | T |
| 70860 | * | * | * | T | T | * | T |
| 70861 | * | * | * | T | T | * | T |
| 70862 | * | * | * | T | F | F | T |
| 70863 | * | * | * | T | T | * | T |
| 70864 | * | * | * | T | F | F | T |
| 70865 | * | * | * | T | T | * | T |
| 70866 | * | * | * | T | F | F | T |
| 70867 | * | * | * | T | F | F | T |
| 74740 | * | * | * | T | F | T | T |
| 74741 | * | * | * | T | F | F | T |
| 74742 | * | * | * | T | F | F | T |
| 78215 | * | * | * | T | F | T | T |
| 78216 | * | * | * | T | F | F | T |
| 78217 | * | * | * | T | F | F | T |
| 81461 | * | * | * | T | F | F | T |
| 82635 | * | * | * | T | F | F | T |
| 83710 | * | * | * | T | F | F | T |
| 109089 | * | * | * | T | F | F | T |
| 109090 | * | * | * | T | F | * | T |
| 109091 | * | * | * | T | F | * | T |
| 109092 | * | * | * | T | F | * | T |
| 109093 | * | * | * | T | T | * | T |
| 109094 | * | * | * | T | F | * | T |
| 109095 | * | * | * | T | F | * | T |
| 109096 | * | * | * | T | F | F | T |
| 109097 | * | * | * | T | F | F | T |
| 109098 | * | * | * | T | F | T | T |
| 109099 | * | * | * | T | F | * | T |
| 109100 | * | * | * | T | F | F | T |
| 109101 | * | * | * | T | F | * | T |
| 109102 | * | * | * | T | T | * | T |
| 109103 | * | * | * | T | F | F | T |
| 109104 | * | * | * | T | F | F | T |
| 109105 | * | * | * | T | F | F | T |
| 109106 | * | * | * | T | T | * | T |
| 109107 | * | * | * | T | F | F | T |
| 109108 | * | * | * | T | F | * | T |
| 109109 | * | * | * | T | F | * | T |
| 109110 | * | * | * | T | F | T | T |
| 109111 | * | * | * | T | F | F | T |
| 109112 | * | * | * | T | F | F | T |
| 109113 | * | * | * | T | T | * | T |
| 109114 | * | * | * | T | F | F | T |
| 109115 | * | * | * | T | F | F | T |
| 109116 | * | * | * | T | F | F | T |
| 109117 | * | * | * | T | F | F | T |
| 109118 | * | * | * | T | T | * | T |
| 109119 | * | * | * | T | F | F | T |
| 109120 | * | * | * | T | F | F | T |
| 109121 | * | * | * | T | F | T | T |
| 109122 | * | * | * | T | F | T | T |
| 109123 | * | * | * | T | F | F | T |
| 109124 | * | * | * | T | T | * | T |
| 109125 | * | * | * | T | F | T | T |
| 109126 | * | * | * | T | F | F | T |
| 127952 | * | * | * | T | F | F | T |
| 127953 | * | * | * | T | F | * | T |
| 127954 | * | * | * | T | F | * | T |
| 127955 | * | * | * | T | F | * | T |
| 127956 | * | * | * | T | T | * | T |
| 127957 | * | * | * | T | F | * | T |
| 127958 | * | * | * | T | F | * | T |
| 127959 | * | * | * | T | F | F | T |
| 127960 | * | * | * | T | F | F | T |
| 127961 | * | * | * | T | F | T | T |
| 127962 | * | * | * | T | F | * | T |
| 127963 | * | * | * | T | F | F | T |
| 127964 | * | * | * | T | F | * | T |
| 127965 | * | * | * | T | T | * | T |
| 127966 | * | * | * | T | F | F | T |
| 127967 | * | * | * | T | F | F | T |
| 127968 | * | * | * | T | F | F | T |
| 127969 | * | * | * | T | T | * | T |
| 127970 | * | * | * | T | F | F | T |
| 127971 | * | * | * | T | F | * | T |
| 127972 | * | * | * | T | F | * | T |
| 127973 | * | * | * | T | F | T | T |
| 127974 | * | * | * | T | F | F | T |
| 127975 | * | * | * | T | F | F | T |
| 127976 | * | * | * | T | T | * | T |
| 127977 | * | * | * | T | F | F | T |
| 127978 | * | * | * | T | F | F | T |
| 127979 | * | * | * | T | F | F | T |
| 127980 | * | * | * | T | F | F | T |
| 127981 | * | * | * | T | T | * | T |
| 127982 | * | * | * | T | F | F | T |
| 127983 | * | * | * | T | F | F | T |
| 127984 | * | * | * | T | F | T | T |
| 127985 | * | * | * | T | F | T | T |
| 127986 | * | * | * | T | F | F | T |
| 127987 | * | * | * | T | T | * | T |
| 127988 | * | * | * | T | F | T | T |
| 127989 | * | * | * | T | F | F | T |
| 130660 | * | * | * | T | T | * | T |
| 131867 | * | * | * | T | T | * | T |
| 133179 | * | * | * | T | T | * | T |
Independent-effect pairs
All 6 conditions live in dlmalloc — 6 br_if
c0(branch5902): DEAD view gap →c1(branch5903): GAP view gap →c2(branch5904): GAP view gap →c3(branch5905): GAP view gap →c4(branch5906): GAP view gap →c5(branch5907): GAP view gap →