blob: edf4c138a840283f4d760111ff66c44d29dd4952 [file] [log] [blame]
Douglas Gregor717a2bf2010-11-08 03:58:01 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
2void g();
3
Stephen Hines6bcf27b2014-05-29 04:14:42 -07004void f(); // expected-note 11{{candidate function}}
5void f(int); // expected-note 11{{candidate function}}
Douglas Gregor717a2bf2010-11-08 03:58:01 +00006
Larisse Voufo43847122013-07-19 23:00:19 +00007template <class T>
Richard Smith72a36a12013-08-14 00:00:44 +00008void t(T); // expected-note 3{{candidate function}} \
Larisse Voufo43847122013-07-19 23:00:19 +00009 // expected-note 3{{candidate template ignored: could not match 'void' against 'int'}}
10template <class T>
Richard Smith72a36a12013-08-14 00:00:44 +000011void t(T *); // expected-note 3{{candidate function}} \
Larisse Voufo43847122013-07-19 23:00:19 +000012 // expected-note 3{{candidate template ignored: could not match 'void' against 'int'}}
Douglas Gregor717a2bf2010-11-08 03:58:01 +000013
14template<class T> void u(T);
15
16int 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}}
Stephen Hines6bcf27b2014-05-29 04:14:42 -070061
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 }
Douglas Gregor717a2bf2010-11-08 03:58:01 +000070}