clang/test/CXX/expr/expr.unary/expr.unary.op/p4.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 namespace test0 {
   4   struct A {
   5     void foo(void (A::*)(int)); // expected-note {{passing argument to parameter here}}
   6     template<typename T> void g(T);
   7
   8     void test() {
   9       foo(&g<int>); // expected-error-re {{cannot form member pointer of type 'void (test0::A::*)(int){{( __attribute__\(\(thiscall\)\))?}}' without '&' and class name}}
  10     }
  11   };
  12 }
  13
  14 // This should succeed.
  15 namespace test1 {
  16   struct A {
  17     static void f(void (A::*)());
  18     static void f(void (*)(int));
  19     void g();
  20     static void g(int);
  21
  22     void test() {
  23       f(&g);
  24     }
  25   };
  26 }
  27
  28 namespace test2 {
  29   struct A {
  30     static int foo(short);
  31     static int foo(float);
  32     int foo(int);
  33     int foo(double);
  34
  35     void test();
  36   };
  37
  38   void A::test() {
  39     // FIXME: The error message in this case is less than clear, we can do
  40     // better.
  41     int (A::*ptr)(int) = &(A::foo); // expected-error {{cannot create a non-constant pointer to member function}}
  42   }
  43 }