This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/2204] G++ doesn't check (member) function parameter for abstract-ness.
- From: "gdr at integrable-solutions dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 9 Feb 2004 05:03:27 -0000
- Subject: [Bug c++/2204] G++ doesn't check (member) function parameter for abstract-ness.
- References: <20010307052600.2204.gdr@codesourcery.com>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From gdr at integrable-solutions dot net 2004-02-09 05:03 -------
Subject: Re: G++ doesn't check (member) function parameter for abstract-ness.
"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:
| The problem is that we currently check for abstractness of parameter types in
| gorkparms, which is way too early for the current class. Putting it into
| start_function is a stop-gap, but 10.4/3 says that *declarations* are ill-
| formed, there is no need for a definition.
|
| I tried another approacch, which is doing the check in finish_struct_1, after
| CLASSTYPE_PURE_VIRTUALS has been properly calculated. But this does not cure
| testcases like:
If I recall correctly, Jason suggested we put those things onto a list
that we walk latter, either after class-scope completed or
instantiation time. I don't have a reference to Jason's message but
it should be reachable through Google.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2204