blob: acd9b0720b6202bb89cba6b8231b892d3bae1dbe [file] [log] [blame]
Andrey Bokhankoddc04ef2015-09-14 21:29:57 +00001// RUN: %clang_cc1 -std=c++14 -triple i686-pc-win32 -fms-extensions -DMSABI -verify %s
Reid Klecknerd2f6c722015-04-01 20:22:13 +00002// RUN: %clang_cc1 -std=c++14 -triple i686-pc-mingw32 -verify %s
3// RUN: %clang_cc1 -std=c++14 -triple i686-pc-mingw32 -fms-extensions -verify %s
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +00004
Reid Kleckner78af0702013-08-27 23:08:25 +00005typedef void void_fun_t();
6typedef void __cdecl cdecl_fun_t();
7
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +00008// Pointers to free functions
Reid Kleckner78af0702013-08-27 23:08:25 +00009void free_func_default(); // expected-note 2 {{previous declaration is here}}
10void __cdecl free_func_cdecl(); // expected-note 2 {{previous declaration is here}}
11void __stdcall free_func_stdcall(); // expected-note 2 {{previous declaration is here}}
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000012void __fastcall free_func_fastcall(); // expected-note 2 {{previous declaration is here}}
Reid Klecknerd7857f02014-10-24 17:42:17 +000013void __vectorcall free_func_vectorcall(); // expected-note 2 {{previous declaration is here}}
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000014
Reid Kleckner78af0702013-08-27 23:08:25 +000015void __cdecl free_func_default();
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000016void __stdcall free_func_default(); // expected-error {{function declared 'stdcall' here was previously declared without calling convention}}
17void __fastcall free_func_default(); // expected-error {{function declared 'fastcall' here was previously declared without calling convention}}
18
Reid Kleckner78af0702013-08-27 23:08:25 +000019void free_func_cdecl();
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000020void __stdcall free_func_cdecl(); // expected-error {{function declared 'stdcall' here was previously declared 'cdecl'}}
21void __fastcall free_func_cdecl(); // expected-error {{function declared 'fastcall' here was previously declared 'cdecl'}}
22
Reid Kleckner78af0702013-08-27 23:08:25 +000023void free_func_stdcall();
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000024void __cdecl free_func_stdcall(); // expected-error {{function declared 'cdecl' here was previously declared 'stdcall'}}
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000025void __fastcall free_func_stdcall(); // expected-error {{function declared 'fastcall' here was previously declared 'stdcall'}}
26
27void __cdecl free_func_fastcall(); // expected-error {{function declared 'cdecl' here was previously declared 'fastcall'}}
28void __stdcall free_func_fastcall(); // expected-error {{function declared 'stdcall' here was previously declared 'fastcall'}}
29void free_func_fastcall();
30
Reid Klecknerd7857f02014-10-24 17:42:17 +000031void __cdecl free_func_vectorcall(); // expected-error {{function declared 'cdecl' here was previously declared 'vectorcall'}}
32void __stdcall free_func_vectorcall(); // expected-error {{function declared 'stdcall' here was previously declared 'vectorcall'}}
33void free_func_vectorcall();
34
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000035// Overloaded functions may have different calling conventions
36void __fastcall free_func_default(int);
37void __cdecl free_func_default(int *);
38
39void __thiscall free_func_cdecl(char *);
40void __cdecl free_func_cdecl(double);
41
Reid Klecknera09e44c2013-07-31 21:00:18 +000042typedef void void_fun_t();
43typedef void __cdecl cdecl_fun_t();
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000044
45// Pointers to member functions
46struct S {
47 void member_default1(); // expected-note {{previous declaration is here}}
48 void member_default2();
49 void __cdecl member_cdecl1();
50 void __cdecl member_cdecl2(); // expected-note {{previous declaration is here}}
51 void __thiscall member_thiscall1();
52 void __thiscall member_thiscall2(); // expected-note {{previous declaration is here}}
Reid Klecknerd7857f02014-10-24 17:42:17 +000053 void __vectorcall member_vectorcall1();
54 void __vectorcall member_vectorcall2(); // expected-note {{previous declaration is here}}
Reid Klecknera09e44c2013-07-31 21:00:18 +000055
Reid Kleckner78af0702013-08-27 23:08:25 +000056 // Typedefs carrying the __cdecl convention are adjusted to __thiscall.
57 void_fun_t member_typedef_default; // expected-note {{previous declaration is here}}
58 cdecl_fun_t member_typedef_cdecl1; // expected-note {{previous declaration is here}}
59 cdecl_fun_t __cdecl member_typedef_cdecl2;
60 void_fun_t __stdcall member_typedef_stdcall;
Reid Klecknera09e44c2013-07-31 21:00:18 +000061
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000062 // Static member functions can't be __thiscall
63 static void static_member_default1();
Reid Kleckner78af0702013-08-27 23:08:25 +000064 static void static_member_default2();
65 static void static_member_default3(); // expected-note {{previous declaration is here}}
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000066 static void __cdecl static_member_cdecl1();
67 static void __cdecl static_member_cdecl2(); // expected-note {{previous declaration is here}}
68 static void __stdcall static_member_stdcall1();
69 static void __stdcall static_member_stdcall2();
70
71 // Variadic functions can't be other than default or __cdecl
72 void member_variadic_default(int x, ...);
73 void __cdecl member_variadic_cdecl(int x, ...);
74
75 static void static_member_variadic_default(int x, ...);
76 static void __cdecl static_member_variadic_cdecl(int x, ...);
Andrey Bokhankoddc04ef2015-09-14 21:29:57 +000077
78 // Structors can't be other than default in MS ABI environment
79#ifdef MSABI
80 __vectorcall S(); // expected-warning {{vectorcall calling convention ignored on constructor/destructor}}
81#endif
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000082};
83
84void __cdecl S::member_default1() {} // expected-error {{function declared 'cdecl' here was previously declared without calling convention}}
85void __thiscall S::member_default2() {}
86
Reid Kleckner78af0702013-08-27 23:08:25 +000087void __cdecl S::member_typedef_default() {} // expected-error {{function declared 'cdecl' here was previously declared without calling convention}}
88void __cdecl S::member_typedef_cdecl1() {} // expected-error {{function declared 'cdecl' here was previously declared without calling convention}}
89void __cdecl S::member_typedef_cdecl2() {}
Reid Klecknera09e44c2013-07-31 21:00:18 +000090void __stdcall S::member_typedef_stdcall() {}
91
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +000092void S::member_cdecl1() {}
93void __thiscall S::member_cdecl2() {} // expected-error {{function declared 'thiscall' here was previously declared 'cdecl'}}
94
95void S::member_thiscall1() {}
96void __cdecl S::member_thiscall2() {} // expected-error {{function declared 'cdecl' here was previously declared 'thiscall'}}
97
Reid Klecknerd7857f02014-10-24 17:42:17 +000098void S::member_vectorcall1() {}
99void __cdecl S::member_vectorcall2() {} // expected-error {{function declared 'cdecl' here was previously declared 'vectorcall'}}
100
Reid Kleckner78af0702013-08-27 23:08:25 +0000101void S::static_member_default1() {}
102void __cdecl S::static_member_default2() {}
103void __stdcall S::static_member_default3() {} // expected-error {{function declared 'stdcall' here was previously declared without calling convention}}
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +0000104
105void S::static_member_cdecl1() {}
106void __stdcall S::static_member_cdecl2() {} // expected-error {{function declared 'stdcall' here was previously declared 'cdecl'}}
107
Reid Kleckner78af0702013-08-27 23:08:25 +0000108void __cdecl S::member_variadic_default(int x, ...) { (void)x; }
109void S::member_variadic_cdecl(int x, ...) { (void)x; }
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +0000110
Reid Kleckner78af0702013-08-27 23:08:25 +0000111void __cdecl S::static_member_variadic_default(int x, ...) { (void)x; }
112void S::static_member_variadic_cdecl(int x, ...) { (void)x; }
Timur Iskhodzhanovf2afe632013-02-22 12:42:50 +0000113
Reid Klecknera09e44c2013-07-31 21:00:18 +0000114// Declare a template using a calling convention.
115template <class CharT> inline int __cdecl mystrlen(const CharT *str) {
116 int i;
117 for (i = 0; str[i]; i++) { }
118 return i;
119}
120extern int sse_strlen(const char *str);
121template <> inline int __cdecl mystrlen(const char *str) {
122 return sse_strlen(str);
123}
124void use_tmpl(const char *str, const int *ints) {
125 mystrlen(str);
126 mystrlen(ints);
127}
Reid Kleckner78af0702013-08-27 23:08:25 +0000128
129struct MixedCCStaticOverload {
130 static void overloaded(int a);
131 static void __stdcall overloaded(short a);
132};
133
134void MixedCCStaticOverload::overloaded(int a) {}
135void MixedCCStaticOverload::overloaded(short a) {}
136
137// Friend function decls are cdecl by default, not thiscall. Friend method
138// decls should always be redeclarations, because the class cannot be
139// incomplete.
140struct FriendClass {
141 void friend_method() {}
142};
143void __stdcall friend_stdcall1() {}
144class MakeFriendDecls {
145 int x;
146 friend void FriendClass::friend_method();
147 friend void friend_default();
148 friend void friend_stdcall1();
149 friend void __stdcall friend_stdcall2();
150 friend void friend_stdcall3(); // expected-note {{previous declaration is here}}
151};
152void friend_default() {}
153void __stdcall friend_stdcall3() {} // expected-error {{function declared 'stdcall' here was previously declared without calling convention}}
154void __stdcall friend_stdcall2() {}
155
156// Test functions with multiple attributes.
157void __attribute__((noreturn)) __stdcall __attribute__((regparm(1))) multi_attribute(int x);
158void multi_attribute(int x) { __builtin_unreachable(); }
159
160
Reid Klecknerd7857f02014-10-24 17:42:17 +0000161// expected-error@+3 {{vectorcall and cdecl attributes are not compatible}}
Reid Kleckner78af0702013-08-27 23:08:25 +0000162// expected-error@+2 {{stdcall and cdecl attributes are not compatible}}
163// expected-error@+1 {{fastcall and cdecl attributes are not compatible}}
Reid Klecknerd7857f02014-10-24 17:42:17 +0000164void __cdecl __cdecl __stdcall __cdecl __fastcall __vectorcall multi_cc(int x);
Reid Kleckner76808052013-09-10 01:04:45 +0000165
166template <typename T> void __stdcall StdcallTemplate(T) {}
167template <> void StdcallTemplate<int>(int) {}
168template <> void __stdcall StdcallTemplate<short>(short) {}
169
170// FIXME: Note the template, not the implicit instantiation.
171// expected-error@+2 {{function declared 'cdecl' here was previously declared 'stdcall}}
172// expected-note@+1 {{previous declaration is here}}
173template <> void __cdecl StdcallTemplate<long>(long) {}
174
175struct ExactlyInt {
176 template <typename T> static int cast_to_int(T) {
177 return T::this_is_not_an_int();
178 }
179};
180template <> inline int ExactlyInt::cast_to_int<int>(int x) { return x; }
Rafael Espindolaf02d8b12013-11-18 20:05:33 +0000181
182namespace test2 {
183 class foo {
184 template <typename T> void bar(T v);
185 };
186 extern template void foo::bar(const void *);
187}
Rafael Espindola4903c872013-11-18 22:40:04 +0000188
189namespace test3 {
190 struct foo {
191 typedef void bar();
192 };
193 bool zed(foo::bar *);
194 void bah() {}
195 void baz() { zed(bah); }
196}
Rafael Espindola92045bc2013-11-19 21:07:04 +0000197
198namespace test4 {
199 class foo {
200 template <typename T> static void bar(T v);
201 };
202 extern template void foo::bar(const void *);
203}
Rafael Espindola6edca7d2013-12-01 16:54:29 +0000204
205namespace test5 {
206 template <class T>
207 class valarray {
208 void bar();
209 };
210 extern template void valarray<int>::bar();
211}
Reid Kleckner0503a872013-12-05 01:23:43 +0000212
213namespace test6 {
214 struct foo {
215 int bar();
216 };
217 typedef int bar_t();
218 void zed(bar_t foo::*) {
219 }
220 void baz() {
221 zed(&foo::bar);
222 }
223}
Rafael Espindola66747222013-12-10 00:59:31 +0000224
225namespace test7 {
226 template <typename T>
227 struct S {
228 void f(T t) {
229 t = 42;
230 }
231 };
232 template<> void S<void*>::f(void*);
233 void g(S<void*> s, void* p) {
234 s.f(p);
235 }
236}
237
238namespace test8 {
239 template <typename T>
240 struct S {
241 void f(T t) { // expected-note {{previous declaration is here}}
242 t = 42; // expected-error {{assigning to 'void *' from incompatible type 'int'}}
243 }
244 };
245 template<> void __cdecl S<void*>::f(void*); // expected-error {{function declared 'cdecl' here was previously declared without calling convention}}
246 void g(S<void*> s, void* p) {
247 s.f(p); // expected-note {{in instantiation of member function 'test8::S<void *>::f' requested here}}
248 }
249}
Reid Klecknerd2f6c722015-04-01 20:22:13 +0000250
251namespace test9 {
252 // Used to fail when we forgot to make lambda call operators use __thiscall.
253 template <typename F>
254 decltype(auto) deduce(F f) {
255 return &decltype(f)::operator();
256 }
257 template <typename C, typename R, typename A>
258 decltype(auto) signaturehelper(R (C::*f)(A) const) {
259 return R();
260 }
261 void f() {
262 auto l = [](int x) { return x * 2; };
263 decltype(signaturehelper(deduce(l))) p;
264 }
265}