crash on invalid use of variable of type "const T&" where T = an unbound method

[llvmbot]

Bugzilla Link	10785
Resolution	FIXED
Resolved on	Oct 09, 2011 15:46
Version	trunk
OS	Linux
Reporter	LLVM Bugzilla Contributor
CC	@DougGregor

Extended Description

clang++ -fsyntax-only test.cc crashes on this invalid code:

struct Class {
void method();
};
template struct Helper {
virtual void helper(T x) {
x;
}
};
struct FunctionLike {
template void operator()(const T&) {
Helper<const T&> helper;
}
};
void TestBody() {
Class cls;
FunctionLike fl;
fl(cls.method);
}

with this assertion:

clang: SemaExpr.cpp:9968: clang::ExprResult clang::Sema::CheckPlaceholderExpr(clang::Expr*): Assertion `!type->isPlaceholderType()' failed.

[DougGregor]

This no longer crashes with mainline Clang:

t2.cpp:17:5: error: no matching function for call to object of type
'FunctionLike'
fl(cls.method);
^~
t2.cpp:10:31: note: candidate template ignored: couldn't infer template argument
'T'
template void operator()(const T&) {
^