diff --git a/clang/test/CXX/temp/temp.spec/temp.explicit/p10.cpp b/clang/test/CXX/temp/temp.spec/temp.explicit/p10.cpp new file mode 100644 index 000000000000..900b0b309277 --- /dev/null +++ b/clang/test/CXX/temp/temp.spec/temp.explicit/p10.cpp @@ -0,0 +1,33 @@ +// RUN: clang-cc -fsyntax-only -verify %s + +template +struct X0 { + void f(T&); + + struct Inner; + + static T static_var; +}; + +template +void X0::f(T& t) { + t = 1; // expected-error{{incompatible type}} +} + +template +struct X0::Inner { + T member; +}; + +template +T X0::static_var = 1; // expected-error{{incompatible type}} + +extern template struct X0; +template struct X0; // expected-note 2{{instantiation}} + +template struct X0; // expected-note 4{{explicit instantiation definition is here}} + +extern template void X0::f(int&); // expected-error{{follows explicit instantiation definition}} +extern template struct X0::Inner; // expected-error{{follows explicit instantiation definition}} +extern template int X0::static_var; // expected-error{{follows explicit instantiation definition}} +extern template struct X0; // expected-error{{follows explicit instantiation definition}} diff --git a/clang/www/cxx_status.html b/clang/www/cxx_status.html index e8237c6a26ea..235b10b114f3 100644 --- a/clang/www/cxx_status.html +++ b/clang/www/cxx_status.html @@ -2075,11 +2075,12 @@ welcome!

    14.7.2 [temp.explicit] + - - - - + + + Cannot test paragraph 11 until access control is implemented.
+ ASTs do not carry enough information to reproduce source code accurately.     14.7.3 [temp.expl.spec]