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