typename-specifier.cpp revision a5728872c7702ddd09537c95bc3cbd20e1f2fb09
1// RUN: %clang_cc1 -fsyntax-only -verify %s 2namespace N { 3 struct A { 4 typedef int type; 5 }; 6 7 struct B { 8 }; 9 10 struct C { 11 struct type { }; 12 int type; // expected-note 2{{referenced member 'type' is declared here}} 13 }; 14} 15 16int i; 17 18typename N::A::type *ip1 = &i; 19typename N::B::type *ip2 = &i; // expected-error{{no type named 'type' in 'struct N::B'}} 20typename N::C::type *ip3 = &i; // expected-error{{typename specifier refers to non-type member 'type'}} 21 22void test(double d) { 23 typename N::A::type f(typename N::A::type(a)); // expected-warning{{parentheses were disambiguated as a function declarator}} 24 int five = f(5); 25 26 using namespace N; 27 for (typename A::type i = 0; i < 10; ++i) 28 five += 1; 29 30 const typename N::A::type f2(d); 31} 32 33namespace N { 34 template<typename T> 35 struct X { 36 typedef typename T::type type; // expected-error {{no type named 'type' in 'struct N::B'}} \ 37 // expected-error {{no type named 'type' in 'struct B'}} \ 38 // FIXME: location info for error above isn't very good \ 39 // expected-error 2{{typename specifier refers to non-type member 'type'}} \ 40 // expected-error{{type 'int' cannot be used prior to '::' because it has no members}} 41 }; 42} 43 44N::X<N::A>::type *ip4 = &i; 45N::X<N::B>::type *ip5 = &i; // expected-note{{in instantiation of template class 'struct N::X<struct N::B>' requested here}} \ 46// expected-error{{no type named 'type' in}} 47N::X<N::C>::type *ip6 = &i; // expected-note{{in instantiation of template class 'struct N::X<struct N::C>' requested here}} \ 48// expected-error{{no type named 'type' in}} 49 50N::X<int>::type fail1; // expected-note{{in instantiation of template class 'struct N::X<int>' requested here}} \ 51// expected-error{{no type named 'type' in}} 52 53template<typename T> 54struct Y { 55 typedef typename N::X<T>::type *type; // expected-note{{in instantiation of template class 'struct N::X<struct B>' requested here}} \ 56 // expected-note{{in instantiation of template class 'struct N::X<struct C>' requested here}} 57}; 58 59struct A { 60 typedef int type; 61}; 62 63struct B { 64}; 65 66struct C { 67 struct type { }; 68 int type; // expected-note{{referenced member 'type' is declared here}} 69}; 70 71::Y<A>::type ip7 = &i; 72::Y<B>::type ip8 = &i; // expected-note{{in instantiation of template class 'struct Y<struct B>' requested here}} \ 73// expected-error{{no type named 'type' in}} 74::Y<C>::type ip9 = &i; // expected-note{{in instantiation of template class 'struct Y<struct C>' requested here}} \ 75// expected-error{{no type named 'type' in}} 76