std::vector: Memory allocation in copy constructor for empty vector

[Paolo Carlini]

... the below is the variant which I tested on x86 and x86_64 and I mean 
to actually commit. Note that leaving out any additional check in 
deallocate is actually much better from the point of view of binary 
compatibility between objects built with patched/unpatched headers: with 
this version should be perfectly safe to pass vectors between such two 
objects.

Paolo.

///////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_zsa
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20070906/c79362cb/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_zsa
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20070906/c79362cb/attachment-0001.ksh>