]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - test/SemaCXX/conversion-delete-expr.cpp
Vendor import of clang release_30 branch r142614:
[FreeBSD/FreeBSD.git] / test / SemaCXX / conversion-delete-expr.cpp
1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2
3 // Test1
4 struct B {
5   operator char *(); // expected-note {{candidate function}}
6 };
7
8 struct D : B {
9   operator int *(); // expected-note {{candidate function}}
10 };
11
12 void f (D d)
13 {
14    delete d; // expected-error {{ambiguous conversion of delete expression of type 'D' to a pointer}}
15 }
16
17 // Test2
18 struct B1 {
19   operator int *();
20 };
21
22 struct D1 : B1 {
23   operator int *();
24 };
25
26 void f1 (D1 d)
27 {
28    delete d;
29 }
30
31 // Test3
32 struct B2 {
33   operator const int *();       // expected-note {{candidate function}}
34 };
35
36 struct D2 : B2 {
37   operator int *();     // expected-note {{candidate function}}
38 };
39
40 void f2 (D2 d)
41 {
42    delete d; // expected-error {{ambiguous conversion of delete expression of type 'D2' to a pointer}}
43 }
44
45 // Test4
46 struct B3 {
47   operator const int *();       // expected-note {{candidate function}}
48 };
49
50 struct A3 {
51   operator const int *();       // expected-note {{candidate function}}
52 };
53
54 struct D3 : A3, B3 {
55 };
56
57 void f3 (D3 d)
58 {
59    delete d; // expected-error {{ambiguous conversion of delete expression of type 'D3' to a pointer}}
60 }
61
62 // Test5
63 struct X {
64    operator int();
65    operator int*();
66 };
67
68 void f4(X x) { delete x; delete x; }
69
70 // Test6
71 struct X1 {
72    operator int();
73    operator int*();
74    template<typename T> operator T*() const; // converts to any pointer!
75 };
76
77 void f5(X1 x) { delete x; }  // OK. In selecting a conversion to pointer function, template convesions are skipped.
78
79 // Test7
80 struct Base {
81    operator int*();     
82 };
83
84 struct Derived : Base {
85    // not the same function as Base's non-const operator int()
86    operator int*() const;
87 };
88
89 void foo6(const Derived cd, Derived d) {
90         // overload resolution selects Derived::operator int*() const;
91         delete cd;
92         delete d;       
93 }
94
95 // Test8
96 struct BB {
97    template<typename T> operator T*() const;
98 };
99
100 struct DD : BB {
101    template<typename T> operator T*() const; // hides base conversion
102    operator int *() const;
103 };
104
105 void foo7 (DD d)
106 {
107         // OK. In selecting a conversion to pointer function, template convesions are skipped.
108         delete d;
109 }