[v3] C++11 allocator reqs for vector in debug & profile mode

[Jonathan Wakely]

This adds C++11 allocator support to vector in debug mode and profile
mode.  It also fixes an unrelated bug in
__profile::vector::push_back(_Tp&&)

        * include/bits/stl_vector.h (vector::_Alloc_traits): Make private.
        * include/debug/vector: Add allocator-extended constructors, ensure
        move assignment and swap have same allocator propagation semantics
        and exceptions specification as base class.
        * include/profile/vector: Likewise.
        (vector::push_back(_Tp&&)): Forward argument as rvalue.
        * testsuite/23_containers/vector/debug/alloc_prop.cc: New.
        * doc/xml/manual/status_cxx2011.xml: Clarify status of container
        requirements with respect to allocators.
        (status.iso.200x): Add anchor for old ID to preserve existing links.

(Sorry this took so long to do, Paolo!)

Tested on x86_64-linux with make check, and for most of the testsuite
with check-debug check-profile.

Committed to trunk.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: vec-alloc-modes.patch
Type: text/x-patch
Size: 8609 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20111109/c6786270/attachment.bin>