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