| 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 | }; |
|---|
| 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 | |
|---|