test/SemaCXX/addr-of-overloaded-function-casting.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 void g();
   3
   4 void f(); // expected-note 9{{candidate function}}
   5 void f(int); // expected-note 9{{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 }