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,,,