clang/test/CXX/expr/expr.prim/expr.prim.general/p8-0x.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
   2
   3 struct global {
   4 };
   5
   6 namespace PR10127 {
   7   struct outer {
   8     struct middle {
   9       struct inner {
  10         int func();
  11         int i;
  12       };
  13       struct inner2 {
  14       };
  15       struct inner3 {
  16       };
  17       int mfunc();
  18     };
  19     typedef int td_int;
  20   };
  21
  22   struct str {
  23     operator decltype(outer::middle::inner()) ();
  24     operator decltype(outer::middle())::inner2 ();
  25     operator decltype(outer())::middle::inner3 ();
  26     str(int (decltype(outer::middle::inner())::*n)(),
  27              int (decltype(outer::middle())::inner::*o)(),
  28              int (decltype(outer())::middle::inner::*p)());
  29   };
  30
  31   decltype(outer::middle::inner()) a;
  32   void scope() {
  33     a.decltype(outer::middle())::mfunc(); // expected-error{{'PR10127::outer::middle::mfunc' is not a member of class 'decltype(outer::middle::inner())'}}
  34     a.decltype(outer::middle::inner())::func();
  35     a.decltype(outer::middle())::inner::func();
  36     a.decltype(outer())::middle::inner::func();
  37
  38     a.decltype(outer())::middle::inner::~inner();
  39
  40     decltype(outer())::middle::inner().func();
  41   }
  42   decltype(outer::middle())::inner b;
  43   decltype(outer())::middle::inner c;
  44   decltype(outer())::fail d; // expected-error{{no type named 'fail' in 'PR10127::outer'}}
  45   decltype(outer())::fail::inner e; // expected-error{{no member named 'fail' in 'PR10127::outer'}}
  46   decltype()::fail f; // expected-error{{expected expression}}
  47   decltype()::middle::fail g; // expected-error{{expected expression}}
  48
  49   decltype(int()) h;
  50   decltype(int())::PR10127::outer i; // expected-error{{'decltype(int())' (aka 'int') is not a class, namespace, or enumeration}}
  51   decltype(int())::global j; // expected-error{{'decltype(int())' (aka 'int') is not a class, namespace, or enumeration}}
  52
  53   outer::middle k = decltype(outer())::middle();
  54   outer::middle::inner l = decltype(outer())::middle::inner();
  55
  56   template<typename T>
  57   struct templ {
  58     typename decltype(T())::middle::inner x; // expected-error{{type 'decltype(int())' (aka 'int') cannot be used prior to '::' because it has no members}}
  59   };
  60
  61   template class templ<int>; // expected-note{{in instantiation of template class 'PR10127::templ<int>' requested here}}
  62   template class templ<outer>;
  63
  64   enum class foo {
  65     bar,
  66     baz
  67   };
  68
  69   foo m = decltype(foo::bar)::baz;
  70
  71   enum E {};
  72   enum H {};
  73   struct bar {
  74     enum E : decltype(outer())::td_int(4); // expected-error{{anonymous bit-field}}
  75     enum F : decltype(outer())::td_int;
  76     enum G : decltype; // expected-error{{expected '(' after 'decltype'}}
  77     enum H : 4; // expected-error {{anonymous bit-field}}
  78   };
  79 }