clang/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 {{conversion to pointer type}}
   6 };
   7
   8 struct D : B {
   9   operator int *(); // expected-note {{conversion to pointer type}}
  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 {{conversion to pointer type}}
  34 };
  35
  36 struct D2 : B2 {
  37   operator int *(); // expected-note {{conversion to pointer type}}
  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 {{conversion to pointer type}}
  48 };
  49
  50 struct A3 {
  51   operator const int *(); // expected-note {{conversion to pointer type}}
  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 }