[Bug c++/2204] G++ doesn't check (member) function parameter for abstract-ness.

[gdr at integrable-solutions dot net]

------- 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