llvm-capstone/clang/test/SemaCXX/addr-of-overloaded-function-casting.cpp
Douglas Gregor b491ed36b4 Handle the resolution of a reference to a function template (which
includes explicitly-specified template arguments) to a function
template specialization in cases where no deduction is performed or
deduction fails. Patch by Faisal Vali, fixes PR7505!

llvm-svn: 126048
2011-02-19 21:32:49 +00:00

58 lines
2.3 KiB
C++

// RUN: %clang_cc1 -fsyntax-only -verify %s
void g();
void f(); // expected-note 9{{candidate function}}
void f(int); // expected-note 9{{candidate function}}
template<class T> void t(T); // expected-note 6{{candidate function}}
template<class T> void t(T*); // expected-note 6{{candidate function}}
template<class T> void u(T);
int main()
{
{ bool b = (void (&)(char))f; } // expected-error{{does not match required type}}
{ bool b = (void (*)(char))f; } // expected-error{{does not match required type}}
{ bool b = (void (&)(int))f; } //ok
{ bool b = (void (*)(int))f; } //ok
{ bool b = static_cast<void (&)(char)>(f); } // expected-error{{does not match}}
{ bool b = static_cast<void (*)(char)>(f); } // expected-error{{address of overloaded function}}
{ bool b = static_cast<void (&)(int)>(f); } //ok
{ bool b = static_cast<void (*)(int)>(f); } //ok
{ bool b = reinterpret_cast<void (&)(char)>(f); } // expected-error{{cannot resolve}}
{ bool b = reinterpret_cast<void (*)(char)>(f); } // expected-error{{cannot resolve}}
{ bool b = reinterpret_cast<void (*)(char)>(g); } //ok
{ bool b = static_cast<void (*)(char)>(g); } // expected-error{{not allowed}}
{ bool b = reinterpret_cast<void (&)(int)>(f); } // expected-error{{cannot resolve}}
{ bool b = reinterpret_cast<void (*)(int)>(f); } // expected-error{{cannot resolve}}
{ bool b = (int (&)(char))t; } // expected-error{{does not match}}
{ bool b = (int (*)(char))t; } // expected-error{{does not match}}
{ bool b = (void (&)(int))t; } //ok
{ bool b = (void (*)(int))t; } //ok
{ bool b = static_cast<void (&)(char)>(t); } //ok
{ bool b = static_cast<void (*)(char)>(t); } //ok
{ bool b = static_cast<void (&)(int)>(t); } //ok
{ bool b = static_cast<void (*)(int)>(t); } //ok
{ bool b = reinterpret_cast<void (&)(char)>(t); } // expected-error{{cannot resolve}}
{ bool b = reinterpret_cast<void (*)(char)>(t); } // expected-error{{cannot resolve}}
{ bool b = reinterpret_cast<int (*)(char)>(g); } //ok
{ bool b = static_cast<int (*)(char)>(t); } // expected-error{{cannot be static_cast}}
{ bool b = static_cast<int (&)(char)>(t); } // expected-error{{does not match required}}
{ bool b = static_cast<void (&)(char)>(f); } // expected-error{{does not match}}
}