?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
kernel32/tests/pipe: Enable compilation with long types.
[wine.git] / dlls / msvcrt / undname.c
blobbee171de42f1cfae28d45cd41134496519278cc0
1 /*
2 * Demangle VC++ symbols into C function prototypes
3 *
4 * Copyright 2000 Jon Griffiths
5 * 2004 Eric Pouech
6 *
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2.1 of the License, or (at your option) any later version.
11 *
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
16 *
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
20 */
21
22 #include <assert.h>
23 #include <stdio.h>
24 #include <stdlib.h>
25 #include "msvcrt.h"
26
27 #include "wine/debug.h"
28
29 WINE_DEFAULT_DEBUG_CHANNEL(msvcrt);
30
31 /* TODO:
32 * - document a bit (grammar + functions)
33 * - back-port this new code into tools/winedump/msmangle.c
34 */
35
36 /* How data types modifiers are stored:
37 * M (in the following definitions) is defined for
38 * 'A', 'B', 'C' and 'D' as follows
39 * {<A>}: ""
40 * {<B>}: "const "
41 * {<C>}: "volatile "
42 * {<D>}: "const volatile "
43 *
44 * in arguments:
45 * P<M>x {<M>}x*
46 * Q<M>x {<M>}x* const
47 * A<M>x {<M>}x&
48 * in data fields:
49 * same as for arguments and also the following
50 * ?<M>x {<M>}x
51 *
52 */
53
54 struct array
55 {
56 unsigned start; /* first valid reference in array */
57 unsigned num; /* total number of used elts */
58 unsigned max;
59 unsigned alloc;
60 char** elts;
61 };
62
63 /* Structure holding a parsed symbol */
64 struct parsed_symbol
65 {
66 unsigned flags; /* the UNDNAME_ flags used for demangling */
67 malloc_func_t mem_alloc_ptr; /* internal allocator */
68 free_func_t mem_free_ptr; /* internal deallocator */
69
70 const char* current; /* pointer in input (mangled) string */
71 char* result; /* demangled string */
72
73 struct array names; /* array of names for back reference */
74 struct array stack; /* stack of parsed strings */
75
76 void* alloc_list; /* linked list of allocated blocks */
77 unsigned avail_in_first; /* number of available bytes in head block */
78 };
79
80 /* Type for parsing mangled types */
81 struct datatype_t
82 {
83 const char* left;
84 const char* right;
85 };
86
87 static BOOL symbol_demangle(struct parsed_symbol* sym);
88
89 /******************************************************************
90 * und_alloc
91 *
92 * Internal allocator. Uses a simple linked list of large blocks
93 * where we use a poor-man allocator. It's fast, and since all
94 * allocation is pool, memory management is easy (esp. freeing).
95 */
96 static void* und_alloc(struct parsed_symbol* sym, unsigned int len)
97 {
98 void* ptr;
99
100 #define BLOCK_SIZE 1024
101 #define AVAIL_SIZE (1024 - sizeof(void*))
102
103 if (len > AVAIL_SIZE)
104 {
105 /* allocate a specific block */
106 ptr = sym->mem_alloc_ptr(sizeof(void*) + len);
107 if (!ptr) return NULL;
108 *(void**)ptr = sym->alloc_list;
109 sym->alloc_list = ptr;
110 sym->avail_in_first = 0;
111 ptr = (char*)sym->alloc_list + sizeof(void*);
112 }
113 else
114 {
115 if (len > sym->avail_in_first)
116 {
117 /* add a new block */
118 ptr = sym->mem_alloc_ptr(BLOCK_SIZE);
119 if (!ptr) return NULL;
120 *(void**)ptr = sym->alloc_list;
121 sym->alloc_list = ptr;
122 sym->avail_in_first = AVAIL_SIZE;
123 }
124 /* grab memory from head block */
125 ptr = (char*)sym->alloc_list + BLOCK_SIZE - sym->avail_in_first;
126 sym->avail_in_first -= len;
127 }
128 return ptr;
129 #undef BLOCK_SIZE
130 #undef AVAIL_SIZE
131 }
132
133 /******************************************************************
134 * und_free
135 * Frees all the blocks in the list of large blocks allocated by
136 * und_alloc.
137 */
138 static void und_free_all(struct parsed_symbol* sym)
139 {
140 void* next;
141
142 while (sym->alloc_list)
143 {
144 next = *(void**)sym->alloc_list;
145 if(sym->mem_free_ptr) sym->mem_free_ptr(sym->alloc_list);
146 sym->alloc_list = next;
147 }
148 sym->avail_in_first = 0;
149 }
150
151 /******************************************************************
152 * str_array_init
153 * Initialises an array of strings
154 */
155 static void str_array_init(struct array* a)
156 {
157 a->start = a->num = a->max = a->alloc = 0;
158 a->elts = NULL;
159 }
160
161 /******************************************************************
162 * str_array_push
163 * Adding a new string to an array
164 */
165 static BOOL str_array_push(struct parsed_symbol* sym, const char* ptr, int len,
166 struct array* a)
167 {
168 char** new;
169
170 assert(ptr);
171 assert(a);
172
173 if (!a->alloc)
174 {
175 new = und_alloc(sym, (a->alloc = 32) * sizeof(a->elts[0]));
176 if (!new) return FALSE;
177 a->elts = new;
178 }
179 else if (a->max >= a->alloc)
180 {
181 new = und_alloc(sym, (a->alloc * 2) * sizeof(a->elts[0]));
182 if (!new) return FALSE;
183 memcpy(new, a->elts, a->alloc * sizeof(a->elts[0]));
184 a->alloc *= 2;
185 a->elts = new;
186 }
187 if (len == -1) len = strlen(ptr);
188 a->elts[a->num] = und_alloc(sym, len + 1);
189 assert(a->elts[a->num]);
190 memcpy(a->elts[a->num], ptr, len);
191 a->elts[a->num][len] = '\0';
192 if (++a->num >= a->max) a->max = a->num;
193 {
194 int i;
195 char c;
196
197 for (i = a->max - 1; i >= 0; i--)
198 {
199 c = '>';
200 if (i < a->start) c = '-';
201 else if (i >= a->num) c = '}';
202 TRACE("%p\t%d%c %s\n", a, i, c, debugstr_a(a->elts[i]));
203 }
204 }
205
206 return TRUE;
207 }
208
209 /******************************************************************
210 * str_array_get_ref
211 * Extracts a reference from an existing array (doing proper type
212 * checking)
213 */
214 static char* str_array_get_ref(struct array* cref, unsigned idx)
215 {
216 assert(cref);
217 if (cref->start + idx >= cref->max)
218 {
219 WARN("Out of bounds: %p %d + %d >= %d\n",
220 cref, cref->start, idx, cref->max);
221 return NULL;
222 }
223 TRACE("Returning %p[%d] => %s\n",
224 cref, idx, debugstr_a(cref->elts[cref->start + idx]));
225 return cref->elts[cref->start + idx];
226 }
227
228 /******************************************************************
229 * str_printf
230 * Helper for printf type of command (only %s and %c are implemented)
231 * while dynamically allocating the buffer
232 */
233 static char* WINAPIV str_printf(struct parsed_symbol* sym, const char* format, ...)
234 {
235 va_list args;
236 unsigned int len = 1, i, sz;
237 char* tmp;
238 char* p;
239 char* t;
240
241 va_start(args, format);
242 for (i = 0; format[i]; i++)
243 {
244 if (format[i] == '%')
245 {
246 switch (format[++i])
247 {
248 case 's': t = va_arg(args, char*); if (t) len += strlen(t); break;
249 case 'c': (void)va_arg(args, int); len++; break;
250 default: i--; /* fall through */
251 case '%': len++; break;
252 }
253 }
254 else len++;
255 }
256 va_end(args);
257 if (!(tmp = und_alloc(sym, len))) return NULL;
258 va_start(args, format);
259 for (p = tmp, i = 0; format[i]; i++)
260 {
261 if (format[i] == '%')
262 {
263 switch (format[++i])
264 {
265 case 's':
266 t = va_arg(args, char*);
267 if (t)
268 {
269 sz = strlen(t);
270 memcpy(p, t, sz);
271 p += sz;
272 }
273 break;
274 case 'c':
275 *p++ = (char)va_arg(args, int);
276 break;
277 default: i--; /* fall through */
278 case '%': *p++ = '%'; break;
279 }
280 }
281 else *p++ = format[i];
282 }
283 va_end(args);
284 *p = '\0';
285 return tmp;
286 }
287
288 /* forward declaration */
289 static BOOL demangle_datatype(struct parsed_symbol* sym, struct datatype_t* ct,
290 struct array* pmt, BOOL in_args);
291
292 static const char* get_number(struct parsed_symbol* sym)
293 {
294 char* ptr;
295 BOOL sgn = FALSE;
296
297 if (*sym->current == '?')
298 {
299 sgn = TRUE;
300 sym->current++;
301 }
302 if (*sym->current >= '0' && *sym->current <= '8')
303 {
304 ptr = und_alloc(sym, 3);
305 if (sgn) ptr[0] = '-';
306 ptr[sgn ? 1 : 0] = *sym->current + 1;
307 ptr[sgn ? 2 : 1] = '\0';
308 sym->current++;
309 }
310 else if (*sym->current == '9')
311 {
312 ptr = und_alloc(sym, 4);
313 if (sgn) ptr[0] = '-';
314 ptr[sgn ? 1 : 0] = '1';
315 ptr[sgn ? 2 : 1] = '0';
316 ptr[sgn ? 3 : 2] = '\0';
317 sym->current++;
318 }
319 else if (*sym->current >= 'A' && *sym->current <= 'P')
320 {
321 int ret = 0;
322
323 while (*sym->current >= 'A' && *sym->current <= 'P')
324 {
325 ret *= 16;
326 ret += *sym->current++ - 'A';
327 }
328 if (*sym->current != '@') return NULL;
329
330 ptr = und_alloc(sym, 17);
331 sprintf(ptr, "%s%u", sgn ? "-" : "", ret);
332 sym->current++;
333 }
334 else return NULL;
335 return ptr;
336 }
337
338 /******************************************************************
339 * get_args
340 * Parses a list of function/method arguments, creates a string corresponding
341 * to the arguments' list.
342 */
343 static char* get_args(struct parsed_symbol* sym, struct array* pmt_ref, BOOL z_term,
344 char open_char, char close_char)
345
346 {
347 struct datatype_t ct;
348 struct array arg_collect;
349 char* args_str = NULL;
350 char* last;
351 unsigned int i;
352
353 str_array_init(&arg_collect);
354
355 /* Now come the function arguments */
356 while (*sym->current)
357 {
358 /* Decode each data type and append it to the argument list */
359 if (*sym->current == '@')
360 {
361 sym->current++;
362 break;
363 }
364 if (!demangle_datatype(sym, &ct, pmt_ref, TRUE))
365 return NULL;
366 /* 'void' terminates an argument list in a function */
367 if (z_term && !strcmp(ct.left, "void")) break;
368 if (!str_array_push(sym, str_printf(sym, "%s%s", ct.left, ct.right), -1,
369 &arg_collect))
370 return NULL;
371 if (!strcmp(ct.left, "...")) break;
372 }
373 /* Functions are always terminated by 'Z'. If we made it this far and
374 * don't find it, we have incorrectly identified a data type.
375 */
376 if (z_term && *sym->current++ != 'Z') return NULL;
377
378 if (arg_collect.num == 0 ||
379 (arg_collect.num == 1 && !strcmp(arg_collect.elts[0], "void")))
380 return str_printf(sym, "%cvoid%c", open_char, close_char);
381 for (i = 1; i < arg_collect.num; i++)
382 {
383 args_str = str_printf(sym, "%s,%s", args_str, arg_collect.elts[i]);
384 }
385
386 last = args_str ? args_str : arg_collect.elts[0];
387 if (close_char == '>' && last[strlen(last) - 1] == '>')
388 args_str = str_printf(sym, "%c%s%s %c",
389 open_char, arg_collect.elts[0], args_str, close_char);
390 else
391 args_str = str_printf(sym, "%c%s%s%c",
392 open_char, arg_collect.elts[0], args_str, close_char);
393
394 return args_str;
395 }
396
397 /******************************************************************
398 * get_modifier
399 * Parses the type modifier. Always returns static strings.
400 */
401 static BOOL get_modifier(struct parsed_symbol *sym, const char **ret, const char **ptr_modif)
402 {
403 *ptr_modif = NULL;
404 if (*sym->current == 'E')
405 {
406 if (!(sym->flags & UNDNAME_NO_MS_KEYWORDS))
407 {
408 *ptr_modif = "__ptr64";
409 if (sym->flags & UNDNAME_NO_LEADING_UNDERSCORES)
410 *ptr_modif = *ptr_modif + 2;
411 }
412 sym->current++;
413 }
414 switch (*sym->current++)
415 {
416 case 'A': *ret = NULL; break;
417 case 'B': *ret = "const"; break;
418 case 'C': *ret = "volatile"; break;
419 case 'D': *ret = "const volatile"; break;
420 default: return FALSE;
421 }
422 return TRUE;
423 }
424
425 static BOOL get_modified_type(struct datatype_t *ct, struct parsed_symbol* sym,
426 struct array *pmt_ref, char modif, BOOL in_args)
427 {
428 const char* modifier;
429 const char* str_modif;
430 const char *ptr_modif = "";
431
432 if (*sym->current == 'E')
433 {
434 if (!(sym->flags & UNDNAME_NO_MS_KEYWORDS))
435 {
436 if (sym->flags & UNDNAME_NO_LEADING_UNDERSCORES)
437 ptr_modif = " ptr64";
438 else
439 ptr_modif = " __ptr64";
440 }
441 sym->current++;
442 }
443
444 switch (modif)
445 {
446 case 'A': str_modif = str_printf(sym, " &%s", ptr_modif); break;
447 case 'B': str_modif = str_printf(sym, " &%s volatile", ptr_modif); break;
448 case 'P': str_modif = str_printf(sym, " *%s", ptr_modif); break;
449 case 'Q': str_modif = str_printf(sym, " *%s const", ptr_modif); break;
450 case 'R': str_modif = str_printf(sym, " *%s volatile", ptr_modif); break;
451 case 'S': str_modif = str_printf(sym, " *%s const volatile", ptr_modif); break;
452 case '?': str_modif = ""; break;
453 case '$': str_modif = str_printf(sym, " &&%s", ptr_modif); break;
454 default: return FALSE;
455 }
456
457 if (get_modifier(sym, &modifier, &ptr_modif))
458 {
459 unsigned mark = sym->stack.num;
460 struct datatype_t sub_ct;
461
462 /* multidimensional arrays */
463 if (*sym->current == 'Y')
464 {
465 const char* n1;
466 int num;
467
468 sym->current++;
469 if (!(n1 = get_number(sym))) return FALSE;
470 num = atoi(n1);
471
472 if (str_modif[0] == ' ' && !modifier)
473 str_modif++;
474
475 if (modifier)
476 {
477 str_modif = str_printf(sym, " (%s%s)", modifier, str_modif);
478 modifier = NULL;
479 }
480 else
481 str_modif = str_printf(sym, " (%s)", str_modif);
482
483 while (num--)
484 str_modif = str_printf(sym, "%s[%s]", str_modif, get_number(sym));
485 }
486
487 /* Recurse to get the referred-to type */
488 if (!demangle_datatype(sym, &sub_ct, pmt_ref, FALSE))
489 return FALSE;
490 if (modifier)
491 ct->left = str_printf(sym, "%s %s%s", sub_ct.left, modifier, str_modif );
492 else
493 {
494 /* don't insert a space between duplicate '*' */
495 if (!in_args && str_modif[0] && str_modif[1] == '*' && sub_ct.left[strlen(sub_ct.left)-1] == '*')
496 str_modif++;
497 ct->left = str_printf(sym, "%s%s", sub_ct.left, str_modif );
498 }
499 ct->right = sub_ct.right;
500 sym->stack.num = mark;
501 }
502 return TRUE;
503 }
504
505 /******************************************************************
506 * get_literal_string
507 * Gets the literal name from the current position in the mangled
508 * symbol to the first '@' character. It pushes the parsed name to
509 * the symbol names stack and returns a pointer to it or NULL in
510 * case of an error.
511 */
512 static char* get_literal_string(struct parsed_symbol* sym)
513 {
514 const char *ptr = sym->current;
515
516 do {
517 if (!((*sym->current >= 'A' && *sym->current <= 'Z') ||
518 (*sym->current >= 'a' && *sym->current <= 'z') ||
519 (*sym->current >= '0' && *sym->current <= '9') ||
520 *sym->current == '_' || *sym->current == '$')) {
521 TRACE("Failed at '%c' in %s\n", *sym->current, debugstr_a(ptr));
522 return NULL;
523 }
524 } while (*++sym->current != '@');
525 sym->current++;
526 if (!str_array_push(sym, ptr, sym->current - 1 - ptr, &sym->names))
527 return NULL;
528
529 return str_array_get_ref(&sym->names, sym->names.num - sym->names.start - 1);
530 }
531
532 /******************************************************************
533 * get_template_name
534 * Parses a name with a template argument list and returns it as
535 * a string.
536 * In a template argument list the back reference to the names
537 * table is separately created. '0' points to the class component
538 * name with the template arguments. We use the same stack array
539 * to hold the names but save/restore the stack state before/after
540 * parsing the template argument list.
541 */
542 static char* get_template_name(struct parsed_symbol* sym)
543 {
544 char *name, *args;
545 unsigned num_mark = sym->names.num;
546 unsigned start_mark = sym->names.start;
547 unsigned stack_mark = sym->stack.num;
548 struct array array_pmt;
549
550 sym->names.start = sym->names.num;
551 if (!(name = get_literal_string(sym))) {
552 sym->names.start = start_mark;
553 return FALSE;
554 }
555 str_array_init(&array_pmt);
556 args = get_args(sym, &array_pmt, FALSE, '<', '>');
557 if (args != NULL)
558 name = str_printf(sym, "%s%s", name, args);
559 sym->names.num = num_mark;
560 sym->names.start = start_mark;
561 sym->stack.num = stack_mark;
562 return name;
563 }
564
565 /******************************************************************
566 * get_class
567 * Parses class as a list of parent-classes, terminated by '@' and stores the
568 * result in 'a' array. Each parent-classes, as well as the inner element
569 * (either field/method name or class name), are represented in the mangled
570 * name by a literal name ([a-zA-Z0-9_]+ terminated by '@') or a back reference
571 * ([0-9]) or a name with template arguments ('?$' literal name followed by the
572 * template argument list). The class name components appear in the reverse
573 * order in the mangled name, e.g aaa@bbb@ccc@@ will be demangled to
574 * ccc::bbb::aaa
575 * For each of these class name components a string will be allocated in the
576 * array.
577 */
578 static BOOL get_class(struct parsed_symbol* sym)
579 {
580 const char* name = NULL;
581
582 while (*sym->current != '@')
583 {
584 switch (*sym->current)
585 {
586 case '\0': return FALSE;
587
588 case '0': case '1': case '2': case '3':
589 case '4': case '5': case '6': case '7':
590 case '8': case '9':
591 name = str_array_get_ref(&sym->names, *sym->current++ - '0');
592 break;
593 case '?':
594 switch (*++sym->current)
595 {
596 case '$':
597 sym->current++;
598 if ((name = get_template_name(sym)) &&
599 !str_array_push(sym, name, -1, &sym->names))
600 return FALSE;
601 break;
602 case '?':
603 {
604 struct array stack = sym->stack;
605 unsigned int start = sym->names.start;
606 unsigned int num = sym->names.num;
607
608 str_array_init( &sym->stack );
609 if (symbol_demangle( sym )) name = str_printf( sym, "`%s'", sym->result );
610 sym->names.start = start;
611 sym->names.num = num;
612 sym->stack = stack;
613 }
614 break;
615 default:
616 if (!(name = get_number( sym ))) return FALSE;
617 name = str_printf( sym, "`%s'", name );
618 break;
619 }
620 break;
621 default:
622 name = get_literal_string(sym);
623 break;
624 }
625 if (!name || !str_array_push(sym, name, -1, &sym->stack))
626 return FALSE;
627 }
628 sym->current++;
629 return TRUE;
630 }
631
632 /******************************************************************
633 * get_class_string
634 * From an array collected by get_class in sym->stack, constructs the
635 * corresponding (allocated) string
636 */
637 static char* get_class_string(struct parsed_symbol* sym, int start)
638 {
639 int i;
640 unsigned int len, sz;
641 char* ret;
642 struct array *a = &sym->stack;
643
644 for (len = 0, i = start; i < a->num; i++)
645 {
646 assert(a->elts[i]);
647 len += 2 + strlen(a->elts[i]);
648 }
649 if (!(ret = und_alloc(sym, len - 1))) return NULL;
650 for (len = 0, i = a->num - 1; i >= start; i--)
651 {
652 sz = strlen(a->elts[i]);
653 memcpy(ret + len, a->elts[i], sz);
654 len += sz;
655 if (i > start)
656 {
657 ret[len++] = ':';
658 ret[len++] = ':';
659 }
660 }
661 ret[len] = '\0';
662 return ret;
663 }
664
665 /******************************************************************
666 * get_class_name
667 * Wrapper around get_class and get_class_string.
668 */
669 static char* get_class_name(struct parsed_symbol* sym)
670 {
671 unsigned mark = sym->stack.num;
672 char* s = NULL;
673
674 if (get_class(sym))
675 s = get_class_string(sym, mark);
676 sym->stack.num = mark;
677 return s;
678 }
679
680 /******************************************************************
681 * get_calling_convention
682 * Returns a static string corresponding to the calling convention described
683 * by char 'ch'. Sets export to TRUE iff the calling convention is exported.
684 */
685 static BOOL get_calling_convention(char ch, const char** call_conv,
686 const char** exported, unsigned flags)
687 {
688 *call_conv = *exported = NULL;
689
690 if (!(flags & (UNDNAME_NO_MS_KEYWORDS | UNDNAME_NO_ALLOCATION_LANGUAGE)))
691 {
692 if (flags & UNDNAME_NO_LEADING_UNDERSCORES)
693 {
694 if (((ch - 'A') % 2) == 1) *exported = "dll_export ";
695 switch (ch)
696 {
697 case 'A': case 'B': *call_conv = "cdecl"; break;
698 case 'C': case 'D': *call_conv = "pascal"; break;
699 case 'E': case 'F': *call_conv = "thiscall"; break;
700 case 'G': case 'H': *call_conv = "stdcall"; break;
701 case 'I': case 'J': *call_conv = "fastcall"; break;
702 case 'K': case 'L': break;
703 case 'M': *call_conv = "clrcall"; break;
704 default: ERR("Unknown calling convention %c\n", ch); return FALSE;
705 }
706 }
707 else
708 {
709 if (((ch - 'A') % 2) == 1) *exported = "__dll_export ";
710 switch (ch)
711 {
712 case 'A': case 'B': *call_conv = "__cdecl"; break;
713 case 'C': case 'D': *call_conv = "__pascal"; break;
714 case 'E': case 'F': *call_conv = "__thiscall"; break;
715 case 'G': case 'H': *call_conv = "__stdcall"; break;
716 case 'I': case 'J': *call_conv = "__fastcall"; break;
717 case 'K': case 'L': break;
718 case 'M': *call_conv = "__clrcall"; break;
719 default: ERR("Unknown calling convention %c\n", ch); return FALSE;
720 }
721 }
722 }
723 return TRUE;
724 }
725
726 /*******************************************************************
727 * get_simple_type
728 * Return a string containing an allocated string for a simple data type
729 */
730 static const char* get_simple_type(char c)
731 {
732 const char* type_string;
733
734 switch (c)
735 {
736 case 'C': type_string = "signed char"; break;
737 case 'D': type_string = "char"; break;
738 case 'E': type_string = "unsigned char"; break;
739 case 'F': type_string = "short"; break;
740 case 'G': type_string = "unsigned short"; break;
741 case 'H': type_string = "int"; break;
742 case 'I': type_string = "unsigned int"; break;
743 case 'J': type_string = "long"; break;
744 case 'K': type_string = "unsigned long"; break;
745 case 'M': type_string = "float"; break;
746 case 'N': type_string = "double"; break;
747 case 'O': type_string = "long double"; break;
748 case 'X': type_string = "void"; break;
749 case 'Z': type_string = "..."; break;
750 default: type_string = NULL; break;
751 }
752 return type_string;
753 }
754
755 /*******************************************************************
756 * get_extended_type
757 * Return a string containing an allocated string for a simple data type
758 */
759 static const char* get_extended_type(char c)
760 {
761 const char* type_string;
762
763 switch (c)
764 {
765 case 'D': type_string = "__int8"; break;
766 case 'E': type_string = "unsigned __int8"; break;
767 case 'F': type_string = "__int16"; break;
768 case 'G': type_string = "unsigned __int16"; break;
769 case 'H': type_string = "__int32"; break;
770 case 'I': type_string = "unsigned __int32"; break;
771 case 'J': type_string = "__int64"; break;
772 case 'K': type_string = "unsigned __int64"; break;
773 case 'L': type_string = "__int128"; break;
774 case 'M': type_string = "unsigned __int128"; break;
775 case 'N': type_string = "bool"; break;
776 case 'Q': type_string = "char8_t"; break;
777 case 'S': type_string = "char16_t"; break;
778 case 'U': type_string = "char32_t"; break;
779 case 'W': type_string = "wchar_t"; break;
780 default: type_string = NULL; break;
781 }
782 return type_string;
783 }
784
785 /*******************************************************************
786 * demangle_datatype
787 *
788 * Attempt to demangle a C++ data type, which may be datatype.
789 * a datatype type is made up of a number of simple types. e.g:
790 * char** = (pointer to (pointer to (char)))
791 */
792 static BOOL demangle_datatype(struct parsed_symbol* sym, struct datatype_t* ct,
793 struct array* pmt_ref, BOOL in_args)
794 {
795 char dt;
796 BOOL add_pmt = TRUE;
797
798 assert(ct);
799 ct->left = ct->right = NULL;
800
801 switch (dt = *sym->current++)
802 {
803 case '_':
804 /* MS type: __int8,__int16 etc */
805 ct->left = get_extended_type(*sym->current++);
806 break;
807 case 'C': case 'D': case 'E': case 'F': case 'G':
808 case 'H': case 'I': case 'J': case 'K': case 'M':
809 case 'N': case 'O': case 'X': case 'Z':
810 /* Simple data types */
811 ct->left = get_simple_type(dt);
812 add_pmt = FALSE;
813 break;
814 case 'T': /* union */
815 case 'U': /* struct */
816 case 'V': /* class */
817 case 'Y': /* cointerface */
818 /* Class/struct/union/cointerface */
819 {
820 const char* struct_name = NULL;
821 const char* type_name = NULL;
822
823 if (!(struct_name = get_class_name(sym)))
824 goto done;
825 if (!(sym->flags & UNDNAME_NO_COMPLEX_TYPE))
826 {
827 switch (dt)
828 {
829 case 'T': type_name = "union "; break;
830 case 'U': type_name = "struct "; break;
831 case 'V': type_name = "class "; break;
832 case 'Y': type_name = "cointerface "; break;
833 }
834 }
835 ct->left = str_printf(sym, "%s%s", type_name, struct_name);
836 }
837 break;
838 case '?':
839 /* not all the time is seems */
840 if (in_args)
841 {
842 const char* ptr;
843 if (!(ptr = get_number(sym))) goto done;
844 ct->left = str_printf(sym, "`template-parameter-%s'", ptr);
845 }
846 else
847 {
848 if (!get_modified_type(ct, sym, pmt_ref, '?', in_args)) goto done;
849 }
850 break;
851 case 'A': /* reference */
852 case 'B': /* volatile reference */
853 if (!get_modified_type(ct, sym, pmt_ref, dt, in_args)) goto done;
854 break;
855 case 'Q': /* const pointer */
856 case 'R': /* volatile pointer */
857 case 'S': /* const volatile pointer */
858 if (!get_modified_type(ct, sym, pmt_ref, in_args ? dt : 'P', in_args)) goto done;
859 break;
860 case 'P': /* Pointer */
861 if (isdigit(*sym->current))
862 {
863 /* FIXME:
864 * P6 = Function pointer
865 * P8 = Member function pointer
866 * others who knows.. */
867 if (*sym->current == '8')
868 {
869 char* args = NULL;
870 const char* call_conv;
871 const char* exported;
872 struct datatype_t sub_ct;
873 unsigned mark = sym->stack.num;
874 const char* class;
875 const char* modifier;
876 const char* ptr_modif;
877
878 sym->current++;
879
880 if (!(class = get_class_name(sym)))
881 goto done;
882 if (!get_modifier(sym, &modifier, &ptr_modif))
883 goto done;
884 if (modifier)
885 modifier = str_printf(sym, "%s %s", modifier, ptr_modif);
886 else if(ptr_modif)
887 modifier = str_printf(sym, " %s", ptr_modif);
888 if (!get_calling_convention(*sym->current++,
889 &call_conv, &exported,
890 sym->flags & ~UNDNAME_NO_ALLOCATION_LANGUAGE))
891 goto done;
892 if (!demangle_datatype(sym, &sub_ct, pmt_ref, FALSE))
893 goto done;
894
895 args = get_args(sym, pmt_ref, TRUE, '(', ')');
896 if (!args) goto done;
897 sym->stack.num = mark;
898
899 ct->left = str_printf(sym, "%s%s (%s %s::*",
900 sub_ct.left, sub_ct.right, call_conv, class);
901 ct->right = str_printf(sym, ")%s%s", args, modifier);
902 }
903 else if (*sym->current == '6')
904 {
905 char* args = NULL;
906 const char* call_conv;
907 const char* exported;
908 struct datatype_t sub_ct;
909 unsigned mark = sym->stack.num;
910
911 sym->current++;
912
913 if (!get_calling_convention(*sym->current++,
914 &call_conv, &exported,
915 sym->flags & ~UNDNAME_NO_ALLOCATION_LANGUAGE) ||
916 !demangle_datatype(sym, &sub_ct, pmt_ref, FALSE))
917 goto done;
918
919 args = get_args(sym, pmt_ref, TRUE, '(', ')');
920 if (!args) goto done;
921 sym->stack.num = mark;
922
923 ct->left = str_printf(sym, "%s%s (%s*",
924 sub_ct.left, sub_ct.right, call_conv);
925 ct->right = str_printf(sym, ")%s", args);
926 }
927 else goto done;
928 }
929 else if (!get_modified_type(ct, sym, pmt_ref, 'P', in_args)) goto done;
930 break;
931 case 'W':
932 if (*sym->current == '4')
933 {
934 char* enum_name;
935 sym->current++;
936 if (!(enum_name = get_class_name(sym)))
937 goto done;
938 if (sym->flags & UNDNAME_NO_COMPLEX_TYPE)
939 ct->left = enum_name;
940 else
941 ct->left = str_printf(sym, "enum %s", enum_name);
942 }
943 else goto done;
944 break;
945 case '0': case '1': case '2': case '3': case '4':
946 case '5': case '6': case '7': case '8': case '9':
947 /* Referring back to previously parsed type */
948 /* left and right are pushed as two separate strings */
949 if (!pmt_ref) goto done;
950 ct->left = str_array_get_ref(pmt_ref, (dt - '0') * 2);
951 ct->right = str_array_get_ref(pmt_ref, (dt - '0') * 2 + 1);
952 if (!ct->left) goto done;
953 add_pmt = FALSE;
954 break;
955 case '$':
956 switch (*sym->current++)
957 {
958 case '0':
959 if (!(ct->left = get_number(sym))) goto done;
960 break;
961 case 'D':
962 {
963 const char* ptr;
964 if (!(ptr = get_number(sym))) goto done;
965 ct->left = str_printf(sym, "`template-parameter%s'", ptr);
966 }
967 break;
968 case 'F':
969 {
970 const char* p1;
971 const char* p2;
972 if (!(p1 = get_number(sym))) goto done;
973 if (!(p2 = get_number(sym))) goto done;
974 ct->left = str_printf(sym, "{%s,%s}", p1, p2);
975 }
976 break;
977 case 'G':
978 {
979 const char* p1;
980 const char* p2;
981 const char* p3;
982 if (!(p1 = get_number(sym))) goto done;
983 if (!(p2 = get_number(sym))) goto done;
984 if (!(p3 = get_number(sym))) goto done;
985 ct->left = str_printf(sym, "{%s,%s,%s}", p1, p2, p3);
986 }
987 break;
988 case 'Q':
989 {
990 const char* ptr;
991 if (!(ptr = get_number(sym))) goto done;
992 ct->left = str_printf(sym, "`non-type-template-parameter%s'", ptr);
993 }
994 break;
995 case '$':
996 if (*sym->current == 'B')
997 {
998 unsigned mark = sym->stack.num;
999 struct datatype_t sub_ct;
1000 const char* arr = NULL;
1001 sym->current++;
1002
1003 /* multidimensional arrays */
1004 if (*sym->current == 'Y')
1005 {
1006 const char* n1;
1007 int num;
1008
1009 sym->current++;
1010 if (!(n1 = get_number(sym))) goto done;
1011 num = atoi(n1);
1012
1013 while (num--)
1014 arr = str_printf(sym, "%s[%s]", arr, get_number(sym));
1015 }
1016
1017 if (!demangle_datatype(sym, &sub_ct, pmt_ref, FALSE)) goto done;
1018
1019 if (arr)
1020 ct->left = str_printf(sym, "%s %s", sub_ct.left, arr);
1021 else
1022 ct->left = sub_ct.left;
1023 ct->right = sub_ct.right;
1024 sym->stack.num = mark;
1025 }
1026 else if (*sym->current == 'C')
1027 {
1028 const char *ptr, *ptr_modif;
1029
1030 sym->current++;
1031 if (!get_modifier(sym, &ptr, &ptr_modif)) goto done;
1032 if (!demangle_datatype(sym, ct, pmt_ref, in_args)) goto done;
1033 ct->left = str_printf(sym, "%s %s", ct->left, ptr);
1034 }
1035 else if (*sym->current == 'Q')
1036 {
1037 sym->current++;
1038 if (!get_modified_type(ct, sym, pmt_ref, '$', in_args)) goto done;
1039 }
1040 break;
1041 }
1042 break;
1043 default :
1044 ERR("Unknown type %c\n", dt);
1045 break;
1046 }
1047 if (add_pmt && pmt_ref && in_args)
1048 {
1049 /* left and right are pushed as two separate strings */
1050 if (!str_array_push(sym, ct->left ? ct->left : "", -1, pmt_ref) ||
1051 !str_array_push(sym, ct->right ? ct->right : "", -1, pmt_ref))
1052 return FALSE;
1053 }
1054 done:
1055
1056 return ct->left != NULL;
1057 }
1058
1059 /******************************************************************
1060 * handle_data
1061 * Does the final parsing and handling for a variable or a field in
1062 * a class.
1063 */
1064 static BOOL handle_data(struct parsed_symbol* sym)
1065 {
1066 const char* access = NULL;
1067 const char* member_type = NULL;
1068 const char* modifier = NULL;
1069 const char* ptr_modif;
1070 struct datatype_t ct;
1071 char* name = NULL;
1072 BOOL ret = FALSE;
1073
1074 /* 0 private static
1075 * 1 protected static
1076 * 2 public static
1077 * 3 private non-static
1078 * 4 protected non-static
1079 * 5 public non-static
1080 * 6 ?? static
1081 * 7 ?? static
1082 */
1083
1084 if (!(sym->flags & UNDNAME_NO_ACCESS_SPECIFIERS))
1085 {
1086 /* we only print the access for static members */
1087 switch (*sym->current)
1088 {
1089 case '0': access = "private: "; break;
1090 case '1': access = "protected: "; break;
1091 case '2': access = "public: "; break;
1092 }
1093 }
1094
1095 if (!(sym->flags & UNDNAME_NO_MEMBER_TYPE))
1096 {
1097 if (*sym->current >= '0' && *sym->current <= '2')
1098 member_type = "static ";
1099 }
1100
1101 name = get_class_string(sym, 0);
1102
1103 switch (*sym->current++)
1104 {
1105 case '0': case '1': case '2':
1106 case '3': case '4': case '5':
1107 {
1108 unsigned mark = sym->stack.num;
1109 struct array pmt;
1110
1111 str_array_init(&pmt);
1112
1113 if (!demangle_datatype(sym, &ct, &pmt, FALSE)) goto done;
1114 if (!get_modifier(sym, &modifier, &ptr_modif)) goto done;
1115 if (modifier && ptr_modif) modifier = str_printf(sym, "%s %s", modifier, ptr_modif);
1116 else if (!modifier) modifier = ptr_modif;
1117 sym->stack.num = mark;
1118 }
1119 break;
1120 case '6' : /* compiler generated static */
1121 case '7' : /* compiler generated static */
1122 ct.left = ct.right = NULL;
1123 if (!get_modifier(sym, &modifier, &ptr_modif)) goto done;
1124 if (*sym->current != '@')
1125 {
1126 char* cls = NULL;
1127
1128 if (!(cls = get_class_name(sym)))
1129 goto done;
1130 ct.right = str_printf(sym, "{for `%s'}", cls);
1131 }
1132 break;
1133 case '8':
1134 case '9':
1135 modifier = ct.left = ct.right = NULL;
1136 break;
1137 default: goto done;
1138 }
1139 if (sym->flags & UNDNAME_NAME_ONLY) ct.left = ct.right = modifier = NULL;
1140
1141 sym->result = str_printf(sym, "%s%s%s%s%s%s%s%s", access,
1142 member_type, ct.left,
1143 modifier && ct.left ? " " : NULL, modifier,
1144 modifier || ct.left ? " " : NULL, name, ct.right);
1145 ret = TRUE;
1146 done:
1147 return ret;
1148 }
1149
1150 /******************************************************************
1151 * handle_method
1152 * Does the final parsing and handling for a function or a method in
1153 * a class.
1154 */
1155 static BOOL handle_method(struct parsed_symbol* sym, BOOL cast_op)
1156 {
1157 char accmem;
1158 const char* access = NULL;
1159 int access_id = -1;
1160 const char* member_type = NULL;
1161 struct datatype_t ct_ret;
1162 const char* call_conv;
1163 const char* modifier = NULL;
1164 const char* exported;
1165 const char* args_str = NULL;
1166 const char* name = NULL;
1167 BOOL ret = FALSE, has_args = TRUE, has_ret = TRUE;
1168 unsigned mark;
1169 struct array array_pmt;
1170
1171 /* FIXME: why 2 possible letters for each option?
1172 * 'A' private:
1173 * 'B' private:
1174 * 'C' private: static
1175 * 'D' private: static
1176 * 'E' private: virtual
1177 * 'F' private: virtual
1178 * 'G' private: thunk
1179 * 'H' private: thunk
1180 * 'I' protected:
1181 * 'J' protected:
1182 * 'K' protected: static
1183 * 'L' protected: static
1184 * 'M' protected: virtual
1185 * 'N' protected: virtual
1186 * 'O' protected: thunk
1187 * 'P' protected: thunk
1188 * 'Q' public:
1189 * 'R' public:
1190 * 'S' public: static
1191 * 'T' public: static
1192 * 'U' public: virtual
1193 * 'V' public: virtual
1194 * 'W' public: thunk
1195 * 'X' public: thunk
1196 * 'Y'
1197 * 'Z'
1198 * "$0" private: thunk vtordisp
1199 * "$1" private: thunk vtordisp
1200 * "$2" protected: thunk vtordisp
1201 * "$3" protected: thunk vtordisp
1202 * "$4" public: thunk vtordisp
1203 * "$5" public: thunk vtordisp
1204 * "$B" vcall thunk
1205 * "$R" thunk vtordispex
1206 */
1207 accmem = *sym->current++;
1208 if (accmem == '$')
1209 {
1210 if (*sym->current >= '0' && *sym->current <= '5')
1211 access_id = (*sym->current - '0') / 2;
1212 else if (*sym->current == 'R')
1213 access_id = (sym->current[1] - '0') / 2;
1214 else if (*sym->current != 'B')
1215 goto done;
1216 }
1217 else if (accmem >= 'A' && accmem <= 'Z')
1218 access_id = (accmem - 'A') / 8;
1219 else
1220 goto done;
1221
1222 switch (access_id)
1223 {
1224 case 0: access = "private: "; break;
1225 case 1: access = "protected: "; break;
1226 case 2: access = "public: "; break;
1227 }
1228 if (accmem == '$' || (accmem - 'A') % 8 == 6 || (accmem - 'A') % 8 == 7)
1229 access = str_printf(sym, "[thunk]:%s", access ? access : " ");
1230
1231 if (accmem == '$' && *sym->current != 'B')
1232 member_type = "virtual ";
1233 else if (accmem <= 'X')
1234 {
1235 switch ((accmem - 'A') % 8)
1236 {
1237 case 2: case 3: member_type = "static "; break;
1238 case 4: case 5: case 6: case 7: member_type = "virtual "; break;
1239 }
1240 }
1241
1242 if (sym->flags & UNDNAME_NO_ACCESS_SPECIFIERS)
1243 access = NULL;
1244 if (sym->flags & UNDNAME_NO_MEMBER_TYPE)
1245 member_type = NULL;
1246
1247 name = get_class_string(sym, 0);
1248
1249 if (accmem == '$' && *sym->current == 'B') /* vcall thunk */
1250 {
1251 const char *n;
1252
1253 sym->current++;
1254 n = get_number(sym);
1255
1256 if(!n || *sym->current++ != 'A') goto done;
1257 name = str_printf(sym, "%s{%s,{flat}}' }'", name, n);
1258 has_args = FALSE;
1259 has_ret = FALSE;
1260 }
1261 else if (accmem == '$' && *sym->current == 'R') /* vtordispex thunk */
1262 {
1263 const char *n1, *n2, *n3, *n4;
1264
1265 sym->current += 2;
1266 n1 = get_number(sym);
1267 n2 = get_number(sym);
1268 n3 = get_number(sym);
1269 n4 = get_number(sym);
1270
1271 if(!n1 || !n2 || !n3 || !n4) goto done;
1272 name = str_printf(sym, "%s`vtordispex{%s,%s,%s,%s}' ", name, n1, n2, n3, n4);
1273 }
1274 else if (accmem == '$') /* vtordisp thunk */
1275 {
1276 const char *n1, *n2;
1277
1278 sym->current++;
1279 n1 = get_number(sym);
1280 n2 = get_number(sym);
1281
1282 if (!n1 || !n2) goto done;
1283 name = str_printf(sym, "%s`vtordisp{%s,%s}' ", name, n1, n2);
1284 }
1285 else if ((accmem - 'A') % 8 == 6 || (accmem - 'A') % 8 == 7) /* a thunk */
1286 name = str_printf(sym, "%s`adjustor{%s}' ", name, get_number(sym));
1287
1288 if (has_args && (accmem == '$' ||
1289 (accmem <= 'X' && (accmem - 'A') % 8 != 2 && (accmem - 'A') % 8 != 3)))
1290 {
1291 const char *ptr_modif;
1292 /* Implicit 'this' pointer */
1293 /* If there is an implicit this pointer, const modifier follows */
1294 if (!get_modifier(sym, &modifier, &ptr_modif)) goto done;
1295 if (modifier || ptr_modif) modifier = str_printf(sym, "%s %s", modifier, ptr_modif);
1296 }
1297
1298 if (!get_calling_convention(*sym->current++, &call_conv, &exported,
1299 sym->flags))
1300 goto done;
1301
1302 str_array_init(&array_pmt);
1303
1304 /* Return type, or @ if 'void' */
1305 if (has_ret && *sym->current == '@')
1306 {
1307 ct_ret.left = "void";
1308 ct_ret.right = NULL;
1309 sym->current++;
1310 }
1311 else if (has_ret)
1312 {
1313 if (!demangle_datatype(sym, &ct_ret, &array_pmt, FALSE))
1314 goto done;
1315 }
1316 if (!has_ret || sym->flags & UNDNAME_NO_FUNCTION_RETURNS)
1317 ct_ret.left = ct_ret.right = NULL;
1318 if (cast_op)
1319 {
1320 name = str_printf(sym, "%s%s%s", name, ct_ret.left, ct_ret.right);
1321 ct_ret.left = ct_ret.right = NULL;
1322 }
1323
1324 mark = sym->stack.num;
1325 if (has_args && !(args_str = get_args(sym, &array_pmt, TRUE, '(', ')'))) goto done;
1326 if (sym->flags & UNDNAME_NAME_ONLY) args_str = modifier = NULL;
1327 if (sym->flags & UNDNAME_NO_THISTYPE) modifier = NULL;
1328 sym->stack.num = mark;
1329
1330 /* Note: '()' after 'Z' means 'throws', but we don't care here
1331 * Yet!!! FIXME
1332 */
1333 sym->result = str_printf(sym, "%s%s%s%s%s%s%s%s%s%s%s",
1334 access, member_type, ct_ret.left,
1335 (ct_ret.left && !ct_ret.right) ? " " : NULL,
1336 call_conv, call_conv ? " " : NULL, exported,
1337 name, args_str, modifier, ct_ret.right);
1338 ret = TRUE;
1339 done:
1340 return ret;
1341 }
1342
1343 /*******************************************************************
1344 * symbol_demangle
1345 * Demangle a C++ linker symbol
1346 */
1347 static BOOL symbol_demangle(struct parsed_symbol* sym)
1348 {
1349 BOOL ret = FALSE;
1350 unsigned do_after = 0;
1351 static CHAR dashed_null[] = "--null--";
1352
1353 /* FIXME seems wrong as name, as it demangles a simple data type */
1354 if (sym->flags & UNDNAME_NO_ARGUMENTS)
1355 {
1356 struct datatype_t ct;
1357
1358 if (demangle_datatype(sym, &ct, NULL, FALSE))
1359 {
1360 sym->result = str_printf(sym, "%s%s", ct.left, ct.right);
1361 ret = TRUE;
1362 }
1363 goto done;
1364 }
1365
1366 /* MS mangled names always begin with '?' */
1367 if (*sym->current != '?') return FALSE;
1368 sym->current++;
1369
1370 /* Then function name or operator code */
1371 if (*sym->current == '?' && (sym->current[1] != '$' || sym->current[2] == '?'))
1372 {
1373 const char* function_name = NULL;
1374
1375 if (sym->current[1] == '$')
1376 {
1377 do_after = 6;
1378 sym->current += 2;
1379 }
1380
1381 /* C++ operator code (one character, or two if the first is '_') */
1382 switch (*++sym->current)
1383 {
1384 case '0': do_after = 1; break;
1385 case '1': do_after = 2; break;
1386 case '2': function_name = "operator new"; break;
1387 case '3': function_name = "operator delete"; break;
1388 case '4': function_name = "operator="; break;
1389 case '5': function_name = "operator>>"; break;
1390 case '6': function_name = "operator<<"; break;
1391 case '7': function_name = "operator!"; break;
1392 case '8': function_name = "operator=="; break;
1393 case '9': function_name = "operator!="; break;
1394 case 'A': function_name = "operator[]"; break;
1395 case 'B': function_name = "operator "; do_after = 3; break;
1396 case 'C': function_name = "operator->"; break;
1397 case 'D': function_name = "operator*"; break;
1398 case 'E': function_name = "operator++"; break;
1399 case 'F': function_name = "operator--"; break;
1400 case 'G': function_name = "operator-"; break;
1401 case 'H': function_name = "operator+"; break;
1402 case 'I': function_name = "operator&"; break;
1403 case 'J': function_name = "operator->*"; break;
1404 case 'K': function_name = "operator/"; break;
1405 case 'L': function_name = "operator%"; break;
1406 case 'M': function_name = "operator<"; break;
1407 case 'N': function_name = "operator<="; break;
1408 case 'O': function_name = "operator>"; break;
1409 case 'P': function_name = "operator>="; break;
1410 case 'Q': function_name = "operator,"; break;
1411 case 'R': function_name = "operator()"; break;
1412 case 'S': function_name = "operator~"; break;
1413 case 'T': function_name = "operator^"; break;
1414 case 'U': function_name = "operator|"; break;
1415 case 'V': function_name = "operator&&"; break;
1416 case 'W': function_name = "operator||"; break;
1417 case 'X': function_name = "operator*="; break;
1418 case 'Y': function_name = "operator+="; break;
1419 case 'Z': function_name = "operator-="; break;
1420 case '_':
1421 switch (*++sym->current)
1422 {
1423 case '0': function_name = "operator/="; break;
1424 case '1': function_name = "operator%="; break;
1425 case '2': function_name = "operator>>="; break;
1426 case '3': function_name = "operator<<="; break;
1427 case '4': function_name = "operator&="; break;
1428 case '5': function_name = "operator|="; break;
1429 case '6': function_name = "operator^="; break;
1430 case '7': function_name = "`vftable'"; break;
1431 case '8': function_name = "`vbtable'"; break;
1432 case '9': function_name = "`vcall'"; break;
1433 case 'A': function_name = "`typeof'"; break;
1434 case 'B': function_name = "`local static guard'"; break;
1435 case 'C': function_name = "`string'"; do_after = 4; break;
1436 case 'D': function_name = "`vbase destructor'"; break;
1437 case 'E': function_name = "`vector deleting destructor'"; break;
1438 case 'F': function_name = "`default constructor closure'"; break;
1439 case 'G': function_name = "`scalar deleting destructor'"; break;
1440 case 'H': function_name = "`vector constructor iterator'"; break;
1441 case 'I': function_name = "`vector destructor iterator'"; break;
1442 case 'J': function_name = "`vector vbase constructor iterator'"; break;
1443 case 'K': function_name = "`virtual displacement map'"; break;
1444 case 'L': function_name = "`eh vector constructor iterator'"; break;
1445 case 'M': function_name = "`eh vector destructor iterator'"; break;
1446 case 'N': function_name = "`eh vector vbase constructor iterator'"; break;
1447 case 'O': function_name = "`copy constructor closure'"; break;
1448 case 'R':
1449 sym->flags |= UNDNAME_NO_FUNCTION_RETURNS;
1450 switch (*++sym->current)
1451 {
1452 case '0':
1453 {
1454 struct datatype_t ct;
1455 struct array pmt;
1456
1457 sym->current++;
1458 str_array_init(&pmt);
1459 demangle_datatype(sym, &ct, &pmt, FALSE);
1460 if (!demangle_datatype(sym, &ct, NULL, FALSE))
1461 goto done;
1462 function_name = str_printf(sym, "%s%s `RTTI Type Descriptor'",
1463 ct.left, ct.right);
1464 sym->current--;
1465 }
1466 break;
1467 case '1':
1468 {
1469 const char* n1, *n2, *n3, *n4;
1470 sym->current++;
1471 n1 = get_number(sym);
1472 n2 = get_number(sym);
1473 n3 = get_number(sym);
1474 n4 = get_number(sym);
1475 sym->current--;
1476 function_name = str_printf(sym, "`RTTI Base Class Descriptor at (%s,%s,%s,%s)'",
1477 n1, n2, n3, n4);
1478 }
1479 break;
1480 case '2': function_name = "`RTTI Base Class Array'"; break;
1481 case '3': function_name = "`RTTI Class Hierarchy Descriptor'"; break;
1482 case '4': function_name = "`RTTI Complete Object Locator'"; break;
1483 default:
1484 ERR("Unknown RTTI operator: _R%c\n", *sym->current);
1485 break;
1486 }
1487 break;
1488 case 'S': function_name = "`local vftable'"; break;
1489 case 'T': function_name = "`local vftable constructor closure'"; break;
1490 case 'U': function_name = "operator new[]"; break;
1491 case 'V': function_name = "operator delete[]"; break;
1492 case 'X': function_name = "`placement delete closure'"; break;
1493 case 'Y': function_name = "`placement delete[] closure'"; break;
1494 default:
1495 ERR("Unknown operator: _%c\n", *sym->current);
1496 return FALSE;
1497 }
1498 break;
1499 default:
1500 /* FIXME: Other operators */
1501 ERR("Unknown operator: %c\n", *sym->current);
1502 return FALSE;
1503 }
1504 sym->current++;
1505 switch (do_after)
1506 {
1507 case 1: case 2:
1508 if (!str_array_push(sym, dashed_null, -1, &sym->stack))
1509 return FALSE;
1510 break;
1511 case 4:
1512 sym->result = (char*)function_name;
1513 ret = TRUE;
1514 goto done;
1515 case 6:
1516 {
1517 char *args;
1518 struct array array_pmt;
1519
1520 str_array_init(&array_pmt);
1521 args = get_args(sym, &array_pmt, FALSE, '<', '>');
1522 if (args != NULL) function_name = str_printf(sym, "%s%s", function_name, args);
1523 sym->names.num = 0;
1524 }
1525 /* fall through */
1526 default:
1527 if (!str_array_push(sym, function_name, -1, &sym->stack))
1528 return FALSE;
1529 break;
1530 }
1531 }
1532 else if (*sym->current == '$')
1533 {
1534 /* Strange construct, it's a name with a template argument list
1535 and that's all. */
1536 sym->current++;
1537 ret = (sym->result = get_template_name(sym)) != NULL;
1538 goto done;
1539 }
1540 else if (*sym->current == '?' && sym->current[1] == '$')
1541 do_after = 5;
1542
1543 /* Either a class name, or '@' if the symbol is not a class member */
1544 switch (*sym->current)
1545 {
1546 case '@': sym->current++; break;
1547 case '$': break;
1548 default:
1549 /* Class the function is associated with, terminated by '@@' */
1550 if (!get_class(sym)) goto done;
1551 break;
1552 }
1553
1554 switch (do_after)
1555 {
1556 case 0: default: break;
1557 case 1: case 2:
1558 /* it's time to set the member name for ctor & dtor */
1559 if (sym->stack.num <= 1) goto done;
1560 if (do_after == 1)
1561 sym->stack.elts[0] = sym->stack.elts[1];
1562 else
1563 sym->stack.elts[0] = str_printf(sym, "~%s", sym->stack.elts[1]);
1564 /* ctors and dtors don't have return type */
1565 sym->flags |= UNDNAME_NO_FUNCTION_RETURNS;
1566 break;
1567 case 3:
1568 sym->flags &= ~UNDNAME_NO_FUNCTION_RETURNS;
1569 break;
1570 case 5:
1571 sym->names.start++;
1572 break;
1573 }
1574
1575 /* Function/Data type and access level */
1576 if (*sym->current >= '0' && *sym->current <= '9')
1577 ret = handle_data(sym);
1578 else if ((*sym->current >= 'A' && *sym->current <= 'Z') || *sym->current == '$')
1579 ret = handle_method(sym, do_after == 3);
1580 else ret = FALSE;
1581 done:
1582 if (ret) assert(sym->result);
1583 else WARN("Failed at %s\n", debugstr_a(sym->current));
1584
1585 return ret;
1586 }
1587
1588 /*********************************************************************
1589 * __unDNameEx (MSVCRT.@)
1590 *
1591 * Demangle a C++ identifier.
1592 *
1593 * PARAMS
1594 * buffer [O] If not NULL, the place to put the demangled string
1595 * mangled [I] Mangled name of the function
1596 * buflen [I] Length of buffer
1597 * memget [I] Function to allocate memory with
1598 * memfree [I] Function to free memory with
1599 * unknown [?] Unknown, possibly a call back
1600 * flags [I] Flags determining demangled format
1601 *
1602 * RETURNS
1603 * Success: A string pointing to the unmangled name, allocated with memget.
1604 * Failure: NULL.
1605 */
1606 char* CDECL __unDNameEx(char* buffer, const char* mangled, int buflen,
1607 malloc_func_t memget, free_func_t memfree,
1608 void* unknown, unsigned short int flags)
1609 {
1610 struct parsed_symbol sym;
1611 const char* result;
1612
1613 TRACE("(%p,%s,%d,%p,%p,%p,%x)\n",
1614 buffer, debugstr_a(mangled), buflen, memget, memfree, unknown, flags);
1615
1616 /* The flags details is not documented by MS. However, it looks exactly
1617 * like the UNDNAME_ manifest constants from imagehlp.h and dbghelp.h
1618 * So, we copied those (on top of the file)
1619 */
1620 memset(&sym, 0, sizeof(struct parsed_symbol));
1621 if (flags & UNDNAME_NAME_ONLY)
1622 flags |= UNDNAME_NO_FUNCTION_RETURNS | UNDNAME_NO_ACCESS_SPECIFIERS |
1623 UNDNAME_NO_MEMBER_TYPE | UNDNAME_NO_ALLOCATION_LANGUAGE |
1624 UNDNAME_NO_COMPLEX_TYPE;
1625
1626 sym.flags = flags;
1627 sym.mem_alloc_ptr = memget;
1628 sym.mem_free_ptr = memfree;
1629 sym.current = mangled;
1630 str_array_init( &sym.names );
1631 str_array_init( &sym.stack );
1632
1633 result = symbol_demangle(&sym) ? sym.result : mangled;
1634 if (buffer && buflen)
1635 {
1636 lstrcpynA( buffer, result, buflen);
1637 }
1638 else
1639 {
1640 buffer = memget(strlen(result) + 1);
1641 if (buffer) strcpy(buffer, result);
1642 }
1643
1644 und_free_all(&sym);
1645
1646 return buffer;
1647 }
1648
1649
1650 /*********************************************************************
1651 * __unDName (MSVCRT.@)
1652 */
1653 char* CDECL __unDName(char* buffer, const char* mangled, int buflen,
1654 malloc_func_t memget, free_func_t memfree,
1655 unsigned short int flags)
1656 {
1657 return __unDNameEx(buffer, mangled, buflen, memget, memfree, NULL, flags);
1658 }
Windows API implementation