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.)

Reply via email to