152 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s2// RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s3// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s4 5namespace PR8965 {6 template<typename T>7 struct X {8 typedef int type;9 10 T field; // expected-note{{in instantiation of member class}}11 };12 13 template<typename T>14 struct Y {15 struct Inner;16 17 typedef typename X<Inner>::type // expected-note{{in instantiation of template class}}18 type; // expected-note{{not-yet-instantiated member is declared here}}19 20 struct Inner {21 typedef type field; // expected-error{{no member 'type' in 'PR8965::Y<int>'; it has not yet been instantiated}}22 };23 };24 25 Y<int> y; // expected-note{{in instantiation of template class}}26}27 28template<typename T>29class X {30public:31 struct C { T &foo(); };32 33 struct D {34 struct E { T &bar(); }; // expected-error{{cannot form a reference to 'void'}}35 struct F; // expected-note{{member is declared here}}36 };37};38 39X<int>::C *c1;40X<float>::C *c2;41 42X<int>::X *xi; // expected-error{{qualified reference to 'X' is a constructor name rather than a type}}43X<float>::X *xf; // expected-error{{qualified reference to 'X' is a constructor name rather than a type}}44 45void test_naming() {46 c1 = c2; // expected-error{{incompatible pointer types assigning to 'X<int>::C *' from 'X<float>::C *'}}47 xi = xf; // expected-error{{incompatible pointer types assigning to 'X<int>::X<int> *' from 'X<float>::X<float> *'}}48 // FIXME: error above doesn't print the type X<int>::X cleanly!49}50 51void test_instantiation(X<double>::C *x,52 X<float>::D::E *e,53 X<float>::D::F *f) {54 double &dr = x->foo();55 float &fr = e->bar();56 f->foo(); // expected-error{{implicit instantiation of undefined member 'X<float>::D::F'}}57 58}59 60 61X<void>::C *c3; // okay62X<void>::D::E *e1; // okay63X<void>::D::E e2; // expected-note{{in instantiation of member class 'X<void>::D::E' requested here}}64 65// Redeclarations.66namespace test1 {67 template <typename T> struct Registry {68 struct node;69 static node *Head;70 struct node {71 node(int v) { Head = this; }72 };73 };74 void test() {75 Registry<int>::node node(0);76 }77}78 79// Redeclarations during explicit instantiations.80namespace test2 {81 template <typename T> class A {82 class Foo;83 class Foo {84 int foo();85 };86 };87 template class A<int>;88 89 template <typename T> class B {90 class Foo;91 class Foo {92 public:93 typedef int X;94 };95 typename Foo::X x;96 };97 template class B<int>;98 99 template <typename T> class C {100 class Foo;101 };102 template <typename T> class C<T>::Foo {103 int x;104 };105 template class C<int>;106}107 108namespace AliasTagDef {109 template<typename T>110 struct F {111 using S = struct U {112#if __cplusplus <= 199711L113 // expected-warning@-2 {{alias declarations are a C++11 extension}}114#endif115 T g() {116 return T();117 }118 };119 };120 121 int m = F<int>::S().g();122 int n = F<int>::U().g();123}124 125namespace rdar10397846 {126 template<int I> struct A127 {128 struct B129 {130 struct C { C() { int *ptr = I; } };131#if __cplusplus >= 201103L132 // expected-error@-2 {{cannot initialize a variable of type 'int *' with an rvalue of type 'int'}}133#else134 // expected-warning@-4 {{expression which evaluates to zero treated as a null pointer constant of type 'int *'}}135#endif136 // expected-error@-6 {{cannot initialize a variable of type 'int *' with an rvalue of type 'int'}}137 };138 };139 140 template<int N> void foo()141 {142 class A<N>::B::C X; // expected-note 2 {{in instantiation of member function}}143 int A<N+1>::B::C::*member = 0;144 }145 146 void bar()147 {148 foo<0>(); // expected-note{{in instantiation of function template}}149 foo<1>(); // expected-note{{in instantiation of function template}}150 }151}152