Douglas Gregor | d769bfa | 2009-05-27 17:30:49 +0000 | [diff] [blame^] | 1 | // RUN: clang-cc -fsyntax-only -verify %s |
Douglas Gregor | e919fb0 | 2009-05-27 17:07:49 +0000 | [diff] [blame] | 2 | |
| 3 | namespace N { |
| 4 | struct Outer { |
| 5 | struct Inner { |
| 6 | template<typename T> |
| 7 | struct InnerTemplate { |
| 8 | struct VeryInner { |
| 9 | typedef T type; |
| 10 | |
| 11 | static enum K1 { K1Val = sizeof(T) } Kind1; |
Douglas Gregor | 8d71743 | 2009-05-27 17:20:35 +0000 | [diff] [blame] | 12 | static enum { K2Val = sizeof(T)*2 } Kind2; |
Douglas Gregor | d769bfa | 2009-05-27 17:30:49 +0000 | [diff] [blame^] | 13 | enum { K3Val = sizeof(T)*2 } Kind3; |
Douglas Gregor | e919fb0 | 2009-05-27 17:07:49 +0000 | [diff] [blame] | 14 | |
| 15 | void foo() { |
| 16 | K1 k1 = K1Val; |
| 17 | Kind1 = K1Val; |
| 18 | Outer::Inner::InnerTemplate<type>::VeryInner::Kind2 = K2Val; |
Douglas Gregor | d769bfa | 2009-05-27 17:30:49 +0000 | [diff] [blame^] | 19 | Kind3 = K3Val; |
Douglas Gregor | e919fb0 | 2009-05-27 17:07:49 +0000 | [diff] [blame] | 20 | } |
Douglas Gregor | d769bfa | 2009-05-27 17:30:49 +0000 | [diff] [blame^] | 21 | |
| 22 | struct UeberInner { |
| 23 | void bar() { |
| 24 | K1 k1 = K1Val; |
| 25 | Kind1 = K1Val; |
| 26 | Outer::Inner::InnerTemplate<type>::VeryInner::Kind2 = K2Val; |
| 27 | } |
| 28 | }; |
Douglas Gregor | e919fb0 | 2009-05-27 17:07:49 +0000 | [diff] [blame] | 29 | }; |
| 30 | }; |
| 31 | }; |
| 32 | }; |
| 33 | } |
| 34 | |
| 35 | typedef int INT; |
| 36 | template struct N::Outer::Inner::InnerTemplate<INT>::VeryInner; |
Douglas Gregor | d769bfa | 2009-05-27 17:30:49 +0000 | [diff] [blame^] | 37 | template struct N::Outer::Inner::InnerTemplate<INT>::UeberInner; // expected-error{{'UeberInner' does not name a tag member}} |