remove freed chunk from list to avoid double frees
authorMathieu Lacage <mathieu.lacage@sophia.inria.fr>
Thu, 05 May 2011 15:15:42 +0200
changeset 70f88649919a71
parent 69 19d7af80f47f
child 71 38b25a74e8e7
remove freed chunk from list to avoid double frees
model/kingsley-alloc.cc
     1.1 --- a/model/kingsley-alloc.cc	Thu May 05 14:27:14 2011 +0200
     1.2 +++ b/model/kingsley-alloc.cc	Thu May 05 15:15:42 2011 +0200
     1.3 @@ -228,6 +228,7 @@
     1.4  	    {
     1.5  	      REPORT_FREE(buffer);
     1.6  	      MmapFree (buffer, size);
     1.7 +	      m_chunks.erase (i);
     1.8  	      return;
     1.9  	    }
    1.10  	}