From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6918 invoked by alias); 14 Nov 2002 19:56:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 6872 invoked by uid 71); 14 Nov 2002 19:56:01 -0000 Date: Wed, 20 Nov 2002 18:20:00 -0000 Message-ID: <20021114195601.6871.qmail@sources.redhat.com> To: bkoz@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Benjamin Kosnik Subject: Re: libstdc++/8230: Buggy allocator behaviour Reply-To: Benjamin Kosnik X-SW-Source: 2002-11/txt/msg00696.txt.bz2 List-Id: The following reply was made to PR libstdc++/8230; it has been noted by GNATS. From: Benjamin Kosnik To: Benjamin Kosnik Cc: gdr@integrable-solutions.net, bkoz@gcc.gnu.org, gcc-bugs@gcc.gnu.org, jkanze@caicheuvreux.com, gcc-gnats@gcc.gnu.org, libstdc++@gcc.gnu.org Subject: Re: libstdc++/8230: Buggy allocator behaviour Date: Thu, 14 Nov 2002 13:50:13 -0600 >The allocator_type typedef is always allocator, as far as I can tell. Ok, coffee break. This is wrong, by inspection. >And _Alloc_type (should be __underlying_allocator or whatever) seems >superfluous. The points about a simpler way still seem true though. -benjamin