diff options
Diffstat (limited to 'test/SemaTemplate/instantiate-non-dependent-types.cpp')
| -rw-r--r-- | test/SemaTemplate/instantiate-non-dependent-types.cpp | 40 |
1 files changed, 39 insertions, 1 deletions
diff --git a/test/SemaTemplate/instantiate-non-dependent-types.cpp b/test/SemaTemplate/instantiate-non-dependent-types.cpp index a0005c56675a..432b9053bdca 100644 --- a/test/SemaTemplate/instantiate-non-dependent-types.cpp +++ b/test/SemaTemplate/instantiate-non-dependent-types.cpp @@ -1,4 +1,5 @@ // RUN: %clang_cc1 -fsyntax-only -verify %s +// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s template<typename T> struct X1 { static void member() { T* x = 1; } // expected-error{{cannot initialize a variable of type 'int *' with an rvalue of type 'int'}} @@ -11,4 +12,41 @@ struct X2 { typedef instantiate<&X1<int>::member> i; // expected-note{{in instantiation of}} }; -X2<int> x; +X2<int> x; + +template <class T, class A> class C { +public: + int i; + void f(T &t) { + T *q = new T(); + t.T::~T(); + q->~T(); + // expected-error@+2 {{'int' is not a class, namespace, or scoped enumeration}} + // expected-error@+1 {{no member named '~Colors' in 'Colors'}} + q->A::~A(); + // expected-error@+2 {{no member named '~int' in 'Q'}} + // expected-error@+1 {{no member named '~Colors' in 'Q'}} + q->~A(); + + delete q; + } +}; + +class Q { +public: + Q() {} + ~Q() {} +}; + +enum Colors {red, green, blue}; + +C<Q, int> dummy; +C<Q, Colors> dummyColors; +int main() { + Q qinst; + // expected-note@+1 {{in instantiation of member function 'C<Q, int>::f' requested here}} + dummy.f(qinst); + // expected-note@+1 {{in instantiation of member function 'C<Q, Colors>::f' requested here}} + dummyColors.f(qinst); +} + |