clang/test/CXX/class.derived/p1.cpp

   1 // RUN: %clang_cc1 %s -fsyntax-only -verify -std=c++11
   2
   3 // base-clause:
   4 //         : base-specifier-list
   5 // base-specifier-list:
   6 //         base-specifier ...[opt]
   7 //         base-specifier-list , base-specifier ...[opt]
   8 // base-specifier:
   9 //         attribute-specifier-seq[opt] base-type-specifier
  10 //         attribute-specifier-seq[opt] virtual access-specifier[opt] base-type-specifier
  11 //         attribute-specifier-seq[opt] access-specifier virtual[opt] base-type-specifier
  12 // class-or-decltype:
  13 //         nested-name-specifier[opt] class-name
  14 //         decltype-specifier
  15 // base-type-specifier:
  16 //         class-or-decltype
  17 // access-specifier:
  18 //         private
  19 //         protected
  20 //         public
  21
  22 namespace PR11216 {
  23   struct Base { };
  24   struct Derived : decltype(Base()) { };
  25
  26   int func();
  27   struct Derived2 : decltype(func()) { }; // expected-error {{base specifier must name a class}}
  28
  29   template<typename T>
  30   struct Derived3 : decltype(T().foo()) { };
  31   struct Foo { Base foo(); };
  32   Derived3<Foo> d;
  33
  34   struct Derived4 : :: decltype(Base()) { }; // expected-error {{unexpected namespace scope prior to decltype}}
  35
  36   struct Derived5 : PR11216:: decltype(Base()) { }; // expected-error {{unexpected namespace scope prior to decltype}}
  37
  38   template<typename T>
  39   struct Derived6 : typename T::foo { }; // expected-error {{'typename' is redundant; base classes are implicitly types}}
  40 }