id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
6561,pool.free() crashes if given a null pointer,Étienne Dupuis <e.dupuis@…>,John Maddock,"The documentation states that the pointer given to pool.free() should be a pointer returned by pool.malloc().

However, if pool.malloc() fails and return a null value, calling pool.free() with the returned value does crash...

It would be nice if pool.free() did not crash given a null pointer.

Example crash :
{{{
pool.free(pool.malloc());
}}}

Regards",Bugs,new,To Be Determined,pool,Boost 1.47.0,Problem,,,