1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3namespace PR5557 {
4template <class T> struct A {
5  A();
6  virtual void anchor();
7  virtual int a(T x);
8};
9template<class T> A<T>::A() {}
10template<class T> void A<T>::anchor() { }
11
12template<class T> int A<T>::a(T x) {
13  return *x; // expected-error{{requires pointer operand}}
14}
15
16void f(A<int> x) {
17  x.anchor(); // expected-note{{instantiation}}
18}
19
20template<typename T>
21struct X {
22  virtual void f();
23};
24
25template<>
26void X<int>::f() { }
27}
28
29template<typename T>
30struct Base {
31  virtual ~Base() {
32    int *ptr = 0;
33    T t = ptr; // expected-error{{cannot initialize}}
34  }
35};
36
37template<typename T>
38struct Derived : Base<T> {
39  virtual void foo() { }
40};
41
42template struct Derived<int>; // expected-note {{in instantiation of member function 'Base<int>::~Base' requested here}}
43
44template<typename T>
45struct HasOutOfLineKey {
46  HasOutOfLineKey() { }
47  virtual T *f(float *fp);
48};
49
50template<typename T>
51T *HasOutOfLineKey<T>::f(float *fp) {
52  return fp; // expected-error{{cannot initialize return object of type 'int *' with an lvalue of type 'float *'}}
53}
54
55HasOutOfLineKey<int> out_of_line; // expected-note{{in instantiation of member function 'HasOutOfLineKey<int>::f' requested here}}
56
57namespace std {
58  class type_info;
59}
60
61namespace PR7114 {
62  class A { virtual ~A(); }; // expected-note{{declared private here}}
63
64  template<typename T>
65  class B {
66  public:
67    class Inner : public A { }; // expected-error{{base class 'PR7114::A' has private destructor}}
68    static Inner i;
69    static const unsigned value = sizeof(i) == 4;
70  };
71
72  int f() { return B<int>::value; }
73
74  void test_typeid(B<float>::Inner bfi) {
75    (void)typeid(bfi); // expected-note{{implicit default destructor}}
76  }
77
78  template<typename T>
79  struct X : A {
80    void f() { }
81  };
82
83  void test_X(X<int> xi, X<float> xf) {
84    xi.f();
85  }
86}
87