| // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
| |
| struct global { |
| }; |
| |
| namespace PR10127 { |
| struct outer { |
| struct middle { |
| struct inner { |
| int func(); |
| int i; |
| }; |
| struct inner2 { |
| }; |
| struct inner3 { |
| }; |
| int mfunc(); |
| }; |
| typedef int td_int; |
| }; |
| |
| struct str { |
| operator decltype(outer::middle::inner()) (); |
| operator decltype(outer::middle())::inner2 (); |
| operator decltype(outer())::middle::inner3 (); |
| str(int (decltype(outer::middle::inner())::*n)(), |
| int (decltype(outer::middle())::inner::*o)(), |
| int (decltype(outer())::middle::inner::*p)()); |
| }; |
| |
| decltype(outer::middle::inner()) a; |
| void scope() { |
| a.decltype(outer::middle())::mfunc(); // expected-error{{'PR10127::outer::middle::mfunc' is not a member of class 'decltype(outer::middle::inner())'}} |
| a.decltype(outer::middle::inner())::func(); |
| a.decltype(outer::middle())::inner::func(); |
| a.decltype(outer())::middle::inner::func(); |
| |
| a.decltype(outer())::middle::inner::~inner(); |
| |
| decltype(outer())::middle::inner().func(); |
| } |
| decltype(outer::middle())::inner b; |
| decltype(outer())::middle::inner c; |
| decltype(outer())::fail d; // expected-error{{no type named 'fail' in 'PR10127::outer'}} |
| decltype(outer())::fail::inner e; // expected-error{{no member named 'fail' in 'PR10127::outer'}} |
| decltype()::fail f; // expected-error{{expected expression}} |
| decltype()::middle::fail g; // expected-error{{expected expression}} |
| |
| decltype(int()) h; |
| decltype(int())::PR10127::outer i; // expected-error{{'decltype(int())' (aka 'int') is not a class, namespace, or enumeration}} |
| decltype(int())::global j; // expected-error{{'decltype(int())' (aka 'int') is not a class, namespace, or enumeration}} |
| |
| outer::middle k = decltype(outer())::middle(); |
| outer::middle::inner l = decltype(outer())::middle::inner(); |
| |
| template<typename T> |
| struct templ { |
| typename decltype(T())::middle::inner x; // expected-error{{type 'decltype(int())' (aka 'int') cannot be used prior to '::' because it has no members}} |
| }; |
| |
| template class templ<int>; // expected-note{{in instantiation of template class 'PR10127::templ<int>' requested here}} |
| template class templ<outer>; |
| |
| enum class foo { |
| bar, |
| baz |
| }; |
| |
| foo m = decltype(foo::bar)::baz; |
| |
| enum E { |
| }; |
| struct bar { |
| enum E : decltype(outer())::td_int(4); |
| enum F : decltype(outer())::td_int; |
| enum G : decltype; // expected-error{{expected '(' after 'decltype'}} |
| }; |
| } |