[cfe-dev] A question related to bug 5866.

[John McCall]

On May 27, 2010, at 3:44 PM, Enea Zaffanella wrote:
> If I understand the ratio from clang documentation, since these are dependent, they are not actual function template specializations/instances, hence method
>   FunctionDecl::isFunctionTemplateSpecialization()
> is allowed to return false and method
>   FunctionDecl::getTemplateSpecializationKind()
> returns TSK_Undeclared.

Ah, yes, if either the template arguments or the function itself are dependent then we won't resolve it to a specialization, that is true.

> It would be nicer if a more uniform naming scheme and a common iteration pattern were available.

I've remarked this myself;  it's really just a historical accident that things have fallen out this way.  That would be a very reasonable refactor.

John.