id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
8358	queue::push incoherent documentation	viboes	timblechmann	"The documentation of queue::push states in the postcondition that the object is pushed if the queue if internal node can be allocated, but this in contradiction with Note that states that a new node could be allocated from the OS.

I suggest to add a Effects clause to all the documentation to states clearly the effects of each function, as it done for the C++ standard and a lot of Boost libraries.

{{{
bool push(T const & t);

Pushes object t to the queue.

Note

Thread-safe. If internal memory pool is exhausted and the memory pool is not fixed-sized, a new node will be allocated from the OS. This may not be lock-free.

Postconditions:

object will be pushed to the queue, if internal node can be allocated

Returns:

true, if the push operation is successful.
}}}
"	Bugs	new	To Be Determined	lockfree	Boost 1.53.0	Problem