[RFC] libstdc++/5734

[Paolo Carlini]

Phil Edwards wrote:

>I'm trying to figure out what the PR submitter's complaint is.
>
>-  If the bug is "this extension is undocumented," then we simply document it
>   like everything else, mark it as an extension, and we're done.
>
Well, for sure *is* an extension and therefore should be documented. I 
agree with you.

On the other hand, I'm not sure about which is the current stance of the 
project wrt this kind of extensions: should they be sooner or later 
sequestered somewhere or not? I agree that they should not be harmful 
(Not Our Problem :-) but they are neither part of the ISO/ANSI standard...

For instance, STLPort enables this push_back() extension with a macro 
named _ENABLE_ANACHRONISMS, or something like that.

Ciao, Paolo.