This is the mail archive of the
gcc-prs@gcc.gnu.org
mailing list for the GCC project.
Re: libstdc++/10505: concepts checks fail if container of X is used as member variable of X
- From: ehrhardt at mathematik dot uni-ulm dot de
- To: gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, nobody at gcc dot gnu dot org, tjj at aol dot net
- Date: 5 May 2003 14:43:40 -0000
- Subject: Re: libstdc++/10505: concepts checks fail if container of X is used as member variable of X
- Reply-to: ehrhardt at mathematik dot uni-ulm dot de, gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, nobody at gcc dot gnu dot org, tjj at aol dot net, gcc-gnats at gcc dot gnu dot org
Synopsis: concepts checks fail if container of X is used as member variable of X
State-Changed-From-To: analyzed->closed
State-Changed-By: cae
State-Changed-When: Mon May 5 14:43:39 2003
State-Changed-Why:
This is not a bug. According to the standard, the behaviour is
undefined, if one tries to instantiate an STL-template with an
incomplete type. gcc accepts this code and does the right thing,
if concepts checks are disabled at compile time. If concepts checks
are enabled, there is additional code that checks that STL template
parameters meet the requirements of the standard. As an incomplete
type doesn't meet these requirements, the code is rightfully rejected.
See the diskussion following http://gcc.gnu.org/ml/gcc/2003-04/msg01516.html
on the gcc-Mailinglist for more details.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10505