On 05/12/2015 01:38 AM, Timon Gehr wrote: >> >>> - If b.ptr is null, then line 113 is bad in case goodAllocSize(0) > 0. >> >> That should be fixed in the same commit; I just handle expansion of null >> blocks up front in expand(). >> ... > > OK. (Scrap that.)