replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Don't allow template argument deduction to deduce a placeholder type, 

ever. Fixes PR10939.

llvm-svn: 140304
This commit is contained in:
Douglas Gregor 2011-09-22 15:57:07 +00:00
parent 8cb0035ee9
commit 4ea5dec0e5
2 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/Sema/SemaTemplateDeduction.cpp
View File

@ -977,6 +977,10 @@ DeduceTemplateArguments(Sema &S,
// cv-list T
if (const TemplateTypeParmType *TemplateTypeParm
= Param->getAs<TemplateTypeParmType>()) {
// Just skip any attempts to deduce from a placeholder type.
if (Arg->isPlaceholderType())
return Sema::TDK_Success;
unsigned Index = TemplateTypeParm->getIndex();
bool RecanonicalizeArg = false;

17
clang/test/CXX/dcl.dcl/dcl.spec/dcl.type/dcl.spec.auto/p6.cpp
View File

@ -83,4 +83,21 @@ struct S {
}
};
namespace PR10939 {
struct X {
int method(int);
int method(float);
};
template<typename T> T g(T);
void f(X *x) {
auto value = x->method; // expected-error{{variable 'value' with type 'auto' has incompatible initializer of type '<bound member function type>'}}
if (value) { }
auto funcptr = &g<int>;
int (*funcptr2)(int) = funcptr;
}
}
// TODO: if the initializer is a braced-init-list, deduce auto as std::initializer_list<T>.