[v3] Use Alloc::ppinter in std::vector

[Paolo Carlini]

Hi,

I'm committing immediately to mainline the uncontroversial changes to
std::vector suggested by Bob as part of his work on "extended pointers"
support. Tested x86_64-linux.

Paolo.

///////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_vector_pointer
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20081008/75baf02f/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_vector_pointer
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20081008/75baf02f/attachment-0001.ksh>