1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2 
3 template<typename A> class s0 {
4 
5   template<typename B> class s1 : public s0<A> {
6     ~s1() {}
7     s0<A> ms0;
8   };
9 
10 };
11 
12 struct Incomplete;
13 
14 template<typename T>
15 void destroy_me(T me) {
16   me.~T();
17 }
18 
19 template void destroy_me(Incomplete*);
20 
21 namespace PR6152 {
22   template<typename T> struct X { void f(); };
23   template<typename T> struct Y { };
24   template<typename T>
25   void X<T>::f() {
26     Y<T> *y;
27     y->template Y<T>::~Y();
28     y->template Y<T>::~Y<T>();
29     y->~Y();
30   }
31 
32   template struct X<int>;
33 }
34 
35 namespace cvquals {
36   template<typename T>
37   void f(int *ptr) {
38     ptr->~T();
39   }
40 
41   template void f<const volatile int>(int *);
42 }
43 
44 namespace PR7239 {
45   template<class E> class A { };
46   class B {
47     void f() {
48       A<int>* x;
49       x->A<int>::~A<int>();
50     }
51   };
52 }
53 
54 namespace PR7904 {
55   struct Foo {
56     template <int i> ~Foo() {} // expected-error{{destructor cannot be declared as a template}}
57   };
58   Foo f;
59 }
60 
61 namespace rdar13140795 {
62   template <class T> class shared_ptr {};
63 
64   template <typename T> struct Marshal {
65     static int gc();
66   };
67 
68 
69   template <typename T> int Marshal<T>::gc() {
70     shared_ptr<T> *x;
71     x->template shared_ptr<T>::~shared_ptr();
72     return 0;
73   }
74 
75   void test() {
76     Marshal<int>::gc();
77   }
78 }
79 
80 namespace PR16852 {
81   template<typename T> struct S { int a; T x; };
82   template<typename T> decltype(S<T>().~S()) f(); // expected-note {{candidate template ignored: couldn't infer template argument 'T'}}
83   void g() { f(); } // expected-error {{no matching function for call to 'f'}}
84 }
85