1
2 // Test C++ name mangling.
3 // See Bugs 4059, 5148, 7024, 10058
4
5
6 import core.stdc.stdio;
7
8 extern (C++) int foob(int i, int j, int k);
9
10 class C
11 {
bar(int i,int j,int k)12 extern (C++) int bar(int i, int j, int k)
13 {
14 printf("this = %p\n", this);
15 printf("i = %d\n", i);
16 printf("j = %d\n", j);
17 printf("k = %d\n", k);
18 return 1;
19 }
20 }
21
22
23 extern (C++)
foo(int i,int j,int k)24 int foo(int i, int j, int k)
25 {
26 printf("i = %d\n", i);
27 printf("j = %d\n", j);
28 printf("k = %d\n", k);
29 assert(i == 1);
30 assert(j == 2);
31 assert(k == 3);
32 return 1;
33 }
34
test1()35 void test1()
36 {
37 foo(1, 2, 3);
38
39 auto i = foob(1, 2, 3);
40 assert(i == 7);
41
42 C c = new C();
43 c.bar(4, 5, 6);
44 }
45
version(linux)46 version (linux)
47 {
48 static assert(foo.mangleof == "_Z3fooiii");
49 static assert(foob.mangleof == "_Z4foobiii");
50 static assert(C.bar.mangleof == "_ZN1C3barEiii");
51 }
version(Win32)52 version (Win32)
53 {
54 static assert(foo.mangleof == "?foo@@YAHHHH@Z");
55 static assert(foob.mangleof == "?foob@@YAHHHH@Z");
56 static assert(C.bar.mangleof == "?bar@C@@UAEHHHH@Z");
57 }
version(Win64)58 version (Win64)
59 {
60 static assert(foo.mangleof == "?foo@@YAHHHH@Z");
61 static assert(foob.mangleof == "?foob@@YAHHHH@Z");
62 static assert(C.bar.mangleof == "?bar@C@@UEAAHHHH@Z");
63 }
64
65 /****************************************/
66
67 extern (C++)
68 interface D
69 {
70 int bar(int i, int j, int k);
71 }
72
73 extern (C++) D getD();
74
test2()75 void test2()
76 {
77 D d = getD();
78 int i = d.bar(9,10,11);
79 assert(i == 8);
80 }
81
version(linux)82 version (linux)
83 {
84 static assert (getD.mangleof == "_Z4getDv");
85 static assert (D.bar.mangleof == "_ZN1D3barEiii");
86 }
87
88 /****************************************/
89
90 extern (C++) int callE(E);
91
92 extern (C++)
93 interface E
94 {
95 int bar(int i, int j, int k);
96 }
97
98 class F : E
99 {
bar(int i,int j,int k)100 extern (C++) int bar(int i, int j, int k)
101 {
102 printf("F.bar: i = %d\n", i);
103 printf("F.bar: j = %d\n", j);
104 printf("F.bar: k = %d\n", k);
105 assert(i == 11);
106 assert(j == 12);
107 assert(k == 13);
108 return 8;
109 }
110 }
111
test3()112 void test3()
113 {
114 F f = new F();
115 int i = callE(f);
116 assert(i == 8);
117 }
118
version(linux)119 version (linux)
120 {
121 static assert (callE.mangleof == "_Z5callEP1E");
122 static assert (E.bar.mangleof == "_ZN1E3barEiii");
123 static assert (F.bar.mangleof == "_ZN1F3barEiii");
124 }
125
126 /****************************************/
127
128 extern (C++) void foo4(char* p);
129
test4()130 void test4()
131 {
132 foo4(null);
133 }
134
version(linux)135 version (linux)
136 {
137 static assert(foo4.mangleof == "_Z4foo4Pc");
138 }
139
140 /****************************************/
141
142 extern(C++)
143 {
144 struct foo5 { int i; int j; void* p; }
145
146 interface bar5{
147 foo5 getFoo(int i);
148 }
149
150 bar5 newBar();
151 }
152
test5()153 void test5()
154 {
155 bar5 b = newBar();
156 foo5 f = b.getFoo(4);
157 printf("f.p = %p, b = %p\n", f.p, cast(void*)b);
158 assert(f.p == cast(void*)b);
159 }
160
version(linux)161 version (linux)
162 {
163 static assert(bar5.getFoo.mangleof == "_ZN4bar56getFooEi");
164 static assert (newBar.mangleof == "_Z6newBarv");
165 }
166
167 /****************************************/
168
169 extern(C++)
170 {
171 struct S6
172 {
173 int i;
174 double d;
175 }
176 S6 foo6();
177 }
178
179 extern (C) int foosize6();
180
test6()181 void test6()
182 {
183 S6 f = foo6();
184 printf("%d %d\n", foosize6(), S6.sizeof);
185 assert(foosize6() == S6.sizeof);
186 assert(f.i == 42);
187 printf("f.d = %g\n", f.d);
188 assert(f.d == 2.5);
189 }
190
version(linux)191 version (linux)
192 {
193 static assert (foo6.mangleof == "_Z4foo6v");
194 }
195
196 /****************************************/
197
198 extern (C) int foo7();
199
200 struct S
201 {
202 int i;
203 long l;
204 }
205
test7()206 void test7()
207 {
208 printf("%d %d\n", foo7(), S.sizeof);
209 assert(foo7() == S.sizeof);
210 }
211
212 /****************************************/
213
214 extern (C++) void foo8(const char *);
215
test8()216 void test8()
217 {
218 char c;
219 foo8(&c);
220 }
221
version(linux)222 version (linux)
223 {
224 static assert(foo8.mangleof == "_Z4foo8PKc");
225 }
226
227 /****************************************/
228 // 4059
229
230 struct elem9 { }
231
232 extern(C++) void foobar9(elem9*, elem9*);
233
test9()234 void test9()
235 {
236 elem9 *a;
237 foobar9(a, a);
238 }
239
version(linux)240 version (linux)
241 {
242 static assert(foobar9.mangleof == "_Z7foobar9P5elem9S0_");
243 }
244
245 /****************************************/
246 // 5148
247
248 extern (C++)
249 {
250 void foo10(const char*, const char*);
251 void foo10(const int, const int);
252 void foo10(const char, const char);
253
254 struct MyStructType { }
255 void foo10(const MyStructType s, const MyStructType t);
256
257 enum MyEnumType { onemember }
258 void foo10(const MyEnumType s, const MyEnumType t);
259 }
260
test10()261 void test10()
262 {
263 char* p;
264 foo10(p, p);
265 foo10(1,2);
266 foo10('c','d');
267 MyStructType s;
268 foo10(s,s);
269 MyEnumType e;
270 foo10(e,e);
271 }
272
273 /**************************************/
274 // 10058
275
276 extern (C++)
277 {
test10058a(void *)278 void test10058a(void*) { }
test10058b(void function (void *))279 void test10058b(void function(void*)) { }
test10058c(void * function (void *))280 void test10058c(void* function(void*)) { }
test10058d(void function (void *),void *)281 void test10058d(void function(void*), void*) { }
test10058e(void * function (void *),void *)282 void test10058e(void* function(void*), void*) { }
test10058f(void * function (void *),void * function (void *))283 void test10058f(void* function(void*), void* function(void*)) { }
test10058g(void function (void *),void *,void *)284 void test10058g(void function(void*), void*, void*) { }
test10058h(void * function (void *),void *,void *)285 void test10058h(void* function(void*), void*, void*) { }
test10058i(void * function (void *),void * function (void *),void *)286 void test10058i(void* function(void*), void* function(void*), void*) { }
test10058j(void * function (void *),void * function (void *),void * function (void *))287 void test10058j(void* function(void*), void* function(void*), void* function(void*)) { }
test10058k(void * function (void *),void * function (const (void)*))288 void test10058k(void* function(void*), void* function(const (void)*)) { }
test10058l(void * function (void *),void * function (const (void)*),const (void)* function (void *))289 void test10058l(void* function(void*), void* function(const (void)*), const(void)* function(void*)) { }
290 }
291
version(linux)292 version (linux)
293 {
294 static assert(test10058a.mangleof == "_Z10test10058aPv");
295 static assert(test10058b.mangleof == "_Z10test10058bPFvPvE");
296 static assert(test10058c.mangleof == "_Z10test10058cPFPvS_E");
297 static assert(test10058d.mangleof == "_Z10test10058dPFvPvES_");
298 static assert(test10058e.mangleof == "_Z10test10058ePFPvS_ES_");
299 static assert(test10058f.mangleof == "_Z10test10058fPFPvS_ES1_");
300 static assert(test10058g.mangleof == "_Z10test10058gPFvPvES_S_");
301 static assert(test10058h.mangleof == "_Z10test10058hPFPvS_ES_S_");
302 static assert(test10058i.mangleof == "_Z10test10058iPFPvS_ES1_S_");
303 static assert(test10058j.mangleof == "_Z10test10058jPFPvS_ES1_S1_");
304 static assert(test10058k.mangleof == "_Z10test10058kPFPvS_EPFS_PKvE");
305 static assert(test10058l.mangleof == "_Z10test10058lPFPvS_EPFS_PKvEPFS3_S_E");
306 }
307
308 /**************************************/
309 // 11696
310
311 class Expression;
312 struct Loc {}
313
314 extern(C++)
315 class CallExp
316 {
317 static void test11696a(Loc, Expression, Expression);
318 static void test11696b(Loc, Expression, Expression*);
319 static void test11696c(Loc, Expression*, Expression);
320 static void test11696d(Loc, Expression*, Expression*);
321 }
322
version(linux)323 version (linux)
324 {
325 static assert(CallExp.test11696a.mangleof == "_ZN7CallExp10test11696aE3LocP10ExpressionS2_");
326 static assert(CallExp.test11696b.mangleof == "_ZN7CallExp10test11696bE3LocP10ExpressionPS2_");
327 static assert(CallExp.test11696c.mangleof == "_ZN7CallExp10test11696cE3LocPP10ExpressionS2_");
328 static assert(CallExp.test11696d.mangleof == "_ZN7CallExp10test11696dE3LocPP10ExpressionS3_");
329 }
330
331 /**************************************/
332 // 13337
333
334 extern(C++, N13337a.N13337b.N13337c)
335 {
336 struct S13337{}
337 void foo13337(S13337 s);
338 }
339
version(linux)340 version (linux)
341 {
342 static assert(foo13337.mangleof == "_ZN7N13337a7N13337b7N13337c8foo13337ENS1_6S13337E");
343 }
344
345 /**************************************/
346 // 15789
347
348 extern (C++) void test15789a(T...)(T args);
349
test15789()350 void test15789()
351 {
352 test15789a(0);
353 }
354
355 /**************************************/
356 // 7030
357
358 extern(C++)
359 {
360 struct T
361 {
362 void foo(int) const;
363 void bar(int);
364 static __gshared int boo;
365 }
366 }
367
368 version (Posix)
369 {
370 static assert(T.foo.mangleof == "_ZNK1T3fooEi");
371 static assert(T.bar.mangleof == "_ZN1T3barEi");
372 static assert(T.boo.mangleof == "_ZN1T3booE");
373 }
374
375 /*****************************************/
376
377 alias noreturn = typeof(*null);
378
379 extern (C++)
380 {
381 alias fpcpp = noreturn function();
382 int funccpp(fpcpp);
383
384 version (Posix)
385 static assert(funccpp.mangleof == "_Z7funccppPFvvE");
386
387 version (Win32)
388 static assert(funccpp.mangleof == "?funccpp@@YAHP6AXXZ@Z");
389
390 version (Win64)
391 static assert(funccpp.mangleof == "?funccpp@@YAHP6AXXZ@Z");
392 }
393