clang/test/CXX/dcl.decl/dcl.meaning/dcl.fct/p6.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 typedef void F() const;
   4
   5 void f() const; // expected-error {{non-member function cannot have 'const' qualifier}}
   6 F g; // expected-error {{non-member function of type 'F' (aka 'void () const') cannot have 'const' qualifier}}
   7
   8 struct X {
   9   void f() const;
  10   friend void g() const; // expected-error {{non-member function cannot have 'const' qualifier}}
  11   static void h() const; // expected-error {{static member function cannot have 'const' qualifier}}
  12   F i; // ok
  13   friend F j; // expected-error {{non-member function of type 'F' (aka 'void () const') cannot have 'const' qualifier}}
  14   static F k; // expected-error {{static member function of type 'F' (aka 'void () const') cannot have 'const' qualifier}}
  15 };
  16
  17 struct Y {
  18   friend void X::f() const;
  19   friend void ::f() const; // expected-error {{non-member function cannot have 'const' qualifier}}
  20 };
  21
  22 template<typename T> struct S {
  23   typedef T F;
  24   typedef T *P; // expected-error {{pointer to function type 'void () const' cannot have 'const' qualifier}}
  25   typedef T &R; // expected-error {{reference to function type 'void () const' cannot have 'const' qualifier}}
  26 };
  27 S<F> s; // expected-note {{in instantiation of}}
  28
  29 // FIXME: This is ill-formed.
  30 template<typename T> struct U {
  31   void f(T);
  32 };
  33 U<F> u;