vector doesn't use the pointer defined in its allocator

[Paolo Carlini]

Hi,

> Thanks for explications 

the issue is well known: we have an open PR (libstdc++/21771) and I'm 
sure you can find a few relevant exchanges in the archive. Only some 
quick additional points:
1- The issue, even for std::vectors, a simple case, is not trivial. See, 
f.i.:

    http://gcc.gnu.org/ml/libstdc++/2005-05/msg00372.html

2- Personally, I'm going to look into it very soon, anyway. Stay tuned! ;)
3- As far as the current standard is concerned, we (that is the original 
HP/SGI implementation that we inherited and improved in libstdc++) are 
simply making use of 20.1.5/4, which *allows* to assume that 
allocator::pointer == T* and so on.

Thanks,
Paolo.