blob: cfd55eed81d59ad6f6d74637f4f3cae223b4a813 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
// 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}}
}
|
