maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

When a template-id expression refers to a member function template, turn it into an (implicit) member access expression. Fixes PR5220 

llvm-svn: 84848
This commit is contained in:
Douglas Gregor 2009-10-22 07:19:14 +00:00
parent 6493d9c27e
commit 3c8a0cfa5b
2 changed files with 32 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
clang/lib/Sema/SemaTemplate.cpp
View File

@ -1261,6 +1261,24 @@ Sema::OwningExprResult Sema::BuildTemplateIdExpr(TemplateName Template,
// template arguments that we have against the template name, if the template
// name refers to a single template. That's not a terribly common case,
// though.
// Cope with an implicit member access in a C++ non-static member function.
NamedDecl *D = Template.getAsTemplateDecl();
if (!D)
D = Template.getAsOverloadedFunctionDecl();
QualType ThisType, MemberType;
if (D && isImplicitMemberReference(/*FIXME:??*/0, D, TemplateNameLoc,
ThisType, MemberType)) {
Expr *This = new (Context) CXXThisExpr(SourceLocation(), ThisType);
return Owned(MemberExpr::Create(Context, This, true,
/*FIXME:*/0, /*FIXME:*/SourceRange(),
D, TemplateNameLoc, true,
LAngleLoc, TemplateArgs,
NumTemplateArgs, RAngleLoc,
Context.OverloadTy));
}
return Owned(TemplateIdRefExpr::Create(Context,
/*FIXME: New type?*/Context.OverloadTy,
/*FIXME: Necessary?*/0,

15
clang/test/SemaTemplate/member-access-expr.cpp
View File

@ -74,4 +74,17 @@ void test_destruct(X2 *x2p, int *ip) {
destruct(x2p);
destruct(ip);
destruct_intptr<int>(ip);
}
}
// PR5220
class X3 {
protected:
template <int> float* &f0();
template <int> const float* &f0() const;
void f1() {
(void)static_cast<float*>(f0<0>());
}
void f1() const{
(void)f0<0>();
}
};