This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: [RFC] libstdc++/5734
- From: Phil Edwards <phil at jaj dot com>
- To: Paolo Carlini <pcarlini at unitus dot it>
- Cc: libstdc++ at gcc dot gnu dot org
- Date: Wed, 20 Feb 2002 10:51:46 -0500
- Subject: Re: [RFC] libstdc++/5734
- References: <3C73905D.512F6FEE@unitus.it>
On Wed, Feb 20, 2002 at 01:02:37PM +0100, Paolo Carlini wrote:
>
> the first part of this PR is about the extension *member* of the vector class:
>
> vector::push_back()
>
> which adds a default constructed element at the end.
>
> What should we do?
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.
- If the bug is "we meant to call push_back(foo), but we accidentally called
push_back(), and the compiler should have errored, and it didn't, and it's
a library bug," then I tend to view that as Not Our Problem. :-)
Phil
--
If ye love wealth greater than liberty, the tranquility of servitude greater
than the animating contest for freedom, go home and leave us in peace. We seek
not your counsel, nor your arms. Crouch down and lick the hand that feeds you;
and may posterity forget that ye were our countrymen. - Samuel Adams