id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
7350	allocator_destructor does not destroy object	olli	viboes	"allocator_destructor<>::operator(pointer p) does only call container::allocator_traits<>::deallocate() which does only free the storage.

Solution: call container::allocator_traits<>::destroy() before container::allocator_traits<>::deallocate()."	Bugs	closed	Boost 1.52.0	thread	Boost 1.51.0	Problem	fixed