From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7757 invoked by alias); 29 Apr 2003 17:06: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 7741 invoked by uid 71); 29 Apr 2003 17:06:01 -0000 Date: Tue, 29 Apr 2003 17:06:00 -0000 Message-ID: <20030429170601.7740.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: "Christian Ehrhardt" Subject: Re: libstdc++/10505 Reply-To: "Christian Ehrhardt" X-SW-Source: 2003-04/txt/msg01355.txt.bz2 List-Id: The following reply was made to PR libstdc++/10505; it has been noted by GNATS. From: "Christian Ehrhardt" To: Wolfgang Bangerth Cc: gcc-gnats@gcc.gnu.org Subject: Re: libstdc++/10505 Date: Tue, 29 Apr 2003 18:57:18 +0200 On Tue, Apr 29, 2003 at 09:25:19AM -0500, Wolfgang Bangerth wrote: > > [I guess we should continue in English and add this to the audit trail.] Yes we should. Here's an english summery of a private (german) diskussion with Wolfgang (partly reproduced by Wolfgang above): * The bug apparently needs --enable-concept-checks at compile time of gcc to trigger. [ Could the submitter please confirm this? g++ -v will hopefully tell the configuration options. ] * The basic question is: Is std::list allowed to contain a field of type ``Foo'' (as opposed to ``Foo *'')? Basically this is what happens with the current list implementation if --enable-concept-checks is used. The program breaks because it tries to instantiate std::list with an incomplete type. * If the answer to the above is yes, the Bug is a user error. Otherwise it is probably a problem in the concept checks code. Note: The standard explicitly permits incomplete types as template arguments in an instantiation. regards Christian -- THAT'S ALL FOLKS!