| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | void g(); |
|---|
| 3 | |
|---|
| 4 | void f(); // expected-note 11{{candidate function}} |
|---|
| 5 | void f(int); // expected-note 11{{candidate function}} |
|---|
| 6 | |
|---|
| 7 | template <class T> |
|---|
| 8 | void t(T); // expected-note 3{{candidate function}} \ |
|---|
| 9 | // expected-note 3{{candidate template ignored: could not match 'void' against 'int'}} |
|---|
| 10 | template <class T> |
|---|
| 11 | void t(T *); // expected-note 3{{candidate function}} \ |
|---|
| 12 | // expected-note 3{{candidate template ignored: could not match 'void' against 'int'}} |
|---|
| 13 | |
|---|
| 14 | template<class T> void u(T); |
|---|
| 15 | |
|---|
| 16 | int main() |
|---|
| 17 | { |
|---|
| 18 | { bool b = (void (&)(char))f; } // expected-error{{does not match required type}} |
|---|
| 19 | { bool b = (void (*)(char))f; } // expected-error{{does not match required type}} |
|---|
| 20 | |
|---|
| 21 | { bool b = (void (&)(int))f; } //ok |
|---|
| 22 | { bool b = (void (*)(int))f; } //ok |
|---|
| 23 | |
|---|
| 24 | { bool b = static_cast<void (&)(char)>(f); } // expected-error{{does not match}} |
|---|
| 25 | { bool b = static_cast<void (*)(char)>(f); } // expected-error{{address of overloaded function}} |
|---|
| 26 | |
|---|
| 27 | { bool b = static_cast<void (&)(int)>(f); } //ok |
|---|
| 28 | { bool b = static_cast<void (*)(int)>(f); } //ok |
|---|
| 29 | |
|---|
| 30 | |
|---|
| 31 | { bool b = reinterpret_cast<void (&)(char)>(f); } // expected-error{{cannot resolve}} |
|---|
| 32 | { bool b = reinterpret_cast<void (*)(char)>(f); } // expected-error{{cannot resolve}} |
|---|
| 33 | |
|---|
| 34 | { bool b = reinterpret_cast<void (*)(char)>(g); } //ok |
|---|
| 35 | { bool b = static_cast<void (*)(char)>(g); } // expected-error{{not allowed}} |
|---|
| 36 | |
|---|
| 37 | { bool b = reinterpret_cast<void (&)(int)>(f); } // expected-error{{cannot resolve}} |
|---|
| 38 | { bool b = reinterpret_cast<void (*)(int)>(f); } // expected-error{{cannot resolve}} |
|---|
| 39 | |
|---|
| 40 | { bool b = (int (&)(char))t; } // expected-error{{does not match}} |
|---|
| 41 | { bool b = (int (*)(char))t; } // expected-error{{does not match}} |
|---|
| 42 | |
|---|
| 43 | { bool b = (void (&)(int))t; } //ok |
|---|
| 44 | { bool b = (void (*)(int))t; } //ok |
|---|
| 45 | |
|---|
| 46 | { bool b = static_cast<void (&)(char)>(t); } //ok |
|---|
| 47 | { bool b = static_cast<void (*)(char)>(t); } //ok |
|---|
| 48 | |
|---|
| 49 | { bool b = static_cast<void (&)(int)>(t); } //ok |
|---|
| 50 | { bool b = static_cast<void (*)(int)>(t); } //ok |
|---|
| 51 | |
|---|
| 52 | |
|---|
| 53 | { bool b = reinterpret_cast<void (&)(char)>(t); } // expected-error{{cannot resolve}} |
|---|
| 54 | { bool b = reinterpret_cast<void (*)(char)>(t); } // expected-error{{cannot resolve}} |
|---|
| 55 | |
|---|
| 56 | { bool b = reinterpret_cast<int (*)(char)>(g); } //ok |
|---|
| 57 | { bool b = static_cast<int (*)(char)>(t); } // expected-error{{cannot be static_cast}} |
|---|
| 58 | { bool b = static_cast<int (&)(char)>(t); } // expected-error{{does not match required}} |
|---|
| 59 | |
|---|
| 60 | { bool b = static_cast<void (&)(char)>(f); } // expected-error{{does not match}} |
|---|
| 61 | |
|---|
| 62 | { |
|---|
| 63 | // The error should be reported when casting overloaded function to the |
|---|
| 64 | // compatible function type (not to be confused with function pointer or |
|---|
| 65 | // function reference type.) |
|---|
| 66 | typedef void (FnType)(int); |
|---|
| 67 | FnType a = static_cast<FnType>(f); // expected-error{{address of overloaded function}} |
|---|
| 68 | FnType b = (FnType)(f); // expected-error{{address of overloaded function}} |
|---|
| 69 | } |
|---|
| 70 | } |
|---|
| 71 | |
|---|