C++ PATCH: Diagnose use of abstract class in function prototype

[Gabriel Dos Reis]

Jason Merrill <jason_merrill@redhat.com> writes:

| > My question is: Is it correct to consider the case nested_class is a
| > TEMPLATE_DECL and look for its full specializations? I guess it is but
| > I need confirmation (because I've found the hard way that the
| > documentation doesn't always match what effectively happens).
| 
| That sounds safe, though it makes me a bit nervous.
| 
| What would you think about implementing this checking by having
| abstract_virtuals_error notice incomplete classes and add them to a list
| which is then walked when we finish processing class definitions?  That
| would also allow us to catch problems in instantiations of templates which
| are not nested within Y.

This definitely sounds good to me.  

Thanks!

-- Gaby
CodeSourcery, LLC                       http://www.codesourcery.com