diff options
author | Richard Smith <richard-llvm@metafoo.co.uk> | 2013-12-14 01:04:22 +0000 |
---|---|---|
committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2013-12-14 01:04:22 +0000 |
commit | 3f13c4ec6473740778342ac19ea36ac690377d45 (patch) | |
tree | d81261cfd59d2db9b1ed18855fb05a5d05b01751 /test | |
parent | 52baba31bac18dc455fa60f75aef0ca6a7dd353a (diff) | |
download | clang-3f13c4ec6473740778342ac19ea36ac690377d45.tar.gz |
PR18232: implement instantiation for class-scope explicit specializations of
class templates (a Microsoft extension).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@197298 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/SemaTemplate/ms-class-specialization-class-scope.cpp | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/test/SemaTemplate/ms-class-specialization-class-scope.cpp b/test/SemaTemplate/ms-class-specialization-class-scope.cpp new file mode 100644 index 0000000000..3ebb1c9c55 --- /dev/null +++ b/test/SemaTemplate/ms-class-specialization-class-scope.cpp @@ -0,0 +1,49 @@ +// RUN: %clang_cc1 -fms-extensions -fsyntax-only -verify %s -Wno-microsoft +// RUN: %clang_cc1 -fms-extensions -fdelayed-template-parsing -fsyntax-only -verify %s -Wno-microsoft + +class A { +public: + template<typename T> struct X { typedef int x; }; + + X<int>::x a; // expected-note {{implicit instantiation first required here}} + + template<> struct X<int>; // expected-error {{explicit specialization of 'A::X<int>' after instantiation}} + template<> struct X<char>; // expected-note {{forward declaration}} + + X<char>::x b; // expected-error {{incomplete type 'A::X<char>' named in nested name specifier}} + + template<> struct X<double> { + typedef int y; + }; + + X<double>::y c; + + template<> struct X<float> {}; // expected-note {{previous definition is here}} + template<> struct X<float> {}; // expected-error {{redefinition of 'A::X<float>'}} +}; + +A::X<void>::x axv; +A::X<float>::x axf; // expected-error {{no type named 'x'}} + +template<class T> class B { +public: + template<typename U> struct X { typedef int x; }; + + typename X<int>::x a; // expected-note {{implicit instantiation first required here}} + + template<> struct X<int>; // expected-error {{explicit specialization of 'X<int>' after instantiation}} + template<> struct X<char>; // expected-note {{forward declaration}} + + typename X<char>::x b; // expected-error {{incomplete type 'B<float>::X<char>' named in nested name specifier}} + + template<> struct X<double> { + typedef int y; + }; + + typename X<double>::y c; + + template<> struct X<float> {}; // expected-note {{previous definition is here}} + template<> struct X<T> {}; // expected-error {{redefinition of 'X<float>'}} +}; + +B<float> b; // expected-note {{in instantiation of}} |