comparison clang/test/SemaTemplate/extern-templates.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
comparison
equal deleted inserted replaced
147:c2174574ed3a 150:1d019706d866
1 // RUN: %clang_cc1 -triple i686-pc-win32 -fsyntax-only -verify %s -DMS
2 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu-pc-win32 -fsyntax-only -verify %s
3
4 template<typename T>
5 class X0 {
6 public:
7 void f(T t);
8
9 struct Inner {
10 void g(T t);
11 };
12 };
13
14 template<typename T>
15 void X0<T>::f(T t) {
16 t = 17; // expected-error{{incompatible}}
17 }
18
19 extern template class X0<int>;
20
21 extern template class X0<int*>;
22
23 template<typename T>
24 void X0<T>::Inner::g(T t) {
25 #ifdef MS
26 t = 17; // expected-error{{assigning to 'long *' from incompatible}} expected-error{{assigning to 'int *' from incompatible}}
27 #else
28 t = 17; // expected-error{{assigning to 'long *' from incompatible}}
29 #endif
30 }
31
32 void test_intptr(X0<int*> xi, X0<int*>::Inner xii) {
33 xi.f(0);
34 #ifdef MS
35 xii.g(0); // expected-note {{instantiation}}
36 #else
37 xii.g(0);
38 #endif
39 }
40
41 extern template class X0<long*>;
42
43 void test_longptr(X0<long*> xl, X0<long*>::Inner xli) {
44 xl.f(0);
45 xli.g(0);
46 }
47
48 template class X0<long*>; // expected-note 2{{instantiation}}
49
50 template<typename T>
51 class X1 {
52 public:
53 void f(T t) { t += 2; }
54
55 void g(T t);
56 };
57
58 template<typename T>
59 void X1<T>::g(T t) {
60 t += 2;
61 }
62
63 extern template class X1<void*>;
64
65 void g_X1(X1<void*> x1, void *ptr) {
66 x1.g(ptr);
67 }
68
69 extern template void X1<const void*>::g(const void*);
70
71 void g_X1_2(X1<const void *> x1, const void *ptr) {
72 x1.g(ptr);
73 }
74
75 namespace static_const_member {
76 template <typename T> struct A { static const int n; };
77 template <typename T> const int A<T>::n = 3;
78 extern template struct A<int>;
79 int arr[A<int>::n];
80 }