1// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2
3struct global {
4};
5
6namespace 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 scoped enumeration}}
51  decltype(int())::global j; // expected-error{{'decltype(int())' (aka 'int') is not a class, namespace, or scoped 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  };
73  struct bar {
74    enum E : decltype(outer())::td_int(4);
75    enum F : decltype(outer())::td_int;
76    enum G : decltype; // expected-error{{expected '(' after 'decltype'}}
77  };
78}
79