Re: libstdc++/10505

["Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>]

The following reply was made to PR libstdc++/10505; it has been noted by GNATS.

From: "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>
To: Wolfgang Bangerth <bangerth@ices.utexas.edu>
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<Foo> 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!