2005-09-09 Thomas Koenig <Thomas.Koenig@online.de>
[official-gcc.git] / libiberty / cp-demangle.c
blob8f1cfb17f87f2734e0b756390eeaa94a69dc87ab
1 /* Demangler for g++ V3 ABI.
2 Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc.
3 Written by Ian Lance Taylor <ian@wasabisystems.com>.
5 This file is part of the libiberty library, which is part of GCC.
7 This file is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
12 In addition to the permissions in the GNU General Public License, the
13 Free Software Foundation gives you unlimited permission to link the
14 compiled version of this file into combinations with other programs,
15 and to distribute those combinations without any restriction coming
16 from the use of this file. (The General Public License restrictions
17 do apply in other respects; for example, they cover modification of
18 the file, and distribution when not linked into a combined
19 executable.)
21 This program is distributed in the hope that it will be useful,
22 but WITHOUT ANY WARRANTY; without even the implied warranty of
23 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
24 GNU General Public License for more details.
26 You should have received a copy of the GNU General Public License
27 along with this program; if not, write to the Free Software
28 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA.
31 /* This code implements a demangler for the g++ V3 ABI. The ABI is
32 described on this web page:
33 http://www.codesourcery.com/cxx-abi/abi.html#mangling
35 This code was written while looking at the demangler written by
36 Alex Samuel <samuel@codesourcery.com>.
38 This code first pulls the mangled name apart into a list of
39 components, and then walks the list generating the demangled
40 name.
42 This file will normally define the following functions, q.v.:
43 char *cplus_demangle_v3(const char *mangled, int options)
44 char *java_demangle_v3(const char *mangled)
45 enum gnu_v3_ctor_kinds is_gnu_v3_mangled_ctor (const char *name)
46 enum gnu_v3_dtor_kinds is_gnu_v3_mangled_dtor (const char *name)
48 Also, the interface to the component list is public, and defined in
49 demangle.h. The interface consists of these types, which are
50 defined in demangle.h:
51 enum demangle_component_type
52 struct demangle_component
53 and these functions defined in this file:
54 cplus_demangle_fill_name
55 cplus_demangle_fill_extended_operator
56 cplus_demangle_fill_ctor
57 cplus_demangle_fill_dtor
58 cplus_demangle_print
59 and other functions defined in the file cp-demint.c.
61 This file also defines some other functions and variables which are
62 only to be used by the file cp-demint.c.
64 Preprocessor macros you can define while compiling this file:
66 IN_LIBGCC2
67 If defined, this file defines the following function, q.v.:
68 char *__cxa_demangle (const char *mangled, char *buf, size_t *len,
69 int *status)
70 instead of cplus_demangle_v3() and java_demangle_v3().
72 IN_GLIBCPP_V3
73 If defined, this file defines only __cxa_demangle(), and no other
74 publically visible functions or variables.
76 STANDALONE_DEMANGLER
77 If defined, this file defines a main() function which demangles
78 any arguments, or, if none, demangles stdin.
80 CP_DEMANGLE_DEBUG
81 If defined, turns on debugging mode, which prints information on
82 stdout about the mangled string. This is not generally useful.
85 #ifdef HAVE_CONFIG_H
86 #include "config.h"
87 #endif
89 #include <stdio.h>
91 #ifdef HAVE_STDLIB_H
92 #include <stdlib.h>
93 #endif
94 #ifdef HAVE_STRING_H
95 #include <string.h>
96 #endif
98 #include "ansidecl.h"
99 #include "libiberty.h"
100 #include "demangle.h"
101 #include "cp-demangle.h"
103 /* If IN_GLIBCPP_V3 is defined, some functions are made static. We
104 also rename them via #define to avoid compiler errors when the
105 static definition conflicts with the extern declaration in a header
106 file. */
107 #ifdef IN_GLIBCPP_V3
109 #define CP_STATIC_IF_GLIBCPP_V3 static
111 #define cplus_demangle_fill_name d_fill_name
112 static int d_fill_name (struct demangle_component *, const char *, int);
114 #define cplus_demangle_fill_extended_operator d_fill_extended_operator
115 static int
116 d_fill_extended_operator (struct demangle_component *, int,
117 struct demangle_component *);
119 #define cplus_demangle_fill_ctor d_fill_ctor
120 static int
121 d_fill_ctor (struct demangle_component *, enum gnu_v3_ctor_kinds,
122 struct demangle_component *);
124 #define cplus_demangle_fill_dtor d_fill_dtor
125 static int
126 d_fill_dtor (struct demangle_component *, enum gnu_v3_dtor_kinds,
127 struct demangle_component *);
129 #define cplus_demangle_mangled_name d_mangled_name
130 static struct demangle_component *d_mangled_name (struct d_info *, int);
132 #define cplus_demangle_type d_type
133 static struct demangle_component *d_type (struct d_info *);
135 #define cplus_demangle_print d_print
136 static char *d_print (int, const struct demangle_component *, int, size_t *);
138 #define cplus_demangle_init_info d_init_info
139 static void d_init_info (const char *, int, size_t, struct d_info *);
141 #else /* ! defined(IN_GLIBCPP_V3) */
142 #define CP_STATIC_IF_GLIBCPP_V3
143 #endif /* ! defined(IN_GLIBCPP_V3) */
145 /* See if the compiler supports dynamic arrays. */
147 #ifdef __GNUC__
148 #define CP_DYNAMIC_ARRAYS
149 #else
150 #ifdef __STDC__
151 #ifdef __STDC_VERSION__
152 #if __STDC_VERSION__ >= 199901L
153 #define CP_DYNAMIC_ARRAYS
154 #endif /* __STDC__VERSION >= 199901L */
155 #endif /* defined (__STDC_VERSION__) */
156 #endif /* defined (__STDC__) */
157 #endif /* ! defined (__GNUC__) */
159 /* We avoid pulling in the ctype tables, to prevent pulling in
160 additional unresolved symbols when this code is used in a library.
161 FIXME: Is this really a valid reason? This comes from the original
162 V3 demangler code.
164 As of this writing this file has the following undefined references
165 when compiled with -DIN_GLIBCPP_V3: malloc, realloc, free, memcpy,
166 strcpy, strcat, strlen. */
168 #define IS_DIGIT(c) ((c) >= '0' && (c) <= '9')
169 #define IS_UPPER(c) ((c) >= 'A' && (c) <= 'Z')
170 #define IS_LOWER(c) ((c) >= 'a' && (c) <= 'z')
172 /* The prefix prepended by GCC to an identifier represnting the
173 anonymous namespace. */
174 #define ANONYMOUS_NAMESPACE_PREFIX "_GLOBAL_"
175 #define ANONYMOUS_NAMESPACE_PREFIX_LEN \
176 (sizeof (ANONYMOUS_NAMESPACE_PREFIX) - 1)
178 /* Information we keep for the standard substitutions. */
180 struct d_standard_sub_info
182 /* The code for this substitution. */
183 char code;
184 /* The simple string it expands to. */
185 const char *simple_expansion;
186 /* The length of the simple expansion. */
187 int simple_len;
188 /* The results of a full, verbose, expansion. This is used when
189 qualifying a constructor/destructor, or when in verbose mode. */
190 const char *full_expansion;
191 /* The length of the full expansion. */
192 int full_len;
193 /* What to set the last_name field of d_info to; NULL if we should
194 not set it. This is only relevant when qualifying a
195 constructor/destructor. */
196 const char *set_last_name;
197 /* The length of set_last_name. */
198 int set_last_name_len;
201 /* Accessors for subtrees of struct demangle_component. */
203 #define d_left(dc) ((dc)->u.s_binary.left)
204 #define d_right(dc) ((dc)->u.s_binary.right)
206 /* A list of templates. This is used while printing. */
208 struct d_print_template
210 /* Next template on the list. */
211 struct d_print_template *next;
212 /* This template. */
213 const struct demangle_component *template_decl;
216 /* A list of type modifiers. This is used while printing. */
218 struct d_print_mod
220 /* Next modifier on the list. These are in the reverse of the order
221 in which they appeared in the mangled string. */
222 struct d_print_mod *next;
223 /* The modifier. */
224 const struct demangle_component *mod;
225 /* Whether this modifier was printed. */
226 int printed;
227 /* The list of templates which applies to this modifier. */
228 struct d_print_template *templates;
231 /* We use this structure to hold information during printing. */
233 struct d_print_info
235 /* The options passed to the demangler. */
236 int options;
237 /* Buffer holding the result. */
238 char *buf;
239 /* Current length of data in buffer. */
240 size_t len;
241 /* Allocated size of buffer. */
242 size_t alc;
243 /* The current list of templates, if any. */
244 struct d_print_template *templates;
245 /* The current list of modifiers (e.g., pointer, reference, etc.),
246 if any. */
247 struct d_print_mod *modifiers;
248 /* Set to 1 if we had a memory allocation failure. */
249 int allocation_failure;
252 #define d_print_saw_error(dpi) ((dpi)->buf == NULL)
254 #define d_append_char(dpi, c) \
255 do \
257 if ((dpi)->buf != NULL && (dpi)->len < (dpi)->alc) \
258 (dpi)->buf[(dpi)->len++] = (c); \
259 else \
260 d_print_append_char ((dpi), (c)); \
262 while (0)
264 #define d_append_buffer(dpi, s, l) \
265 do \
267 if ((dpi)->buf != NULL && (dpi)->len + (l) <= (dpi)->alc) \
269 memcpy ((dpi)->buf + (dpi)->len, (s), (l)); \
270 (dpi)->len += l; \
272 else \
273 d_print_append_buffer ((dpi), (s), (l)); \
275 while (0)
277 #define d_append_string_constant(dpi, s) \
278 d_append_buffer (dpi, (s), sizeof (s) - 1)
280 #define d_last_char(dpi) \
281 ((dpi)->buf == NULL || (dpi)->len == 0 ? '\0' : (dpi)->buf[(dpi)->len - 1])
283 #ifdef CP_DEMANGLE_DEBUG
284 static void d_dump (struct demangle_component *, int);
285 #endif
287 static struct demangle_component *
288 d_make_empty (struct d_info *);
290 static struct demangle_component *
291 d_make_comp (struct d_info *, enum demangle_component_type,
292 struct demangle_component *,
293 struct demangle_component *);
295 static struct demangle_component *
296 d_make_name (struct d_info *, const char *, int);
298 static struct demangle_component *
299 d_make_builtin_type (struct d_info *,
300 const struct demangle_builtin_type_info *);
302 static struct demangle_component *
303 d_make_operator (struct d_info *,
304 const struct demangle_operator_info *);
306 static struct demangle_component *
307 d_make_extended_operator (struct d_info *, int,
308 struct demangle_component *);
310 static struct demangle_component *
311 d_make_ctor (struct d_info *, enum gnu_v3_ctor_kinds,
312 struct demangle_component *);
314 static struct demangle_component *
315 d_make_dtor (struct d_info *, enum gnu_v3_dtor_kinds,
316 struct demangle_component *);
318 static struct demangle_component *
319 d_make_template_param (struct d_info *, long);
321 static struct demangle_component *
322 d_make_sub (struct d_info *, const char *, int);
324 static int
325 has_return_type (struct demangle_component *);
327 static int
328 is_ctor_dtor_or_conversion (struct demangle_component *);
330 static struct demangle_component *d_encoding (struct d_info *, int);
332 static struct demangle_component *d_name (struct d_info *);
334 static struct demangle_component *d_nested_name (struct d_info *);
336 static struct demangle_component *d_prefix (struct d_info *);
338 static struct demangle_component *d_unqualified_name (struct d_info *);
340 static struct demangle_component *d_source_name (struct d_info *);
342 static long d_number (struct d_info *);
344 static struct demangle_component *d_identifier (struct d_info *, int);
346 static struct demangle_component *d_operator_name (struct d_info *);
348 static struct demangle_component *d_special_name (struct d_info *);
350 static int d_call_offset (struct d_info *, int);
352 static struct demangle_component *d_ctor_dtor_name (struct d_info *);
354 static struct demangle_component **
355 d_cv_qualifiers (struct d_info *, struct demangle_component **, int);
357 static struct demangle_component *
358 d_function_type (struct d_info *);
360 static struct demangle_component *
361 d_bare_function_type (struct d_info *, int);
363 static struct demangle_component *
364 d_class_enum_type (struct d_info *);
366 static struct demangle_component *d_array_type (struct d_info *);
368 static struct demangle_component *
369 d_pointer_to_member_type (struct d_info *);
371 static struct demangle_component *
372 d_template_param (struct d_info *);
374 static struct demangle_component *d_template_args (struct d_info *);
376 static struct demangle_component *
377 d_template_arg (struct d_info *);
379 static struct demangle_component *d_expression (struct d_info *);
381 static struct demangle_component *d_expr_primary (struct d_info *);
383 static struct demangle_component *d_local_name (struct d_info *);
385 static int d_discriminator (struct d_info *);
387 static int
388 d_add_substitution (struct d_info *, struct demangle_component *);
390 static struct demangle_component *d_substitution (struct d_info *, int);
392 static void d_print_resize (struct d_print_info *, size_t);
394 static void d_print_append_char (struct d_print_info *, int);
396 static void
397 d_print_append_buffer (struct d_print_info *, const char *, size_t);
399 static void d_print_error (struct d_print_info *);
401 static void
402 d_print_comp (struct d_print_info *, const struct demangle_component *);
404 static void
405 d_print_java_identifier (struct d_print_info *, const char *, int);
407 static void
408 d_print_mod_list (struct d_print_info *, struct d_print_mod *, int);
410 static void
411 d_print_mod (struct d_print_info *, const struct demangle_component *);
413 static void
414 d_print_function_type (struct d_print_info *,
415 const struct demangle_component *,
416 struct d_print_mod *);
418 static void
419 d_print_array_type (struct d_print_info *,
420 const struct demangle_component *,
421 struct d_print_mod *);
423 static void
424 d_print_expr_op (struct d_print_info *, const struct demangle_component *);
426 static void
427 d_print_cast (struct d_print_info *, const struct demangle_component *);
429 static char *d_demangle (const char *, int, size_t *);
431 #ifdef CP_DEMANGLE_DEBUG
433 static void
434 d_dump (struct demangle_component *dc, int indent)
436 int i;
438 if (dc == NULL)
439 return;
441 for (i = 0; i < indent; ++i)
442 putchar (' ');
444 switch (dc->type)
446 case DEMANGLE_COMPONENT_NAME:
447 printf ("name '%.*s'\n", dc->u.s_name.len, dc->u.s_name.s);
448 return;
449 case DEMANGLE_COMPONENT_TEMPLATE_PARAM:
450 printf ("template parameter %ld\n", dc->u.s_number.number);
451 return;
452 case DEMANGLE_COMPONENT_CTOR:
453 printf ("constructor %d\n", (int) dc->u.s_ctor.kind);
454 d_dump (dc->u.s_ctor.name, indent + 2);
455 return;
456 case DEMANGLE_COMPONENT_DTOR:
457 printf ("destructor %d\n", (int) dc->u.s_dtor.kind);
458 d_dump (dc->u.s_dtor.name, indent + 2);
459 return;
460 case DEMANGLE_COMPONENT_SUB_STD:
461 printf ("standard substitution %s\n", dc->u.s_string.string);
462 return;
463 case DEMANGLE_COMPONENT_BUILTIN_TYPE:
464 printf ("builtin type %s\n", dc->u.s_builtin.type->name);
465 return;
466 case DEMANGLE_COMPONENT_OPERATOR:
467 printf ("operator %s\n", dc->u.s_operator.op->name);
468 return;
469 case DEMANGLE_COMPONENT_EXTENDED_OPERATOR:
470 printf ("extended operator with %d args\n",
471 dc->u.s_extended_operator.args);
472 d_dump (dc->u.s_extended_operator.name, indent + 2);
473 return;
475 case DEMANGLE_COMPONENT_QUAL_NAME:
476 printf ("qualified name\n");
477 break;
478 case DEMANGLE_COMPONENT_LOCAL_NAME:
479 printf ("local name\n");
480 break;
481 case DEMANGLE_COMPONENT_TYPED_NAME:
482 printf ("typed name\n");
483 break;
484 case DEMANGLE_COMPONENT_TEMPLATE:
485 printf ("template\n");
486 break;
487 case DEMANGLE_COMPONENT_VTABLE:
488 printf ("vtable\n");
489 break;
490 case DEMANGLE_COMPONENT_VTT:
491 printf ("VTT\n");
492 break;
493 case DEMANGLE_COMPONENT_CONSTRUCTION_VTABLE:
494 printf ("construction vtable\n");
495 break;
496 case DEMANGLE_COMPONENT_TYPEINFO:
497 printf ("typeinfo\n");
498 break;
499 case DEMANGLE_COMPONENT_TYPEINFO_NAME:
500 printf ("typeinfo name\n");
501 break;
502 case DEMANGLE_COMPONENT_TYPEINFO_FN:
503 printf ("typeinfo function\n");
504 break;
505 case DEMANGLE_COMPONENT_THUNK:
506 printf ("thunk\n");
507 break;
508 case DEMANGLE_COMPONENT_VIRTUAL_THUNK:
509 printf ("virtual thunk\n");
510 break;
511 case DEMANGLE_COMPONENT_COVARIANT_THUNK:
512 printf ("covariant thunk\n");
513 break;
514 case DEMANGLE_COMPONENT_JAVA_CLASS:
515 printf ("java class\n");
516 break;
517 case DEMANGLE_COMPONENT_GUARD:
518 printf ("guard\n");
519 break;
520 case DEMANGLE_COMPONENT_REFTEMP:
521 printf ("reference temporary\n");
522 break;
523 case DEMANGLE_COMPONENT_HIDDEN_ALIAS:
524 printf ("hidden alias\n");
525 break;
526 case DEMANGLE_COMPONENT_RESTRICT:
527 printf ("restrict\n");
528 break;
529 case DEMANGLE_COMPONENT_VOLATILE:
530 printf ("volatile\n");
531 break;
532 case DEMANGLE_COMPONENT_CONST:
533 printf ("const\n");
534 break;
535 case DEMANGLE_COMPONENT_RESTRICT_THIS:
536 printf ("restrict this\n");
537 break;
538 case DEMANGLE_COMPONENT_VOLATILE_THIS:
539 printf ("volatile this\n");
540 break;
541 case DEMANGLE_COMPONENT_CONST_THIS:
542 printf ("const this\n");
543 break;
544 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
545 printf ("vendor type qualifier\n");
546 break;
547 case DEMANGLE_COMPONENT_POINTER:
548 printf ("pointer\n");
549 break;
550 case DEMANGLE_COMPONENT_REFERENCE:
551 printf ("reference\n");
552 break;
553 case DEMANGLE_COMPONENT_COMPLEX:
554 printf ("complex\n");
555 break;
556 case DEMANGLE_COMPONENT_IMAGINARY:
557 printf ("imaginary\n");
558 break;
559 case DEMANGLE_COMPONENT_VENDOR_TYPE:
560 printf ("vendor type\n");
561 break;
562 case DEMANGLE_COMPONENT_FUNCTION_TYPE:
563 printf ("function type\n");
564 break;
565 case DEMANGLE_COMPONENT_ARRAY_TYPE:
566 printf ("array type\n");
567 break;
568 case DEMANGLE_COMPONENT_PTRMEM_TYPE:
569 printf ("pointer to member type\n");
570 break;
571 case DEMANGLE_COMPONENT_ARGLIST:
572 printf ("argument list\n");
573 break;
574 case DEMANGLE_COMPONENT_TEMPLATE_ARGLIST:
575 printf ("template argument list\n");
576 break;
577 case DEMANGLE_COMPONENT_CAST:
578 printf ("cast\n");
579 break;
580 case DEMANGLE_COMPONENT_UNARY:
581 printf ("unary operator\n");
582 break;
583 case DEMANGLE_COMPONENT_BINARY:
584 printf ("binary operator\n");
585 break;
586 case DEMANGLE_COMPONENT_BINARY_ARGS:
587 printf ("binary operator arguments\n");
588 break;
589 case DEMANGLE_COMPONENT_TRINARY:
590 printf ("trinary operator\n");
591 break;
592 case DEMANGLE_COMPONENT_TRINARY_ARG1:
593 printf ("trinary operator arguments 1\n");
594 break;
595 case DEMANGLE_COMPONENT_TRINARY_ARG2:
596 printf ("trinary operator arguments 1\n");
597 break;
598 case DEMANGLE_COMPONENT_LITERAL:
599 printf ("literal\n");
600 break;
601 case DEMANGLE_COMPONENT_LITERAL_NEG:
602 printf ("negative literal\n");
603 break;
606 d_dump (d_left (dc), indent + 2);
607 d_dump (d_right (dc), indent + 2);
610 #endif /* CP_DEMANGLE_DEBUG */
612 /* Fill in a DEMANGLE_COMPONENT_NAME. */
614 CP_STATIC_IF_GLIBCPP_V3
616 cplus_demangle_fill_name (struct demangle_component *p, const char *s, int len)
618 if (p == NULL || s == NULL || len == 0)
619 return 0;
620 p->type = DEMANGLE_COMPONENT_NAME;
621 p->u.s_name.s = s;
622 p->u.s_name.len = len;
623 return 1;
626 /* Fill in a DEMANGLE_COMPONENT_EXTENDED_OPERATOR. */
628 CP_STATIC_IF_GLIBCPP_V3
630 cplus_demangle_fill_extended_operator (struct demangle_component *p, int args,
631 struct demangle_component *name)
633 if (p == NULL || args < 0 || name == NULL)
634 return 0;
635 p->type = DEMANGLE_COMPONENT_EXTENDED_OPERATOR;
636 p->u.s_extended_operator.args = args;
637 p->u.s_extended_operator.name = name;
638 return 1;
641 /* Fill in a DEMANGLE_COMPONENT_CTOR. */
643 CP_STATIC_IF_GLIBCPP_V3
645 cplus_demangle_fill_ctor (struct demangle_component *p,
646 enum gnu_v3_ctor_kinds kind,
647 struct demangle_component *name)
649 if (p == NULL
650 || name == NULL
651 || (kind < gnu_v3_complete_object_ctor
652 && kind > gnu_v3_complete_object_allocating_ctor))
653 return 0;
654 p->type = DEMANGLE_COMPONENT_CTOR;
655 p->u.s_ctor.kind = kind;
656 p->u.s_ctor.name = name;
657 return 1;
660 /* Fill in a DEMANGLE_COMPONENT_DTOR. */
662 CP_STATIC_IF_GLIBCPP_V3
664 cplus_demangle_fill_dtor (struct demangle_component *p,
665 enum gnu_v3_dtor_kinds kind,
666 struct demangle_component *name)
668 if (p == NULL
669 || name == NULL
670 || (kind < gnu_v3_deleting_dtor
671 && kind > gnu_v3_base_object_dtor))
672 return 0;
673 p->type = DEMANGLE_COMPONENT_DTOR;
674 p->u.s_dtor.kind = kind;
675 p->u.s_dtor.name = name;
676 return 1;
679 /* Add a new component. */
681 static struct demangle_component *
682 d_make_empty (struct d_info *di)
684 struct demangle_component *p;
686 if (di->next_comp >= di->num_comps)
687 return NULL;
688 p = &di->comps[di->next_comp];
689 ++di->next_comp;
690 return p;
693 /* Add a new generic component. */
695 static struct demangle_component *
696 d_make_comp (struct d_info *di, enum demangle_component_type type,
697 struct demangle_component *left,
698 struct demangle_component *right)
700 struct demangle_component *p;
702 /* We check for errors here. A typical error would be a NULL return
703 from a subroutine. We catch those here, and return NULL
704 upward. */
705 switch (type)
707 /* These types require two parameters. */
708 case DEMANGLE_COMPONENT_QUAL_NAME:
709 case DEMANGLE_COMPONENT_LOCAL_NAME:
710 case DEMANGLE_COMPONENT_TYPED_NAME:
711 case DEMANGLE_COMPONENT_TEMPLATE:
712 case DEMANGLE_COMPONENT_CONSTRUCTION_VTABLE:
713 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
714 case DEMANGLE_COMPONENT_PTRMEM_TYPE:
715 case DEMANGLE_COMPONENT_UNARY:
716 case DEMANGLE_COMPONENT_BINARY:
717 case DEMANGLE_COMPONENT_BINARY_ARGS:
718 case DEMANGLE_COMPONENT_TRINARY:
719 case DEMANGLE_COMPONENT_TRINARY_ARG1:
720 case DEMANGLE_COMPONENT_TRINARY_ARG2:
721 case DEMANGLE_COMPONENT_LITERAL:
722 case DEMANGLE_COMPONENT_LITERAL_NEG:
723 if (left == NULL || right == NULL)
724 return NULL;
725 break;
727 /* These types only require one parameter. */
728 case DEMANGLE_COMPONENT_VTABLE:
729 case DEMANGLE_COMPONENT_VTT:
730 case DEMANGLE_COMPONENT_TYPEINFO:
731 case DEMANGLE_COMPONENT_TYPEINFO_NAME:
732 case DEMANGLE_COMPONENT_TYPEINFO_FN:
733 case DEMANGLE_COMPONENT_THUNK:
734 case DEMANGLE_COMPONENT_VIRTUAL_THUNK:
735 case DEMANGLE_COMPONENT_COVARIANT_THUNK:
736 case DEMANGLE_COMPONENT_JAVA_CLASS:
737 case DEMANGLE_COMPONENT_GUARD:
738 case DEMANGLE_COMPONENT_REFTEMP:
739 case DEMANGLE_COMPONENT_HIDDEN_ALIAS:
740 case DEMANGLE_COMPONENT_POINTER:
741 case DEMANGLE_COMPONENT_REFERENCE:
742 case DEMANGLE_COMPONENT_COMPLEX:
743 case DEMANGLE_COMPONENT_IMAGINARY:
744 case DEMANGLE_COMPONENT_VENDOR_TYPE:
745 case DEMANGLE_COMPONENT_ARGLIST:
746 case DEMANGLE_COMPONENT_TEMPLATE_ARGLIST:
747 case DEMANGLE_COMPONENT_CAST:
748 if (left == NULL)
749 return NULL;
750 break;
752 /* This needs a right parameter, but the left parameter can be
753 empty. */
754 case DEMANGLE_COMPONENT_ARRAY_TYPE:
755 if (right == NULL)
756 return NULL;
757 break;
759 /* These are allowed to have no parameters--in some cases they
760 will be filled in later. */
761 case DEMANGLE_COMPONENT_FUNCTION_TYPE:
762 case DEMANGLE_COMPONENT_RESTRICT:
763 case DEMANGLE_COMPONENT_VOLATILE:
764 case DEMANGLE_COMPONENT_CONST:
765 case DEMANGLE_COMPONENT_RESTRICT_THIS:
766 case DEMANGLE_COMPONENT_VOLATILE_THIS:
767 case DEMANGLE_COMPONENT_CONST_THIS:
768 break;
770 /* Other types should not be seen here. */
771 default:
772 return NULL;
775 p = d_make_empty (di);
776 if (p != NULL)
778 p->type = type;
779 p->u.s_binary.left = left;
780 p->u.s_binary.right = right;
782 return p;
785 /* Add a new name component. */
787 static struct demangle_component *
788 d_make_name (struct d_info *di, const char *s, int len)
790 struct demangle_component *p;
792 p = d_make_empty (di);
793 if (! cplus_demangle_fill_name (p, s, len))
794 return NULL;
795 return p;
798 /* Add a new builtin type component. */
800 static struct demangle_component *
801 d_make_builtin_type (struct d_info *di,
802 const struct demangle_builtin_type_info *type)
804 struct demangle_component *p;
806 if (type == NULL)
807 return NULL;
808 p = d_make_empty (di);
809 if (p != NULL)
811 p->type = DEMANGLE_COMPONENT_BUILTIN_TYPE;
812 p->u.s_builtin.type = type;
814 return p;
817 /* Add a new operator component. */
819 static struct demangle_component *
820 d_make_operator (struct d_info *di, const struct demangle_operator_info *op)
822 struct demangle_component *p;
824 p = d_make_empty (di);
825 if (p != NULL)
827 p->type = DEMANGLE_COMPONENT_OPERATOR;
828 p->u.s_operator.op = op;
830 return p;
833 /* Add a new extended operator component. */
835 static struct demangle_component *
836 d_make_extended_operator (struct d_info *di, int args,
837 struct demangle_component *name)
839 struct demangle_component *p;
841 p = d_make_empty (di);
842 if (! cplus_demangle_fill_extended_operator (p, args, name))
843 return NULL;
844 return p;
847 /* Add a new constructor component. */
849 static struct demangle_component *
850 d_make_ctor (struct d_info *di, enum gnu_v3_ctor_kinds kind,
851 struct demangle_component *name)
853 struct demangle_component *p;
855 p = d_make_empty (di);
856 if (! cplus_demangle_fill_ctor (p, kind, name))
857 return NULL;
858 return p;
861 /* Add a new destructor component. */
863 static struct demangle_component *
864 d_make_dtor (struct d_info *di, enum gnu_v3_dtor_kinds kind,
865 struct demangle_component *name)
867 struct demangle_component *p;
869 p = d_make_empty (di);
870 if (! cplus_demangle_fill_dtor (p, kind, name))
871 return NULL;
872 return p;
875 /* Add a new template parameter. */
877 static struct demangle_component *
878 d_make_template_param (struct d_info *di, long i)
880 struct demangle_component *p;
882 p = d_make_empty (di);
883 if (p != NULL)
885 p->type = DEMANGLE_COMPONENT_TEMPLATE_PARAM;
886 p->u.s_number.number = i;
888 return p;
891 /* Add a new standard substitution component. */
893 static struct demangle_component *
894 d_make_sub (struct d_info *di, const char *name, int len)
896 struct demangle_component *p;
898 p = d_make_empty (di);
899 if (p != NULL)
901 p->type = DEMANGLE_COMPONENT_SUB_STD;
902 p->u.s_string.string = name;
903 p->u.s_string.len = len;
905 return p;
908 /* <mangled-name> ::= _Z <encoding>
910 TOP_LEVEL is non-zero when called at the top level. */
912 CP_STATIC_IF_GLIBCPP_V3
913 struct demangle_component *
914 cplus_demangle_mangled_name (struct d_info *di, int top_level)
916 if (d_next_char (di) != '_')
917 return NULL;
918 if (d_next_char (di) != 'Z')
919 return NULL;
920 return d_encoding (di, top_level);
923 /* Return whether a function should have a return type. The argument
924 is the function name, which may be qualified in various ways. The
925 rules are that template functions have return types with some
926 exceptions, function types which are not part of a function name
927 mangling have return types with some exceptions, and non-template
928 function names do not have return types. The exceptions are that
929 constructors, destructors, and conversion operators do not have
930 return types. */
932 static int
933 has_return_type (struct demangle_component *dc)
935 if (dc == NULL)
936 return 0;
937 switch (dc->type)
939 default:
940 return 0;
941 case DEMANGLE_COMPONENT_TEMPLATE:
942 return ! is_ctor_dtor_or_conversion (d_left (dc));
943 case DEMANGLE_COMPONENT_RESTRICT_THIS:
944 case DEMANGLE_COMPONENT_VOLATILE_THIS:
945 case DEMANGLE_COMPONENT_CONST_THIS:
946 return has_return_type (d_left (dc));
950 /* Return whether a name is a constructor, a destructor, or a
951 conversion operator. */
953 static int
954 is_ctor_dtor_or_conversion (struct demangle_component *dc)
956 if (dc == NULL)
957 return 0;
958 switch (dc->type)
960 default:
961 return 0;
962 case DEMANGLE_COMPONENT_QUAL_NAME:
963 case DEMANGLE_COMPONENT_LOCAL_NAME:
964 return is_ctor_dtor_or_conversion (d_right (dc));
965 case DEMANGLE_COMPONENT_CTOR:
966 case DEMANGLE_COMPONENT_DTOR:
967 case DEMANGLE_COMPONENT_CAST:
968 return 1;
972 /* <encoding> ::= <(function) name> <bare-function-type>
973 ::= <(data) name>
974 ::= <special-name>
976 TOP_LEVEL is non-zero when called at the top level, in which case
977 if DMGL_PARAMS is not set we do not demangle the function
978 parameters. We only set this at the top level, because otherwise
979 we would not correctly demangle names in local scopes. */
981 static struct demangle_component *
982 d_encoding (struct d_info *di, int top_level)
984 char peek = d_peek_char (di);
986 if (peek == 'G' || peek == 'T')
987 return d_special_name (di);
988 else
990 struct demangle_component *dc;
992 dc = d_name (di);
994 if (dc != NULL && top_level && (di->options & DMGL_PARAMS) == 0)
996 /* Strip off any initial CV-qualifiers, as they really apply
997 to the `this' parameter, and they were not output by the
998 v2 demangler without DMGL_PARAMS. */
999 while (dc->type == DEMANGLE_COMPONENT_RESTRICT_THIS
1000 || dc->type == DEMANGLE_COMPONENT_VOLATILE_THIS
1001 || dc->type == DEMANGLE_COMPONENT_CONST_THIS)
1002 dc = d_left (dc);
1004 /* If the top level is a DEMANGLE_COMPONENT_LOCAL_NAME, then
1005 there may be CV-qualifiers on its right argument which
1006 really apply here; this happens when parsing a class
1007 which is local to a function. */
1008 if (dc->type == DEMANGLE_COMPONENT_LOCAL_NAME)
1010 struct demangle_component *dcr;
1012 dcr = d_right (dc);
1013 while (dcr->type == DEMANGLE_COMPONENT_RESTRICT_THIS
1014 || dcr->type == DEMANGLE_COMPONENT_VOLATILE_THIS
1015 || dcr->type == DEMANGLE_COMPONENT_CONST_THIS)
1016 dcr = d_left (dcr);
1017 dc->u.s_binary.right = dcr;
1020 return dc;
1023 peek = d_peek_char (di);
1024 if (peek == '\0' || peek == 'E')
1025 return dc;
1026 return d_make_comp (di, DEMANGLE_COMPONENT_TYPED_NAME, dc,
1027 d_bare_function_type (di, has_return_type (dc)));
1031 /* <name> ::= <nested-name>
1032 ::= <unscoped-name>
1033 ::= <unscoped-template-name> <template-args>
1034 ::= <local-name>
1036 <unscoped-name> ::= <unqualified-name>
1037 ::= St <unqualified-name>
1039 <unscoped-template-name> ::= <unscoped-name>
1040 ::= <substitution>
1043 static struct demangle_component *
1044 d_name (struct d_info *di)
1046 char peek = d_peek_char (di);
1047 struct demangle_component *dc;
1049 switch (peek)
1051 case 'N':
1052 return d_nested_name (di);
1054 case 'Z':
1055 return d_local_name (di);
1057 case 'S':
1059 int subst;
1061 if (d_peek_next_char (di) != 't')
1063 dc = d_substitution (di, 0);
1064 subst = 1;
1066 else
1068 d_advance (di, 2);
1069 dc = d_make_comp (di, DEMANGLE_COMPONENT_QUAL_NAME,
1070 d_make_name (di, "std", 3),
1071 d_unqualified_name (di));
1072 di->expansion += 3;
1073 subst = 0;
1076 if (d_peek_char (di) != 'I')
1078 /* The grammar does not permit this case to occur if we
1079 called d_substitution() above (i.e., subst == 1). We
1080 don't bother to check. */
1082 else
1084 /* This is <template-args>, which means that we just saw
1085 <unscoped-template-name>, which is a substitution
1086 candidate if we didn't just get it from a
1087 substitution. */
1088 if (! subst)
1090 if (! d_add_substitution (di, dc))
1091 return NULL;
1093 dc = d_make_comp (di, DEMANGLE_COMPONENT_TEMPLATE, dc,
1094 d_template_args (di));
1097 return dc;
1100 default:
1101 dc = d_unqualified_name (di);
1102 if (d_peek_char (di) == 'I')
1104 /* This is <template-args>, which means that we just saw
1105 <unscoped-template-name>, which is a substitution
1106 candidate. */
1107 if (! d_add_substitution (di, dc))
1108 return NULL;
1109 dc = d_make_comp (di, DEMANGLE_COMPONENT_TEMPLATE, dc,
1110 d_template_args (di));
1112 return dc;
1116 /* <nested-name> ::= N [<CV-qualifiers>] <prefix> <unqualified-name> E
1117 ::= N [<CV-qualifiers>] <template-prefix> <template-args> E
1120 static struct demangle_component *
1121 d_nested_name (struct d_info *di)
1123 struct demangle_component *ret;
1124 struct demangle_component **pret;
1126 if (d_next_char (di) != 'N')
1127 return NULL;
1129 pret = d_cv_qualifiers (di, &ret, 1);
1130 if (pret == NULL)
1131 return NULL;
1133 *pret = d_prefix (di);
1134 if (*pret == NULL)
1135 return NULL;
1137 if (d_next_char (di) != 'E')
1138 return NULL;
1140 return ret;
1143 /* <prefix> ::= <prefix> <unqualified-name>
1144 ::= <template-prefix> <template-args>
1145 ::= <template-param>
1147 ::= <substitution>
1149 <template-prefix> ::= <prefix> <(template) unqualified-name>
1150 ::= <template-param>
1151 ::= <substitution>
1154 static struct demangle_component *
1155 d_prefix (struct d_info *di)
1157 struct demangle_component *ret = NULL;
1159 while (1)
1161 char peek;
1162 enum demangle_component_type comb_type;
1163 struct demangle_component *dc;
1165 peek = d_peek_char (di);
1166 if (peek == '\0')
1167 return NULL;
1169 /* The older code accepts a <local-name> here, but I don't see
1170 that in the grammar. The older code does not accept a
1171 <template-param> here. */
1173 comb_type = DEMANGLE_COMPONENT_QUAL_NAME;
1174 if (IS_DIGIT (peek)
1175 || IS_LOWER (peek)
1176 || peek == 'C'
1177 || peek == 'D')
1178 dc = d_unqualified_name (di);
1179 else if (peek == 'S')
1180 dc = d_substitution (di, 1);
1181 else if (peek == 'I')
1183 if (ret == NULL)
1184 return NULL;
1185 comb_type = DEMANGLE_COMPONENT_TEMPLATE;
1186 dc = d_template_args (di);
1188 else if (peek == 'T')
1189 dc = d_template_param (di);
1190 else if (peek == 'E')
1191 return ret;
1192 else
1193 return NULL;
1195 if (ret == NULL)
1196 ret = dc;
1197 else
1198 ret = d_make_comp (di, comb_type, ret, dc);
1200 if (peek != 'S' && d_peek_char (di) != 'E')
1202 if (! d_add_substitution (di, ret))
1203 return NULL;
1208 /* <unqualified-name> ::= <operator-name>
1209 ::= <ctor-dtor-name>
1210 ::= <source-name>
1213 static struct demangle_component *
1214 d_unqualified_name (struct d_info *di)
1216 char peek;
1218 peek = d_peek_char (di);
1219 if (IS_DIGIT (peek))
1220 return d_source_name (di);
1221 else if (IS_LOWER (peek))
1223 struct demangle_component *ret;
1225 ret = d_operator_name (di);
1226 if (ret != NULL && ret->type == DEMANGLE_COMPONENT_OPERATOR)
1227 di->expansion += sizeof "operator" + ret->u.s_operator.op->len - 2;
1228 return ret;
1230 else if (peek == 'C' || peek == 'D')
1231 return d_ctor_dtor_name (di);
1232 else
1233 return NULL;
1236 /* <source-name> ::= <(positive length) number> <identifier> */
1238 static struct demangle_component *
1239 d_source_name (struct d_info *di)
1241 long len;
1242 struct demangle_component *ret;
1244 len = d_number (di);
1245 if (len <= 0)
1246 return NULL;
1247 ret = d_identifier (di, len);
1248 di->last_name = ret;
1249 return ret;
1252 /* number ::= [n] <(non-negative decimal integer)> */
1254 static long
1255 d_number (struct d_info *di)
1257 int negative;
1258 char peek;
1259 long ret;
1261 negative = 0;
1262 peek = d_peek_char (di);
1263 if (peek == 'n')
1265 negative = 1;
1266 d_advance (di, 1);
1267 peek = d_peek_char (di);
1270 ret = 0;
1271 while (1)
1273 if (! IS_DIGIT (peek))
1275 if (negative)
1276 ret = - ret;
1277 return ret;
1279 ret = ret * 10 + peek - '0';
1280 d_advance (di, 1);
1281 peek = d_peek_char (di);
1285 /* identifier ::= <(unqualified source code identifier)> */
1287 static struct demangle_component *
1288 d_identifier (struct d_info *di, int len)
1290 const char *name;
1292 name = d_str (di);
1294 if (di->send - name < len)
1295 return NULL;
1297 d_advance (di, len);
1299 /* A Java mangled name may have a trailing '$' if it is a C++
1300 keyword. This '$' is not included in the length count. We just
1301 ignore the '$'. */
1302 if ((di->options & DMGL_JAVA) != 0
1303 && d_peek_char (di) == '$')
1304 d_advance (di, 1);
1306 /* Look for something which looks like a gcc encoding of an
1307 anonymous namespace, and replace it with a more user friendly
1308 name. */
1309 if (len >= (int) ANONYMOUS_NAMESPACE_PREFIX_LEN + 2
1310 && memcmp (name, ANONYMOUS_NAMESPACE_PREFIX,
1311 ANONYMOUS_NAMESPACE_PREFIX_LEN) == 0)
1313 const char *s;
1315 s = name + ANONYMOUS_NAMESPACE_PREFIX_LEN;
1316 if ((*s == '.' || *s == '_' || *s == '$')
1317 && s[1] == 'N')
1319 di->expansion -= len - sizeof "(anonymous namespace)";
1320 return d_make_name (di, "(anonymous namespace)",
1321 sizeof "(anonymous namespace)" - 1);
1325 return d_make_name (di, name, len);
1328 /* operator_name ::= many different two character encodings.
1329 ::= cv <type>
1330 ::= v <digit> <source-name>
1333 #define NL(s) s, (sizeof s) - 1
1335 CP_STATIC_IF_GLIBCPP_V3
1336 const struct demangle_operator_info cplus_demangle_operators[] =
1338 { "aN", NL ("&="), 2 },
1339 { "aS", NL ("="), 2 },
1340 { "aa", NL ("&&"), 2 },
1341 { "ad", NL ("&"), 1 },
1342 { "an", NL ("&"), 2 },
1343 { "cl", NL ("()"), 0 },
1344 { "cm", NL (","), 2 },
1345 { "co", NL ("~"), 1 },
1346 { "dV", NL ("/="), 2 },
1347 { "da", NL ("delete[]"), 1 },
1348 { "de", NL ("*"), 1 },
1349 { "dl", NL ("delete"), 1 },
1350 { "dv", NL ("/"), 2 },
1351 { "eO", NL ("^="), 2 },
1352 { "eo", NL ("^"), 2 },
1353 { "eq", NL ("=="), 2 },
1354 { "ge", NL (">="), 2 },
1355 { "gt", NL (">"), 2 },
1356 { "ix", NL ("[]"), 2 },
1357 { "lS", NL ("<<="), 2 },
1358 { "le", NL ("<="), 2 },
1359 { "ls", NL ("<<"), 2 },
1360 { "lt", NL ("<"), 2 },
1361 { "mI", NL ("-="), 2 },
1362 { "mL", NL ("*="), 2 },
1363 { "mi", NL ("-"), 2 },
1364 { "ml", NL ("*"), 2 },
1365 { "mm", NL ("--"), 1 },
1366 { "na", NL ("new[]"), 1 },
1367 { "ne", NL ("!="), 2 },
1368 { "ng", NL ("-"), 1 },
1369 { "nt", NL ("!"), 1 },
1370 { "nw", NL ("new"), 1 },
1371 { "oR", NL ("|="), 2 },
1372 { "oo", NL ("||"), 2 },
1373 { "or", NL ("|"), 2 },
1374 { "pL", NL ("+="), 2 },
1375 { "pl", NL ("+"), 2 },
1376 { "pm", NL ("->*"), 2 },
1377 { "pp", NL ("++"), 1 },
1378 { "ps", NL ("+"), 1 },
1379 { "pt", NL ("->"), 2 },
1380 { "qu", NL ("?"), 3 },
1381 { "rM", NL ("%="), 2 },
1382 { "rS", NL (">>="), 2 },
1383 { "rm", NL ("%"), 2 },
1384 { "rs", NL (">>"), 2 },
1385 { "st", NL ("sizeof "), 1 },
1386 { "sz", NL ("sizeof "), 1 },
1387 { NULL, NULL, 0, 0 }
1390 static struct demangle_component *
1391 d_operator_name (struct d_info *di)
1393 char c1;
1394 char c2;
1396 c1 = d_next_char (di);
1397 c2 = d_next_char (di);
1398 if (c1 == 'v' && IS_DIGIT (c2))
1399 return d_make_extended_operator (di, c2 - '0', d_source_name (di));
1400 else if (c1 == 'c' && c2 == 'v')
1401 return d_make_comp (di, DEMANGLE_COMPONENT_CAST,
1402 cplus_demangle_type (di), NULL);
1403 else
1405 /* LOW is the inclusive lower bound. */
1406 int low = 0;
1407 /* HIGH is the exclusive upper bound. We subtract one to ignore
1408 the sentinel at the end of the array. */
1409 int high = ((sizeof (cplus_demangle_operators)
1410 / sizeof (cplus_demangle_operators[0]))
1411 - 1);
1413 while (1)
1415 int i;
1416 const struct demangle_operator_info *p;
1418 i = low + (high - low) / 2;
1419 p = cplus_demangle_operators + i;
1421 if (c1 == p->code[0] && c2 == p->code[1])
1422 return d_make_operator (di, p);
1424 if (c1 < p->code[0] || (c1 == p->code[0] && c2 < p->code[1]))
1425 high = i;
1426 else
1427 low = i + 1;
1428 if (low == high)
1429 return NULL;
1434 /* <special-name> ::= TV <type>
1435 ::= TT <type>
1436 ::= TI <type>
1437 ::= TS <type>
1438 ::= GV <(object) name>
1439 ::= T <call-offset> <(base) encoding>
1440 ::= Tc <call-offset> <call-offset> <(base) encoding>
1441 Also g++ extensions:
1442 ::= TC <type> <(offset) number> _ <(base) type>
1443 ::= TF <type>
1444 ::= TJ <type>
1445 ::= GR <name>
1446 ::= GA <encoding>
1449 static struct demangle_component *
1450 d_special_name (struct d_info *di)
1452 char c;
1454 di->expansion += 20;
1455 c = d_next_char (di);
1456 if (c == 'T')
1458 switch (d_next_char (di))
1460 case 'V':
1461 di->expansion -= 5;
1462 return d_make_comp (di, DEMANGLE_COMPONENT_VTABLE,
1463 cplus_demangle_type (di), NULL);
1464 case 'T':
1465 di->expansion -= 10;
1466 return d_make_comp (di, DEMANGLE_COMPONENT_VTT,
1467 cplus_demangle_type (di), NULL);
1468 case 'I':
1469 return d_make_comp (di, DEMANGLE_COMPONENT_TYPEINFO,
1470 cplus_demangle_type (di), NULL);
1471 case 'S':
1472 return d_make_comp (di, DEMANGLE_COMPONENT_TYPEINFO_NAME,
1473 cplus_demangle_type (di), NULL);
1475 case 'h':
1476 if (! d_call_offset (di, 'h'))
1477 return NULL;
1478 return d_make_comp (di, DEMANGLE_COMPONENT_THUNK,
1479 d_encoding (di, 0), NULL);
1481 case 'v':
1482 if (! d_call_offset (di, 'v'))
1483 return NULL;
1484 return d_make_comp (di, DEMANGLE_COMPONENT_VIRTUAL_THUNK,
1485 d_encoding (di, 0), NULL);
1487 case 'c':
1488 if (! d_call_offset (di, '\0'))
1489 return NULL;
1490 if (! d_call_offset (di, '\0'))
1491 return NULL;
1492 return d_make_comp (di, DEMANGLE_COMPONENT_COVARIANT_THUNK,
1493 d_encoding (di, 0), NULL);
1495 case 'C':
1497 struct demangle_component *derived_type;
1498 long offset;
1499 struct demangle_component *base_type;
1501 derived_type = cplus_demangle_type (di);
1502 offset = d_number (di);
1503 if (offset < 0)
1504 return NULL;
1505 if (d_next_char (di) != '_')
1506 return NULL;
1507 base_type = cplus_demangle_type (di);
1508 /* We don't display the offset. FIXME: We should display
1509 it in verbose mode. */
1510 di->expansion += 5;
1511 return d_make_comp (di, DEMANGLE_COMPONENT_CONSTRUCTION_VTABLE,
1512 base_type, derived_type);
1515 case 'F':
1516 return d_make_comp (di, DEMANGLE_COMPONENT_TYPEINFO_FN,
1517 cplus_demangle_type (di), NULL);
1518 case 'J':
1519 return d_make_comp (di, DEMANGLE_COMPONENT_JAVA_CLASS,
1520 cplus_demangle_type (di), NULL);
1522 default:
1523 return NULL;
1526 else if (c == 'G')
1528 switch (d_next_char (di))
1530 case 'V':
1531 return d_make_comp (di, DEMANGLE_COMPONENT_GUARD, d_name (di), NULL);
1533 case 'R':
1534 return d_make_comp (di, DEMANGLE_COMPONENT_REFTEMP, d_name (di),
1535 NULL);
1537 case 'A':
1538 return d_make_comp (di, DEMANGLE_COMPONENT_HIDDEN_ALIAS,
1539 d_encoding (di, 0), NULL);
1541 default:
1542 return NULL;
1545 else
1546 return NULL;
1549 /* <call-offset> ::= h <nv-offset> _
1550 ::= v <v-offset> _
1552 <nv-offset> ::= <(offset) number>
1554 <v-offset> ::= <(offset) number> _ <(virtual offset) number>
1556 The C parameter, if not '\0', is a character we just read which is
1557 the start of the <call-offset>.
1559 We don't display the offset information anywhere. FIXME: We should
1560 display it in verbose mode. */
1562 static int
1563 d_call_offset (struct d_info *di, int c)
1565 if (c == '\0')
1566 c = d_next_char (di);
1568 if (c == 'h')
1569 d_number (di);
1570 else if (c == 'v')
1572 d_number (di);
1573 if (d_next_char (di) != '_')
1574 return 0;
1575 d_number (di);
1577 else
1578 return 0;
1580 if (d_next_char (di) != '_')
1581 return 0;
1583 return 1;
1586 /* <ctor-dtor-name> ::= C1
1587 ::= C2
1588 ::= C3
1589 ::= D0
1590 ::= D1
1591 ::= D2
1594 static struct demangle_component *
1595 d_ctor_dtor_name (struct d_info *di)
1597 if (di->last_name != NULL)
1599 if (di->last_name->type == DEMANGLE_COMPONENT_NAME)
1600 di->expansion += di->last_name->u.s_name.len;
1601 else if (di->last_name->type == DEMANGLE_COMPONENT_SUB_STD)
1602 di->expansion += di->last_name->u.s_string.len;
1604 switch (d_next_char (di))
1606 case 'C':
1608 enum gnu_v3_ctor_kinds kind;
1610 switch (d_next_char (di))
1612 case '1':
1613 kind = gnu_v3_complete_object_ctor;
1614 break;
1615 case '2':
1616 kind = gnu_v3_base_object_ctor;
1617 break;
1618 case '3':
1619 kind = gnu_v3_complete_object_allocating_ctor;
1620 break;
1621 default:
1622 return NULL;
1624 return d_make_ctor (di, kind, di->last_name);
1627 case 'D':
1629 enum gnu_v3_dtor_kinds kind;
1631 switch (d_next_char (di))
1633 case '0':
1634 kind = gnu_v3_deleting_dtor;
1635 break;
1636 case '1':
1637 kind = gnu_v3_complete_object_dtor;
1638 break;
1639 case '2':
1640 kind = gnu_v3_base_object_dtor;
1641 break;
1642 default:
1643 return NULL;
1645 return d_make_dtor (di, kind, di->last_name);
1648 default:
1649 return NULL;
1653 /* <type> ::= <builtin-type>
1654 ::= <function-type>
1655 ::= <class-enum-type>
1656 ::= <array-type>
1657 ::= <pointer-to-member-type>
1658 ::= <template-param>
1659 ::= <template-template-param> <template-args>
1660 ::= <substitution>
1661 ::= <CV-qualifiers> <type>
1662 ::= P <type>
1663 ::= R <type>
1664 ::= C <type>
1665 ::= G <type>
1666 ::= U <source-name> <type>
1668 <builtin-type> ::= various one letter codes
1669 ::= u <source-name>
1672 CP_STATIC_IF_GLIBCPP_V3
1673 const struct demangle_builtin_type_info
1674 cplus_demangle_builtin_types[D_BUILTIN_TYPE_COUNT] =
1676 /* a */ { NL ("signed char"), NL ("signed char"), D_PRINT_DEFAULT },
1677 /* b */ { NL ("bool"), NL ("boolean"), D_PRINT_BOOL },
1678 /* c */ { NL ("char"), NL ("byte"), D_PRINT_DEFAULT },
1679 /* d */ { NL ("double"), NL ("double"), D_PRINT_FLOAT },
1680 /* e */ { NL ("long double"), NL ("long double"), D_PRINT_FLOAT },
1681 /* f */ { NL ("float"), NL ("float"), D_PRINT_FLOAT },
1682 /* g */ { NL ("__float128"), NL ("__float128"), D_PRINT_FLOAT },
1683 /* h */ { NL ("unsigned char"), NL ("unsigned char"), D_PRINT_DEFAULT },
1684 /* i */ { NL ("int"), NL ("int"), D_PRINT_INT },
1685 /* j */ { NL ("unsigned int"), NL ("unsigned"), D_PRINT_UNSIGNED },
1686 /* k */ { NULL, 0, NULL, 0, D_PRINT_DEFAULT },
1687 /* l */ { NL ("long"), NL ("long"), D_PRINT_LONG },
1688 /* m */ { NL ("unsigned long"), NL ("unsigned long"), D_PRINT_UNSIGNED_LONG },
1689 /* n */ { NL ("__int128"), NL ("__int128"), D_PRINT_DEFAULT },
1690 /* o */ { NL ("unsigned __int128"), NL ("unsigned __int128"),
1691 D_PRINT_DEFAULT },
1692 /* p */ { NULL, 0, NULL, 0, D_PRINT_DEFAULT },
1693 /* q */ { NULL, 0, NULL, 0, D_PRINT_DEFAULT },
1694 /* r */ { NULL, 0, NULL, 0, D_PRINT_DEFAULT },
1695 /* s */ { NL ("short"), NL ("short"), D_PRINT_DEFAULT },
1696 /* t */ { NL ("unsigned short"), NL ("unsigned short"), D_PRINT_DEFAULT },
1697 /* u */ { NULL, 0, NULL, 0, D_PRINT_DEFAULT },
1698 /* v */ { NL ("void"), NL ("void"), D_PRINT_VOID },
1699 /* w */ { NL ("wchar_t"), NL ("char"), D_PRINT_DEFAULT },
1700 /* x */ { NL ("long long"), NL ("long"), D_PRINT_LONG_LONG },
1701 /* y */ { NL ("unsigned long long"), NL ("unsigned long long"),
1702 D_PRINT_UNSIGNED_LONG_LONG },
1703 /* z */ { NL ("..."), NL ("..."), D_PRINT_DEFAULT },
1706 CP_STATIC_IF_GLIBCPP_V3
1707 struct demangle_component *
1708 cplus_demangle_type (struct d_info *di)
1710 char peek;
1711 struct demangle_component *ret;
1712 int can_subst;
1714 /* The ABI specifies that when CV-qualifiers are used, the base type
1715 is substitutable, and the fully qualified type is substitutable,
1716 but the base type with a strict subset of the CV-qualifiers is
1717 not substitutable. The natural recursive implementation of the
1718 CV-qualifiers would cause subsets to be substitutable, so instead
1719 we pull them all off now.
1721 FIXME: The ABI says that order-insensitive vendor qualifiers
1722 should be handled in the same way, but we have no way to tell
1723 which vendor qualifiers are order-insensitive and which are
1724 order-sensitive. So we just assume that they are all
1725 order-sensitive. g++ 3.4 supports only one vendor qualifier,
1726 __vector, and it treats it as order-sensitive when mangling
1727 names. */
1729 peek = d_peek_char (di);
1730 if (peek == 'r' || peek == 'V' || peek == 'K')
1732 struct demangle_component **pret;
1734 pret = d_cv_qualifiers (di, &ret, 0);
1735 if (pret == NULL)
1736 return NULL;
1737 *pret = cplus_demangle_type (di);
1738 if (! d_add_substitution (di, ret))
1739 return NULL;
1740 return ret;
1743 can_subst = 1;
1745 switch (peek)
1747 case 'a': case 'b': case 'c': case 'd': case 'e': case 'f': case 'g':
1748 case 'h': case 'i': case 'j': case 'l': case 'm': case 'n':
1749 case 'o': case 's': case 't':
1750 case 'v': case 'w': case 'x': case 'y': case 'z':
1751 ret = d_make_builtin_type (di,
1752 &cplus_demangle_builtin_types[peek - 'a']);
1753 di->expansion += ret->u.s_builtin.type->len;
1754 can_subst = 0;
1755 d_advance (di, 1);
1756 break;
1758 case 'u':
1759 d_advance (di, 1);
1760 ret = d_make_comp (di, DEMANGLE_COMPONENT_VENDOR_TYPE,
1761 d_source_name (di), NULL);
1762 break;
1764 case 'F':
1765 ret = d_function_type (di);
1766 break;
1768 case '0': case '1': case '2': case '3': case '4':
1769 case '5': case '6': case '7': case '8': case '9':
1770 case 'N':
1771 case 'Z':
1772 ret = d_class_enum_type (di);
1773 break;
1775 case 'A':
1776 ret = d_array_type (di);
1777 break;
1779 case 'M':
1780 ret = d_pointer_to_member_type (di);
1781 break;
1783 case 'T':
1784 ret = d_template_param (di);
1785 if (d_peek_char (di) == 'I')
1787 /* This is <template-template-param> <template-args>. The
1788 <template-template-param> part is a substitution
1789 candidate. */
1790 if (! d_add_substitution (di, ret))
1791 return NULL;
1792 ret = d_make_comp (di, DEMANGLE_COMPONENT_TEMPLATE, ret,
1793 d_template_args (di));
1795 break;
1797 case 'S':
1798 /* If this is a special substitution, then it is the start of
1799 <class-enum-type>. */
1801 char peek_next;
1803 peek_next = d_peek_next_char (di);
1804 if (IS_DIGIT (peek_next)
1805 || peek_next == '_'
1806 || IS_UPPER (peek_next))
1808 ret = d_substitution (di, 0);
1809 /* The substituted name may have been a template name and
1810 may be followed by tepmlate args. */
1811 if (d_peek_char (di) == 'I')
1812 ret = d_make_comp (di, DEMANGLE_COMPONENT_TEMPLATE, ret,
1813 d_template_args (di));
1814 else
1815 can_subst = 0;
1817 else
1819 ret = d_class_enum_type (di);
1820 /* If the substitution was a complete type, then it is not
1821 a new substitution candidate. However, if the
1822 substitution was followed by template arguments, then
1823 the whole thing is a substitution candidate. */
1824 if (ret != NULL && ret->type == DEMANGLE_COMPONENT_SUB_STD)
1825 can_subst = 0;
1828 break;
1830 case 'P':
1831 d_advance (di, 1);
1832 ret = d_make_comp (di, DEMANGLE_COMPONENT_POINTER,
1833 cplus_demangle_type (di), NULL);
1834 break;
1836 case 'R':
1837 d_advance (di, 1);
1838 ret = d_make_comp (di, DEMANGLE_COMPONENT_REFERENCE,
1839 cplus_demangle_type (di), NULL);
1840 break;
1842 case 'C':
1843 d_advance (di, 1);
1844 ret = d_make_comp (di, DEMANGLE_COMPONENT_COMPLEX,
1845 cplus_demangle_type (di), NULL);
1846 break;
1848 case 'G':
1849 d_advance (di, 1);
1850 ret = d_make_comp (di, DEMANGLE_COMPONENT_IMAGINARY,
1851 cplus_demangle_type (di), NULL);
1852 break;
1854 case 'U':
1855 d_advance (di, 1);
1856 ret = d_source_name (di);
1857 ret = d_make_comp (di, DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL,
1858 cplus_demangle_type (di), ret);
1859 break;
1861 default:
1862 return NULL;
1865 if (can_subst)
1867 if (! d_add_substitution (di, ret))
1868 return NULL;
1871 return ret;
1874 /* <CV-qualifiers> ::= [r] [V] [K] */
1876 static struct demangle_component **
1877 d_cv_qualifiers (struct d_info *di,
1878 struct demangle_component **pret, int member_fn)
1880 char peek;
1882 peek = d_peek_char (di);
1883 while (peek == 'r' || peek == 'V' || peek == 'K')
1885 enum demangle_component_type t;
1887 d_advance (di, 1);
1888 if (peek == 'r')
1890 t = (member_fn
1891 ? DEMANGLE_COMPONENT_RESTRICT_THIS
1892 : DEMANGLE_COMPONENT_RESTRICT);
1893 di->expansion += sizeof "restrict";
1895 else if (peek == 'V')
1897 t = (member_fn
1898 ? DEMANGLE_COMPONENT_VOLATILE_THIS
1899 : DEMANGLE_COMPONENT_VOLATILE);
1900 di->expansion += sizeof "volatile";
1902 else
1904 t = (member_fn
1905 ? DEMANGLE_COMPONENT_CONST_THIS
1906 : DEMANGLE_COMPONENT_CONST);
1907 di->expansion += sizeof "const";
1910 *pret = d_make_comp (di, t, NULL, NULL);
1911 if (*pret == NULL)
1912 return NULL;
1913 pret = &d_left (*pret);
1915 peek = d_peek_char (di);
1918 return pret;
1921 /* <function-type> ::= F [Y] <bare-function-type> E */
1923 static struct demangle_component *
1924 d_function_type (struct d_info *di)
1926 struct demangle_component *ret;
1928 if (d_next_char (di) != 'F')
1929 return NULL;
1930 if (d_peek_char (di) == 'Y')
1932 /* Function has C linkage. We don't print this information.
1933 FIXME: We should print it in verbose mode. */
1934 d_advance (di, 1);
1936 ret = d_bare_function_type (di, 1);
1937 if (d_next_char (di) != 'E')
1938 return NULL;
1939 return ret;
1942 /* <bare-function-type> ::= <type>+ */
1944 static struct demangle_component *
1945 d_bare_function_type (struct d_info *di, int has_return_type)
1947 struct demangle_component *return_type;
1948 struct demangle_component *tl;
1949 struct demangle_component **ptl;
1951 return_type = NULL;
1952 tl = NULL;
1953 ptl = &tl;
1954 while (1)
1956 char peek;
1957 struct demangle_component *type;
1959 peek = d_peek_char (di);
1960 if (peek == '\0' || peek == 'E')
1961 break;
1962 type = cplus_demangle_type (di);
1963 if (type == NULL)
1964 return NULL;
1965 if (has_return_type)
1967 return_type = type;
1968 has_return_type = 0;
1970 else
1972 *ptl = d_make_comp (di, DEMANGLE_COMPONENT_ARGLIST, type, NULL);
1973 if (*ptl == NULL)
1974 return NULL;
1975 ptl = &d_right (*ptl);
1979 /* There should be at least one parameter type besides the optional
1980 return type. A function which takes no arguments will have a
1981 single parameter type void. */
1982 if (tl == NULL)
1983 return NULL;
1985 /* If we have a single parameter type void, omit it. */
1986 if (d_right (tl) == NULL
1987 && d_left (tl)->type == DEMANGLE_COMPONENT_BUILTIN_TYPE
1988 && d_left (tl)->u.s_builtin.type->print == D_PRINT_VOID)
1990 di->expansion -= d_left (tl)->u.s_builtin.type->len;
1991 tl = NULL;
1994 return d_make_comp (di, DEMANGLE_COMPONENT_FUNCTION_TYPE, return_type, tl);
1997 /* <class-enum-type> ::= <name> */
1999 static struct demangle_component *
2000 d_class_enum_type (struct d_info *di)
2002 return d_name (di);
2005 /* <array-type> ::= A <(positive dimension) number> _ <(element) type>
2006 ::= A [<(dimension) expression>] _ <(element) type>
2009 static struct demangle_component *
2010 d_array_type (struct d_info *di)
2012 char peek;
2013 struct demangle_component *dim;
2015 if (d_next_char (di) != 'A')
2016 return NULL;
2018 peek = d_peek_char (di);
2019 if (peek == '_')
2020 dim = NULL;
2021 else if (IS_DIGIT (peek))
2023 const char *s;
2025 s = d_str (di);
2028 d_advance (di, 1);
2029 peek = d_peek_char (di);
2031 while (IS_DIGIT (peek));
2032 dim = d_make_name (di, s, d_str (di) - s);
2033 if (dim == NULL)
2034 return NULL;
2036 else
2038 dim = d_expression (di);
2039 if (dim == NULL)
2040 return NULL;
2043 if (d_next_char (di) != '_')
2044 return NULL;
2046 return d_make_comp (di, DEMANGLE_COMPONENT_ARRAY_TYPE, dim,
2047 cplus_demangle_type (di));
2050 /* <pointer-to-member-type> ::= M <(class) type> <(member) type> */
2052 static struct demangle_component *
2053 d_pointer_to_member_type (struct d_info *di)
2055 struct demangle_component *cl;
2056 struct demangle_component *mem;
2057 struct demangle_component **pmem;
2059 if (d_next_char (di) != 'M')
2060 return NULL;
2062 cl = cplus_demangle_type (di);
2064 /* The ABI specifies that any type can be a substitution source, and
2065 that M is followed by two types, and that when a CV-qualified
2066 type is seen both the base type and the CV-qualified types are
2067 substitution sources. The ABI also specifies that for a pointer
2068 to a CV-qualified member function, the qualifiers are attached to
2069 the second type. Given the grammar, a plain reading of the ABI
2070 suggests that both the CV-qualified member function and the
2071 non-qualified member function are substitution sources. However,
2072 g++ does not work that way. g++ treats only the CV-qualified
2073 member function as a substitution source. FIXME. So to work
2074 with g++, we need to pull off the CV-qualifiers here, in order to
2075 avoid calling add_substitution() in cplus_demangle_type(). */
2077 pmem = d_cv_qualifiers (di, &mem, 1);
2078 if (pmem == NULL)
2079 return NULL;
2080 *pmem = cplus_demangle_type (di);
2082 return d_make_comp (di, DEMANGLE_COMPONENT_PTRMEM_TYPE, cl, mem);
2085 /* <template-param> ::= T_
2086 ::= T <(parameter-2 non-negative) number> _
2089 static struct demangle_component *
2090 d_template_param (struct d_info *di)
2092 long param;
2094 if (d_next_char (di) != 'T')
2095 return NULL;
2097 if (d_peek_char (di) == '_')
2098 param = 0;
2099 else
2101 param = d_number (di);
2102 if (param < 0)
2103 return NULL;
2104 param += 1;
2107 if (d_next_char (di) != '_')
2108 return NULL;
2110 ++di->did_subs;
2112 return d_make_template_param (di, param);
2115 /* <template-args> ::= I <template-arg>+ E */
2117 static struct demangle_component *
2118 d_template_args (struct d_info *di)
2120 struct demangle_component *hold_last_name;
2121 struct demangle_component *al;
2122 struct demangle_component **pal;
2124 /* Preserve the last name we saw--don't let the template arguments
2125 clobber it, as that would give us the wrong name for a subsequent
2126 constructor or destructor. */
2127 hold_last_name = di->last_name;
2129 if (d_next_char (di) != 'I')
2130 return NULL;
2132 al = NULL;
2133 pal = &al;
2134 while (1)
2136 struct demangle_component *a;
2138 a = d_template_arg (di);
2139 if (a == NULL)
2140 return NULL;
2142 *pal = d_make_comp (di, DEMANGLE_COMPONENT_TEMPLATE_ARGLIST, a, NULL);
2143 if (*pal == NULL)
2144 return NULL;
2145 pal = &d_right (*pal);
2147 if (d_peek_char (di) == 'E')
2149 d_advance (di, 1);
2150 break;
2154 di->last_name = hold_last_name;
2156 return al;
2159 /* <template-arg> ::= <type>
2160 ::= X <expression> E
2161 ::= <expr-primary>
2164 static struct demangle_component *
2165 d_template_arg (struct d_info *di)
2167 struct demangle_component *ret;
2169 switch (d_peek_char (di))
2171 case 'X':
2172 d_advance (di, 1);
2173 ret = d_expression (di);
2174 if (d_next_char (di) != 'E')
2175 return NULL;
2176 return ret;
2178 case 'L':
2179 return d_expr_primary (di);
2181 default:
2182 return cplus_demangle_type (di);
2186 /* <expression> ::= <(unary) operator-name> <expression>
2187 ::= <(binary) operator-name> <expression> <expression>
2188 ::= <(trinary) operator-name> <expression> <expression> <expression>
2189 ::= st <type>
2190 ::= <template-param>
2191 ::= sr <type> <unqualified-name>
2192 ::= sr <type> <unqualified-name> <template-args>
2193 ::= <expr-primary>
2196 static struct demangle_component *
2197 d_expression (struct d_info *di)
2199 char peek;
2201 peek = d_peek_char (di);
2202 if (peek == 'L')
2203 return d_expr_primary (di);
2204 else if (peek == 'T')
2205 return d_template_param (di);
2206 else if (peek == 's' && d_peek_next_char (di) == 'r')
2208 struct demangle_component *type;
2209 struct demangle_component *name;
2211 d_advance (di, 2);
2212 type = cplus_demangle_type (di);
2213 name = d_unqualified_name (di);
2214 if (d_peek_char (di) != 'I')
2215 return d_make_comp (di, DEMANGLE_COMPONENT_QUAL_NAME, type, name);
2216 else
2217 return d_make_comp (di, DEMANGLE_COMPONENT_QUAL_NAME, type,
2218 d_make_comp (di, DEMANGLE_COMPONENT_TEMPLATE, name,
2219 d_template_args (di)));
2221 else
2223 struct demangle_component *op;
2224 int args;
2226 op = d_operator_name (di);
2227 if (op == NULL)
2228 return NULL;
2230 if (op->type == DEMANGLE_COMPONENT_OPERATOR)
2231 di->expansion += op->u.s_operator.op->len - 2;
2233 if (op->type == DEMANGLE_COMPONENT_OPERATOR
2234 && strcmp (op->u.s_operator.op->code, "st") == 0)
2235 return d_make_comp (di, DEMANGLE_COMPONENT_UNARY, op,
2236 cplus_demangle_type (di));
2238 switch (op->type)
2240 default:
2241 return NULL;
2242 case DEMANGLE_COMPONENT_OPERATOR:
2243 args = op->u.s_operator.op->args;
2244 break;
2245 case DEMANGLE_COMPONENT_EXTENDED_OPERATOR:
2246 args = op->u.s_extended_operator.args;
2247 break;
2248 case DEMANGLE_COMPONENT_CAST:
2249 args = 1;
2250 break;
2253 switch (args)
2255 case 1:
2256 return d_make_comp (di, DEMANGLE_COMPONENT_UNARY, op,
2257 d_expression (di));
2258 case 2:
2260 struct demangle_component *left;
2262 left = d_expression (di);
2263 return d_make_comp (di, DEMANGLE_COMPONENT_BINARY, op,
2264 d_make_comp (di,
2265 DEMANGLE_COMPONENT_BINARY_ARGS,
2266 left,
2267 d_expression (di)));
2269 case 3:
2271 struct demangle_component *first;
2272 struct demangle_component *second;
2274 first = d_expression (di);
2275 second = d_expression (di);
2276 return d_make_comp (di, DEMANGLE_COMPONENT_TRINARY, op,
2277 d_make_comp (di,
2278 DEMANGLE_COMPONENT_TRINARY_ARG1,
2279 first,
2280 d_make_comp (di,
2281 DEMANGLE_COMPONENT_TRINARY_ARG2,
2282 second,
2283 d_expression (di))));
2285 default:
2286 return NULL;
2291 /* <expr-primary> ::= L <type> <(value) number> E
2292 ::= L <type> <(value) float> E
2293 ::= L <mangled-name> E
2296 static struct demangle_component *
2297 d_expr_primary (struct d_info *di)
2299 struct demangle_component *ret;
2301 if (d_next_char (di) != 'L')
2302 return NULL;
2303 if (d_peek_char (di) == '_')
2304 ret = cplus_demangle_mangled_name (di, 0);
2305 else
2307 struct demangle_component *type;
2308 enum demangle_component_type t;
2309 const char *s;
2311 type = cplus_demangle_type (di);
2312 if (type == NULL)
2313 return NULL;
2315 /* If we have a type we know how to print, we aren't going to
2316 print the type name itself. */
2317 if (type->type == DEMANGLE_COMPONENT_BUILTIN_TYPE
2318 && type->u.s_builtin.type->print != D_PRINT_DEFAULT)
2319 di->expansion -= type->u.s_builtin.type->len;
2321 /* Rather than try to interpret the literal value, we just
2322 collect it as a string. Note that it's possible to have a
2323 floating point literal here. The ABI specifies that the
2324 format of such literals is machine independent. That's fine,
2325 but what's not fine is that versions of g++ up to 3.2 with
2326 -fabi-version=1 used upper case letters in the hex constant,
2327 and dumped out gcc's internal representation. That makes it
2328 hard to tell where the constant ends, and hard to dump the
2329 constant in any readable form anyhow. We don't attempt to
2330 handle these cases. */
2332 t = DEMANGLE_COMPONENT_LITERAL;
2333 if (d_peek_char (di) == 'n')
2335 t = DEMANGLE_COMPONENT_LITERAL_NEG;
2336 d_advance (di, 1);
2338 s = d_str (di);
2339 while (d_peek_char (di) != 'E')
2341 if (d_peek_char (di) == '\0')
2342 return NULL;
2343 d_advance (di, 1);
2345 ret = d_make_comp (di, t, type, d_make_name (di, s, d_str (di) - s));
2347 if (d_next_char (di) != 'E')
2348 return NULL;
2349 return ret;
2352 /* <local-name> ::= Z <(function) encoding> E <(entity) name> [<discriminator>]
2353 ::= Z <(function) encoding> E s [<discriminator>]
2356 static struct demangle_component *
2357 d_local_name (struct d_info *di)
2359 struct demangle_component *function;
2361 if (d_next_char (di) != 'Z')
2362 return NULL;
2364 function = d_encoding (di, 0);
2366 if (d_next_char (di) != 'E')
2367 return NULL;
2369 if (d_peek_char (di) == 's')
2371 d_advance (di, 1);
2372 if (! d_discriminator (di))
2373 return NULL;
2374 return d_make_comp (di, DEMANGLE_COMPONENT_LOCAL_NAME, function,
2375 d_make_name (di, "string literal",
2376 sizeof "string literal" - 1));
2378 else
2380 struct demangle_component *name;
2382 name = d_name (di);
2383 if (! d_discriminator (di))
2384 return NULL;
2385 return d_make_comp (di, DEMANGLE_COMPONENT_LOCAL_NAME, function, name);
2389 /* <discriminator> ::= _ <(non-negative) number>
2391 We demangle the discriminator, but we don't print it out. FIXME:
2392 We should print it out in verbose mode. */
2394 static int
2395 d_discriminator (struct d_info *di)
2397 long discrim;
2399 if (d_peek_char (di) != '_')
2400 return 1;
2401 d_advance (di, 1);
2402 discrim = d_number (di);
2403 if (discrim < 0)
2404 return 0;
2405 return 1;
2408 /* Add a new substitution. */
2410 static int
2411 d_add_substitution (struct d_info *di, struct demangle_component *dc)
2413 if (dc == NULL)
2414 return 0;
2415 if (di->next_sub >= di->num_subs)
2416 return 0;
2417 di->subs[di->next_sub] = dc;
2418 ++di->next_sub;
2419 return 1;
2422 /* <substitution> ::= S <seq-id> _
2423 ::= S_
2424 ::= St
2425 ::= Sa
2426 ::= Sb
2427 ::= Ss
2428 ::= Si
2429 ::= So
2430 ::= Sd
2432 If PREFIX is non-zero, then this type is being used as a prefix in
2433 a qualified name. In this case, for the standard substitutions, we
2434 need to check whether we are being used as a prefix for a
2435 constructor or destructor, and return a full template name.
2436 Otherwise we will get something like std::iostream::~iostream()
2437 which does not correspond particularly well to any function which
2438 actually appears in the source.
2441 static const struct d_standard_sub_info standard_subs[] =
2443 { 't', NL ("std"),
2444 NL ("std"),
2445 NULL, 0 },
2446 { 'a', NL ("std::allocator"),
2447 NL ("std::allocator"),
2448 NL ("allocator") },
2449 { 'b', NL ("std::basic_string"),
2450 NL ("std::basic_string"),
2451 NL ("basic_string") },
2452 { 's', NL ("std::string"),
2453 NL ("std::basic_string<char, std::char_traits<char>, std::allocator<char> >"),
2454 NL ("basic_string") },
2455 { 'i', NL ("std::istream"),
2456 NL ("std::basic_istream<char, std::char_traits<char> >"),
2457 NL ("basic_istream") },
2458 { 'o', NL ("std::ostream"),
2459 NL ("std::basic_ostream<char, std::char_traits<char> >"),
2460 NL ("basic_ostream") },
2461 { 'd', NL ("std::iostream"),
2462 NL ("std::basic_iostream<char, std::char_traits<char> >"),
2463 NL ("basic_iostream") }
2466 static struct demangle_component *
2467 d_substitution (struct d_info *di, int prefix)
2469 char c;
2471 if (d_next_char (di) != 'S')
2472 return NULL;
2474 c = d_next_char (di);
2475 if (c == '_' || IS_DIGIT (c) || IS_UPPER (c))
2477 int id;
2479 id = 0;
2480 if (c != '_')
2484 if (IS_DIGIT (c))
2485 id = id * 36 + c - '0';
2486 else if (IS_UPPER (c))
2487 id = id * 36 + c - 'A' + 10;
2488 else
2489 return NULL;
2490 c = d_next_char (di);
2492 while (c != '_');
2494 ++id;
2497 if (id >= di->next_sub)
2498 return NULL;
2500 ++di->did_subs;
2502 return di->subs[id];
2504 else
2506 int verbose;
2507 const struct d_standard_sub_info *p;
2508 const struct d_standard_sub_info *pend;
2510 verbose = (di->options & DMGL_VERBOSE) != 0;
2511 if (! verbose && prefix)
2513 char peek;
2515 peek = d_peek_char (di);
2516 if (peek == 'C' || peek == 'D')
2517 verbose = 1;
2520 pend = (&standard_subs[0]
2521 + sizeof standard_subs / sizeof standard_subs[0]);
2522 for (p = &standard_subs[0]; p < pend; ++p)
2524 if (c == p->code)
2526 const char *s;
2527 int len;
2529 if (p->set_last_name != NULL)
2530 di->last_name = d_make_sub (di, p->set_last_name,
2531 p->set_last_name_len);
2532 if (verbose)
2534 s = p->full_expansion;
2535 len = p->full_len;
2537 else
2539 s = p->simple_expansion;
2540 len = p->simple_len;
2542 di->expansion += len;
2543 return d_make_sub (di, s, len);
2547 return NULL;
2551 /* Resize the print buffer. */
2553 static void
2554 d_print_resize (struct d_print_info *dpi, size_t add)
2556 size_t need;
2558 if (dpi->buf == NULL)
2559 return;
2560 need = dpi->len + add;
2561 while (need > dpi->alc)
2563 size_t newalc;
2564 char *newbuf;
2566 newalc = dpi->alc * 2;
2567 newbuf = (char *) realloc (dpi->buf, newalc);
2568 if (newbuf == NULL)
2570 free (dpi->buf);
2571 dpi->buf = NULL;
2572 dpi->allocation_failure = 1;
2573 return;
2575 dpi->buf = newbuf;
2576 dpi->alc = newalc;
2580 /* Append a character to the print buffer. */
2582 static void
2583 d_print_append_char (struct d_print_info *dpi, int c)
2585 if (dpi->buf != NULL)
2587 if (dpi->len >= dpi->alc)
2589 d_print_resize (dpi, 1);
2590 if (dpi->buf == NULL)
2591 return;
2594 dpi->buf[dpi->len] = c;
2595 ++dpi->len;
2599 /* Append a buffer to the print buffer. */
2601 static void
2602 d_print_append_buffer (struct d_print_info *dpi, const char *s, size_t l)
2604 if (dpi->buf != NULL)
2606 if (dpi->len + l > dpi->alc)
2608 d_print_resize (dpi, l);
2609 if (dpi->buf == NULL)
2610 return;
2613 memcpy (dpi->buf + dpi->len, s, l);
2614 dpi->len += l;
2618 /* Indicate that an error occurred during printing. */
2620 static void
2621 d_print_error (struct d_print_info *dpi)
2623 free (dpi->buf);
2624 dpi->buf = NULL;
2627 /* Turn components into a human readable string. OPTIONS is the
2628 options bits passed to the demangler. DC is the tree to print.
2629 ESTIMATE is a guess at the length of the result. This returns a
2630 string allocated by malloc, or NULL on error. On success, this
2631 sets *PALC to the size of the allocated buffer. On failure, this
2632 sets *PALC to 0 for a bad parse, or to 1 for a memory allocation
2633 failure. */
2635 CP_STATIC_IF_GLIBCPP_V3
2636 char *
2637 cplus_demangle_print (int options, const struct demangle_component *dc,
2638 int estimate, size_t *palc)
2640 struct d_print_info dpi;
2642 dpi.options = options;
2644 dpi.alc = estimate + 1;
2645 dpi.buf = (char *) malloc (dpi.alc);
2646 if (dpi.buf == NULL)
2648 *palc = 1;
2649 return NULL;
2652 dpi.len = 0;
2653 dpi.templates = NULL;
2654 dpi.modifiers = NULL;
2656 dpi.allocation_failure = 0;
2658 d_print_comp (&dpi, dc);
2660 d_append_char (&dpi, '\0');
2662 if (dpi.buf != NULL)
2663 *palc = dpi.alc;
2664 else
2665 *palc = dpi.allocation_failure;
2667 return dpi.buf;
2670 /* Subroutine to handle components. */
2672 static void
2673 d_print_comp (struct d_print_info *dpi,
2674 const struct demangle_component *dc)
2676 if (dc == NULL)
2678 d_print_error (dpi);
2679 return;
2681 if (d_print_saw_error (dpi))
2682 return;
2684 switch (dc->type)
2686 case DEMANGLE_COMPONENT_NAME:
2687 if ((dpi->options & DMGL_JAVA) == 0)
2688 d_append_buffer (dpi, dc->u.s_name.s, dc->u.s_name.len);
2689 else
2690 d_print_java_identifier (dpi, dc->u.s_name.s, dc->u.s_name.len);
2691 return;
2693 case DEMANGLE_COMPONENT_QUAL_NAME:
2694 case DEMANGLE_COMPONENT_LOCAL_NAME:
2695 d_print_comp (dpi, d_left (dc));
2696 if ((dpi->options & DMGL_JAVA) == 0)
2697 d_append_string_constant (dpi, "::");
2698 else
2699 d_append_char (dpi, '.');
2700 d_print_comp (dpi, d_right (dc));
2701 return;
2703 case DEMANGLE_COMPONENT_TYPED_NAME:
2705 struct d_print_mod *hold_modifiers;
2706 struct demangle_component *typed_name;
2707 struct d_print_mod adpm[4];
2708 unsigned int i;
2709 struct d_print_template dpt;
2711 /* Pass the name down to the type so that it can be printed in
2712 the right place for the type. We also have to pass down
2713 any CV-qualifiers, which apply to the this parameter. */
2714 hold_modifiers = dpi->modifiers;
2715 i = 0;
2716 typed_name = d_left (dc);
2717 while (typed_name != NULL)
2719 if (i >= sizeof adpm / sizeof adpm[0])
2721 d_print_error (dpi);
2722 return;
2725 adpm[i].next = dpi->modifiers;
2726 dpi->modifiers = &adpm[i];
2727 adpm[i].mod = typed_name;
2728 adpm[i].printed = 0;
2729 adpm[i].templates = dpi->templates;
2730 ++i;
2732 if (typed_name->type != DEMANGLE_COMPONENT_RESTRICT_THIS
2733 && typed_name->type != DEMANGLE_COMPONENT_VOLATILE_THIS
2734 && typed_name->type != DEMANGLE_COMPONENT_CONST_THIS)
2735 break;
2737 typed_name = d_left (typed_name);
2740 /* If typed_name is a template, then it applies to the
2741 function type as well. */
2742 if (typed_name->type == DEMANGLE_COMPONENT_TEMPLATE)
2744 dpt.next = dpi->templates;
2745 dpi->templates = &dpt;
2746 dpt.template_decl = typed_name;
2749 /* If typed_name is a DEMANGLE_COMPONENT_LOCAL_NAME, then
2750 there may be CV-qualifiers on its right argument which
2751 really apply here; this happens when parsing a class which
2752 is local to a function. */
2753 if (typed_name->type == DEMANGLE_COMPONENT_LOCAL_NAME)
2755 struct demangle_component *local_name;
2757 local_name = d_right (typed_name);
2758 while (local_name->type == DEMANGLE_COMPONENT_RESTRICT_THIS
2759 || local_name->type == DEMANGLE_COMPONENT_VOLATILE_THIS
2760 || local_name->type == DEMANGLE_COMPONENT_CONST_THIS)
2762 if (i >= sizeof adpm / sizeof adpm[0])
2764 d_print_error (dpi);
2765 return;
2768 adpm[i] = adpm[i - 1];
2769 adpm[i].next = &adpm[i - 1];
2770 dpi->modifiers = &adpm[i];
2772 adpm[i - 1].mod = local_name;
2773 adpm[i - 1].printed = 0;
2774 adpm[i - 1].templates = dpi->templates;
2775 ++i;
2777 local_name = d_left (local_name);
2781 d_print_comp (dpi, d_right (dc));
2783 if (typed_name->type == DEMANGLE_COMPONENT_TEMPLATE)
2784 dpi->templates = dpt.next;
2786 /* If the modifiers didn't get printed by the type, print them
2787 now. */
2788 while (i > 0)
2790 --i;
2791 if (! adpm[i].printed)
2793 d_append_char (dpi, ' ');
2794 d_print_mod (dpi, adpm[i].mod);
2798 dpi->modifiers = hold_modifiers;
2800 return;
2803 case DEMANGLE_COMPONENT_TEMPLATE:
2805 struct d_print_mod *hold_dpm;
2807 /* Don't push modifiers into a template definition. Doing so
2808 could give the wrong definition for a template argument.
2809 Instead, treat the template essentially as a name. */
2811 hold_dpm = dpi->modifiers;
2812 dpi->modifiers = NULL;
2814 d_print_comp (dpi, d_left (dc));
2815 if (d_last_char (dpi) == '<')
2816 d_append_char (dpi, ' ');
2817 d_append_char (dpi, '<');
2818 d_print_comp (dpi, d_right (dc));
2819 /* Avoid generating two consecutive '>' characters, to avoid
2820 the C++ syntactic ambiguity. */
2821 if (d_last_char (dpi) == '>')
2822 d_append_char (dpi, ' ');
2823 d_append_char (dpi, '>');
2825 dpi->modifiers = hold_dpm;
2827 return;
2830 case DEMANGLE_COMPONENT_TEMPLATE_PARAM:
2832 long i;
2833 struct demangle_component *a;
2834 struct d_print_template *hold_dpt;
2836 if (dpi->templates == NULL)
2838 d_print_error (dpi);
2839 return;
2841 i = dc->u.s_number.number;
2842 for (a = d_right (dpi->templates->template_decl);
2843 a != NULL;
2844 a = d_right (a))
2846 if (a->type != DEMANGLE_COMPONENT_TEMPLATE_ARGLIST)
2848 d_print_error (dpi);
2849 return;
2851 if (i <= 0)
2852 break;
2853 --i;
2855 if (i != 0 || a == NULL)
2857 d_print_error (dpi);
2858 return;
2861 /* While processing this parameter, we need to pop the list of
2862 templates. This is because the template parameter may
2863 itself be a reference to a parameter of an outer
2864 template. */
2866 hold_dpt = dpi->templates;
2867 dpi->templates = hold_dpt->next;
2869 d_print_comp (dpi, d_left (a));
2871 dpi->templates = hold_dpt;
2873 return;
2876 case DEMANGLE_COMPONENT_CTOR:
2877 d_print_comp (dpi, dc->u.s_ctor.name);
2878 return;
2880 case DEMANGLE_COMPONENT_DTOR:
2881 d_append_char (dpi, '~');
2882 d_print_comp (dpi, dc->u.s_dtor.name);
2883 return;
2885 case DEMANGLE_COMPONENT_VTABLE:
2886 d_append_string_constant (dpi, "vtable for ");
2887 d_print_comp (dpi, d_left (dc));
2888 return;
2890 case DEMANGLE_COMPONENT_VTT:
2891 d_append_string_constant (dpi, "VTT for ");
2892 d_print_comp (dpi, d_left (dc));
2893 return;
2895 case DEMANGLE_COMPONENT_CONSTRUCTION_VTABLE:
2896 d_append_string_constant (dpi, "construction vtable for ");
2897 d_print_comp (dpi, d_left (dc));
2898 d_append_string_constant (dpi, "-in-");
2899 d_print_comp (dpi, d_right (dc));
2900 return;
2902 case DEMANGLE_COMPONENT_TYPEINFO:
2903 d_append_string_constant (dpi, "typeinfo for ");
2904 d_print_comp (dpi, d_left (dc));
2905 return;
2907 case DEMANGLE_COMPONENT_TYPEINFO_NAME:
2908 d_append_string_constant (dpi, "typeinfo name for ");
2909 d_print_comp (dpi, d_left (dc));
2910 return;
2912 case DEMANGLE_COMPONENT_TYPEINFO_FN:
2913 d_append_string_constant (dpi, "typeinfo fn for ");
2914 d_print_comp (dpi, d_left (dc));
2915 return;
2917 case DEMANGLE_COMPONENT_THUNK:
2918 d_append_string_constant (dpi, "non-virtual thunk to ");
2919 d_print_comp (dpi, d_left (dc));
2920 return;
2922 case DEMANGLE_COMPONENT_VIRTUAL_THUNK:
2923 d_append_string_constant (dpi, "virtual thunk to ");
2924 d_print_comp (dpi, d_left (dc));
2925 return;
2927 case DEMANGLE_COMPONENT_COVARIANT_THUNK:
2928 d_append_string_constant (dpi, "covariant return thunk to ");
2929 d_print_comp (dpi, d_left (dc));
2930 return;
2932 case DEMANGLE_COMPONENT_JAVA_CLASS:
2933 d_append_string_constant (dpi, "java Class for ");
2934 d_print_comp (dpi, d_left (dc));
2935 return;
2937 case DEMANGLE_COMPONENT_GUARD:
2938 d_append_string_constant (dpi, "guard variable for ");
2939 d_print_comp (dpi, d_left (dc));
2940 return;
2942 case DEMANGLE_COMPONENT_REFTEMP:
2943 d_append_string_constant (dpi, "reference temporary for ");
2944 d_print_comp (dpi, d_left (dc));
2945 return;
2947 case DEMANGLE_COMPONENT_HIDDEN_ALIAS:
2948 d_append_string_constant (dpi, "hidden alias for ");
2949 d_print_comp (dpi, d_left (dc));
2950 return;
2952 case DEMANGLE_COMPONENT_SUB_STD:
2953 d_append_buffer (dpi, dc->u.s_string.string, dc->u.s_string.len);
2954 return;
2956 case DEMANGLE_COMPONENT_RESTRICT:
2957 case DEMANGLE_COMPONENT_VOLATILE:
2958 case DEMANGLE_COMPONENT_CONST:
2960 struct d_print_mod *pdpm;
2962 /* When printing arrays, it's possible to have cases where the
2963 same CV-qualifier gets pushed on the stack multiple times.
2964 We only need to print it once. */
2966 for (pdpm = dpi->modifiers; pdpm != NULL; pdpm = pdpm->next)
2968 if (! pdpm->printed)
2970 if (pdpm->mod->type != DEMANGLE_COMPONENT_RESTRICT
2971 && pdpm->mod->type != DEMANGLE_COMPONENT_VOLATILE
2972 && pdpm->mod->type != DEMANGLE_COMPONENT_CONST)
2973 break;
2974 if (pdpm->mod->type == dc->type)
2976 d_print_comp (dpi, d_left (dc));
2977 return;
2982 /* Fall through. */
2983 case DEMANGLE_COMPONENT_RESTRICT_THIS:
2984 case DEMANGLE_COMPONENT_VOLATILE_THIS:
2985 case DEMANGLE_COMPONENT_CONST_THIS:
2986 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
2987 case DEMANGLE_COMPONENT_POINTER:
2988 case DEMANGLE_COMPONENT_REFERENCE:
2989 case DEMANGLE_COMPONENT_COMPLEX:
2990 case DEMANGLE_COMPONENT_IMAGINARY:
2992 /* We keep a list of modifiers on the stack. */
2993 struct d_print_mod dpm;
2995 dpm.next = dpi->modifiers;
2996 dpi->modifiers = &dpm;
2997 dpm.mod = dc;
2998 dpm.printed = 0;
2999 dpm.templates = dpi->templates;
3001 d_print_comp (dpi, d_left (dc));
3003 /* If the modifier didn't get printed by the type, print it
3004 now. */
3005 if (! dpm.printed)
3006 d_print_mod (dpi, dc);
3008 dpi->modifiers = dpm.next;
3010 return;
3013 case DEMANGLE_COMPONENT_BUILTIN_TYPE:
3014 if ((dpi->options & DMGL_JAVA) == 0)
3015 d_append_buffer (dpi, dc->u.s_builtin.type->name,
3016 dc->u.s_builtin.type->len);
3017 else
3018 d_append_buffer (dpi, dc->u.s_builtin.type->java_name,
3019 dc->u.s_builtin.type->java_len);
3020 return;
3022 case DEMANGLE_COMPONENT_VENDOR_TYPE:
3023 d_print_comp (dpi, d_left (dc));
3024 return;
3026 case DEMANGLE_COMPONENT_FUNCTION_TYPE:
3028 if (d_left (dc) != NULL)
3030 struct d_print_mod dpm;
3032 /* We must pass this type down as a modifier in order to
3033 print it in the right location. */
3035 dpm.next = dpi->modifiers;
3036 dpi->modifiers = &dpm;
3037 dpm.mod = dc;
3038 dpm.printed = 0;
3039 dpm.templates = dpi->templates;
3041 d_print_comp (dpi, d_left (dc));
3043 dpi->modifiers = dpm.next;
3045 if (dpm.printed)
3046 return;
3048 d_append_char (dpi, ' ');
3051 d_print_function_type (dpi, dc, dpi->modifiers);
3053 return;
3056 case DEMANGLE_COMPONENT_ARRAY_TYPE:
3058 struct d_print_mod *hold_modifiers;
3059 struct d_print_mod adpm[4];
3060 unsigned int i;
3061 struct d_print_mod *pdpm;
3063 /* We must pass this type down as a modifier in order to print
3064 multi-dimensional arrays correctly. If the array itself is
3065 CV-qualified, we act as though the element type were
3066 CV-qualified. We do this by copying the modifiers down
3067 rather than fiddling pointers, so that we don't wind up
3068 with a d_print_mod higher on the stack pointing into our
3069 stack frame after we return. */
3071 hold_modifiers = dpi->modifiers;
3073 adpm[0].next = hold_modifiers;
3074 dpi->modifiers = &adpm[0];
3075 adpm[0].mod = dc;
3076 adpm[0].printed = 0;
3077 adpm[0].templates = dpi->templates;
3079 i = 1;
3080 pdpm = hold_modifiers;
3081 while (pdpm != NULL
3082 && (pdpm->mod->type == DEMANGLE_COMPONENT_RESTRICT
3083 || pdpm->mod->type == DEMANGLE_COMPONENT_VOLATILE
3084 || pdpm->mod->type == DEMANGLE_COMPONENT_CONST))
3086 if (! pdpm->printed)
3088 if (i >= sizeof adpm / sizeof adpm[0])
3090 d_print_error (dpi);
3091 return;
3094 adpm[i] = *pdpm;
3095 adpm[i].next = dpi->modifiers;
3096 dpi->modifiers = &adpm[i];
3097 pdpm->printed = 1;
3098 ++i;
3101 pdpm = pdpm->next;
3104 d_print_comp (dpi, d_right (dc));
3106 dpi->modifiers = hold_modifiers;
3108 if (adpm[0].printed)
3109 return;
3111 while (i > 1)
3113 --i;
3114 d_print_mod (dpi, adpm[i].mod);
3117 d_print_array_type (dpi, dc, dpi->modifiers);
3119 return;
3122 case DEMANGLE_COMPONENT_PTRMEM_TYPE:
3124 struct d_print_mod dpm;
3126 dpm.next = dpi->modifiers;
3127 dpi->modifiers = &dpm;
3128 dpm.mod = dc;
3129 dpm.printed = 0;
3130 dpm.templates = dpi->templates;
3132 d_print_comp (dpi, d_right (dc));
3134 /* If the modifier didn't get printed by the type, print it
3135 now. */
3136 if (! dpm.printed)
3138 d_append_char (dpi, ' ');
3139 d_print_comp (dpi, d_left (dc));
3140 d_append_string_constant (dpi, "::*");
3143 dpi->modifiers = dpm.next;
3145 return;
3148 case DEMANGLE_COMPONENT_ARGLIST:
3149 case DEMANGLE_COMPONENT_TEMPLATE_ARGLIST:
3150 d_print_comp (dpi, d_left (dc));
3151 if (d_right (dc) != NULL)
3153 d_append_string_constant (dpi, ", ");
3154 d_print_comp (dpi, d_right (dc));
3156 return;
3158 case DEMANGLE_COMPONENT_OPERATOR:
3160 char c;
3162 d_append_string_constant (dpi, "operator");
3163 c = dc->u.s_operator.op->name[0];
3164 if (IS_LOWER (c))
3165 d_append_char (dpi, ' ');
3166 d_append_buffer (dpi, dc->u.s_operator.op->name,
3167 dc->u.s_operator.op->len);
3168 return;
3171 case DEMANGLE_COMPONENT_EXTENDED_OPERATOR:
3172 d_append_string_constant (dpi, "operator ");
3173 d_print_comp (dpi, dc->u.s_extended_operator.name);
3174 return;
3176 case DEMANGLE_COMPONENT_CAST:
3177 d_append_string_constant (dpi, "operator ");
3178 d_print_cast (dpi, dc);
3179 return;
3181 case DEMANGLE_COMPONENT_UNARY:
3182 if (d_left (dc)->type != DEMANGLE_COMPONENT_CAST)
3183 d_print_expr_op (dpi, d_left (dc));
3184 else
3186 d_append_char (dpi, '(');
3187 d_print_cast (dpi, d_left (dc));
3188 d_append_char (dpi, ')');
3190 d_append_char (dpi, '(');
3191 d_print_comp (dpi, d_right (dc));
3192 d_append_char (dpi, ')');
3193 return;
3195 case DEMANGLE_COMPONENT_BINARY:
3196 if (d_right (dc)->type != DEMANGLE_COMPONENT_BINARY_ARGS)
3198 d_print_error (dpi);
3199 return;
3202 /* We wrap an expression which uses the greater-than operator in
3203 an extra layer of parens so that it does not get confused
3204 with the '>' which ends the template parameters. */
3205 if (d_left (dc)->type == DEMANGLE_COMPONENT_OPERATOR
3206 && d_left (dc)->u.s_operator.op->len == 1
3207 && d_left (dc)->u.s_operator.op->name[0] == '>')
3208 d_append_char (dpi, '(');
3210 d_append_char (dpi, '(');
3211 d_print_comp (dpi, d_left (d_right (dc)));
3212 d_append_string_constant (dpi, ") ");
3213 d_print_expr_op (dpi, d_left (dc));
3214 d_append_string_constant (dpi, " (");
3215 d_print_comp (dpi, d_right (d_right (dc)));
3216 d_append_char (dpi, ')');
3218 if (d_left (dc)->type == DEMANGLE_COMPONENT_OPERATOR
3219 && d_left (dc)->u.s_operator.op->len == 1
3220 && d_left (dc)->u.s_operator.op->name[0] == '>')
3221 d_append_char (dpi, ')');
3223 return;
3225 case DEMANGLE_COMPONENT_BINARY_ARGS:
3226 /* We should only see this as part of DEMANGLE_COMPONENT_BINARY. */
3227 d_print_error (dpi);
3228 return;
3230 case DEMANGLE_COMPONENT_TRINARY:
3231 if (d_right (dc)->type != DEMANGLE_COMPONENT_TRINARY_ARG1
3232 || d_right (d_right (dc))->type != DEMANGLE_COMPONENT_TRINARY_ARG2)
3234 d_print_error (dpi);
3235 return;
3237 d_append_char (dpi, '(');
3238 d_print_comp (dpi, d_left (d_right (dc)));
3239 d_append_string_constant (dpi, ") ");
3240 d_print_expr_op (dpi, d_left (dc));
3241 d_append_string_constant (dpi, " (");
3242 d_print_comp (dpi, d_left (d_right (d_right (dc))));
3243 d_append_string_constant (dpi, ") : (");
3244 d_print_comp (dpi, d_right (d_right (d_right (dc))));
3245 d_append_char (dpi, ')');
3246 return;
3248 case DEMANGLE_COMPONENT_TRINARY_ARG1:
3249 case DEMANGLE_COMPONENT_TRINARY_ARG2:
3250 /* We should only see these are part of DEMANGLE_COMPONENT_TRINARY. */
3251 d_print_error (dpi);
3252 return;
3254 case DEMANGLE_COMPONENT_LITERAL:
3255 case DEMANGLE_COMPONENT_LITERAL_NEG:
3257 enum d_builtin_type_print tp;
3259 /* For some builtin types, produce simpler output. */
3260 tp = D_PRINT_DEFAULT;
3261 if (d_left (dc)->type == DEMANGLE_COMPONENT_BUILTIN_TYPE)
3263 tp = d_left (dc)->u.s_builtin.type->print;
3264 switch (tp)
3266 case D_PRINT_INT:
3267 case D_PRINT_UNSIGNED:
3268 case D_PRINT_LONG:
3269 case D_PRINT_UNSIGNED_LONG:
3270 case D_PRINT_LONG_LONG:
3271 case D_PRINT_UNSIGNED_LONG_LONG:
3272 if (d_right (dc)->type == DEMANGLE_COMPONENT_NAME)
3274 if (dc->type == DEMANGLE_COMPONENT_LITERAL_NEG)
3275 d_append_char (dpi, '-');
3276 d_print_comp (dpi, d_right (dc));
3277 switch (tp)
3279 default:
3280 break;
3281 case D_PRINT_UNSIGNED:
3282 d_append_char (dpi, 'u');
3283 break;
3284 case D_PRINT_LONG:
3285 d_append_char (dpi, 'l');
3286 break;
3287 case D_PRINT_UNSIGNED_LONG:
3288 d_append_string_constant (dpi, "ul");
3289 break;
3290 case D_PRINT_LONG_LONG:
3291 d_append_string_constant (dpi, "ll");
3292 break;
3293 case D_PRINT_UNSIGNED_LONG_LONG:
3294 d_append_string_constant (dpi, "ull");
3295 break;
3297 return;
3299 break;
3301 case D_PRINT_BOOL:
3302 if (d_right (dc)->type == DEMANGLE_COMPONENT_NAME
3303 && d_right (dc)->u.s_name.len == 1
3304 && dc->type == DEMANGLE_COMPONENT_LITERAL)
3306 switch (d_right (dc)->u.s_name.s[0])
3308 case '0':
3309 d_append_string_constant (dpi, "false");
3310 return;
3311 case '1':
3312 d_append_string_constant (dpi, "true");
3313 return;
3314 default:
3315 break;
3318 break;
3320 default:
3321 break;
3325 d_append_char (dpi, '(');
3326 d_print_comp (dpi, d_left (dc));
3327 d_append_char (dpi, ')');
3328 if (dc->type == DEMANGLE_COMPONENT_LITERAL_NEG)
3329 d_append_char (dpi, '-');
3330 if (tp == D_PRINT_FLOAT)
3331 d_append_char (dpi, '[');
3332 d_print_comp (dpi, d_right (dc));
3333 if (tp == D_PRINT_FLOAT)
3334 d_append_char (dpi, ']');
3336 return;
3338 default:
3339 d_print_error (dpi);
3340 return;
3344 /* Print a Java dentifier. For Java we try to handle encoded extended
3345 Unicode characters. The C++ ABI doesn't mention Unicode encoding,
3346 so we don't it for C++. Characters are encoded as
3347 __U<hex-char>+_. */
3349 static void
3350 d_print_java_identifier (struct d_print_info *dpi, const char *name, int len)
3352 const char *p;
3353 const char *end;
3355 end = name + len;
3356 for (p = name; p < end; ++p)
3358 if (end - p > 3
3359 && p[0] == '_'
3360 && p[1] == '_'
3361 && p[2] == 'U')
3363 unsigned long c;
3364 const char *q;
3366 c = 0;
3367 for (q = p + 3; q < end; ++q)
3369 int dig;
3371 if (IS_DIGIT (*q))
3372 dig = *q - '0';
3373 else if (*q >= 'A' && *q <= 'F')
3374 dig = *q - 'A' + 10;
3375 else if (*q >= 'a' && *q <= 'f')
3376 dig = *q - 'a' + 10;
3377 else
3378 break;
3380 c = c * 16 + dig;
3382 /* If the Unicode character is larger than 256, we don't try
3383 to deal with it here. FIXME. */
3384 if (q < end && *q == '_' && c < 256)
3386 d_append_char (dpi, c);
3387 p = q;
3388 continue;
3392 d_append_char (dpi, *p);
3396 /* Print a list of modifiers. SUFFIX is 1 if we are printing
3397 qualifiers on this after printing a function. */
3399 static void
3400 d_print_mod_list (struct d_print_info *dpi,
3401 struct d_print_mod *mods, int suffix)
3403 struct d_print_template *hold_dpt;
3405 if (mods == NULL || d_print_saw_error (dpi))
3406 return;
3408 if (mods->printed
3409 || (! suffix
3410 && (mods->mod->type == DEMANGLE_COMPONENT_RESTRICT_THIS
3411 || mods->mod->type == DEMANGLE_COMPONENT_VOLATILE_THIS
3412 || mods->mod->type == DEMANGLE_COMPONENT_CONST_THIS)))
3414 d_print_mod_list (dpi, mods->next, suffix);
3415 return;
3418 mods->printed = 1;
3420 hold_dpt = dpi->templates;
3421 dpi->templates = mods->templates;
3423 if (mods->mod->type == DEMANGLE_COMPONENT_FUNCTION_TYPE)
3425 d_print_function_type (dpi, mods->mod, mods->next);
3426 dpi->templates = hold_dpt;
3427 return;
3429 else if (mods->mod->type == DEMANGLE_COMPONENT_ARRAY_TYPE)
3431 d_print_array_type (dpi, mods->mod, mods->next);
3432 dpi->templates = hold_dpt;
3433 return;
3435 else if (mods->mod->type == DEMANGLE_COMPONENT_LOCAL_NAME)
3437 struct d_print_mod *hold_modifiers;
3438 struct demangle_component *dc;
3440 /* When this is on the modifier stack, we have pulled any
3441 qualifiers off the right argument already. Otherwise, we
3442 print it as usual, but don't let the left argument see any
3443 modifiers. */
3445 hold_modifiers = dpi->modifiers;
3446 dpi->modifiers = NULL;
3447 d_print_comp (dpi, d_left (mods->mod));
3448 dpi->modifiers = hold_modifiers;
3450 if ((dpi->options & DMGL_JAVA) == 0)
3451 d_append_string_constant (dpi, "::");
3452 else
3453 d_append_char (dpi, '.');
3455 dc = d_right (mods->mod);
3456 while (dc->type == DEMANGLE_COMPONENT_RESTRICT_THIS
3457 || dc->type == DEMANGLE_COMPONENT_VOLATILE_THIS
3458 || dc->type == DEMANGLE_COMPONENT_CONST_THIS)
3459 dc = d_left (dc);
3461 d_print_comp (dpi, dc);
3463 dpi->templates = hold_dpt;
3464 return;
3467 d_print_mod (dpi, mods->mod);
3469 dpi->templates = hold_dpt;
3471 d_print_mod_list (dpi, mods->next, suffix);
3474 /* Print a modifier. */
3476 static void
3477 d_print_mod (struct d_print_info *dpi,
3478 const struct demangle_component *mod)
3480 switch (mod->type)
3482 case DEMANGLE_COMPONENT_RESTRICT:
3483 case DEMANGLE_COMPONENT_RESTRICT_THIS:
3484 d_append_string_constant (dpi, " restrict");
3485 return;
3486 case DEMANGLE_COMPONENT_VOLATILE:
3487 case DEMANGLE_COMPONENT_VOLATILE_THIS:
3488 d_append_string_constant (dpi, " volatile");
3489 return;
3490 case DEMANGLE_COMPONENT_CONST:
3491 case DEMANGLE_COMPONENT_CONST_THIS:
3492 d_append_string_constant (dpi, " const");
3493 return;
3494 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
3495 d_append_char (dpi, ' ');
3496 d_print_comp (dpi, d_right (mod));
3497 return;
3498 case DEMANGLE_COMPONENT_POINTER:
3499 /* There is no pointer symbol in Java. */
3500 if ((dpi->options & DMGL_JAVA) == 0)
3501 d_append_char (dpi, '*');
3502 return;
3503 case DEMANGLE_COMPONENT_REFERENCE:
3504 d_append_char (dpi, '&');
3505 return;
3506 case DEMANGLE_COMPONENT_COMPLEX:
3507 d_append_string_constant (dpi, "complex ");
3508 return;
3509 case DEMANGLE_COMPONENT_IMAGINARY:
3510 d_append_string_constant (dpi, "imaginary ");
3511 return;
3512 case DEMANGLE_COMPONENT_PTRMEM_TYPE:
3513 if (d_last_char (dpi) != '(')
3514 d_append_char (dpi, ' ');
3515 d_print_comp (dpi, d_left (mod));
3516 d_append_string_constant (dpi, "::*");
3517 return;
3518 case DEMANGLE_COMPONENT_TYPED_NAME:
3519 d_print_comp (dpi, d_left (mod));
3520 return;
3521 default:
3522 /* Otherwise, we have something that won't go back on the
3523 modifier stack, so we can just print it. */
3524 d_print_comp (dpi, mod);
3525 return;
3529 /* Print a function type, except for the return type. */
3531 static void
3532 d_print_function_type (struct d_print_info *dpi,
3533 const struct demangle_component *dc,
3534 struct d_print_mod *mods)
3536 int need_paren;
3537 int saw_mod;
3538 int need_space;
3539 struct d_print_mod *p;
3540 struct d_print_mod *hold_modifiers;
3542 need_paren = 0;
3543 saw_mod = 0;
3544 need_space = 0;
3545 for (p = mods; p != NULL; p = p->next)
3547 if (p->printed)
3548 break;
3550 saw_mod = 1;
3551 switch (p->mod->type)
3553 case DEMANGLE_COMPONENT_POINTER:
3554 case DEMANGLE_COMPONENT_REFERENCE:
3555 need_paren = 1;
3556 break;
3557 case DEMANGLE_COMPONENT_RESTRICT:
3558 case DEMANGLE_COMPONENT_VOLATILE:
3559 case DEMANGLE_COMPONENT_CONST:
3560 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
3561 case DEMANGLE_COMPONENT_COMPLEX:
3562 case DEMANGLE_COMPONENT_IMAGINARY:
3563 case DEMANGLE_COMPONENT_PTRMEM_TYPE:
3564 need_space = 1;
3565 need_paren = 1;
3566 break;
3567 case DEMANGLE_COMPONENT_RESTRICT_THIS:
3568 case DEMANGLE_COMPONENT_VOLATILE_THIS:
3569 case DEMANGLE_COMPONENT_CONST_THIS:
3570 break;
3571 default:
3572 break;
3574 if (need_paren)
3575 break;
3578 if (d_left (dc) != NULL && ! saw_mod)
3579 need_paren = 1;
3581 if (need_paren)
3583 if (! need_space)
3585 if (d_last_char (dpi) != '('
3586 && d_last_char (dpi) != '*')
3587 need_space = 1;
3589 if (need_space && d_last_char (dpi) != ' ')
3590 d_append_char (dpi, ' ');
3591 d_append_char (dpi, '(');
3594 hold_modifiers = dpi->modifiers;
3595 dpi->modifiers = NULL;
3597 d_print_mod_list (dpi, mods, 0);
3599 if (need_paren)
3600 d_append_char (dpi, ')');
3602 d_append_char (dpi, '(');
3604 if (d_right (dc) != NULL)
3605 d_print_comp (dpi, d_right (dc));
3607 d_append_char (dpi, ')');
3609 d_print_mod_list (dpi, mods, 1);
3611 dpi->modifiers = hold_modifiers;
3614 /* Print an array type, except for the element type. */
3616 static void
3617 d_print_array_type (struct d_print_info *dpi,
3618 const struct demangle_component *dc,
3619 struct d_print_mod *mods)
3621 int need_space;
3623 need_space = 1;
3624 if (mods != NULL)
3626 int need_paren;
3627 struct d_print_mod *p;
3629 need_paren = 0;
3630 for (p = mods; p != NULL; p = p->next)
3632 if (! p->printed)
3634 if (p->mod->type == DEMANGLE_COMPONENT_ARRAY_TYPE)
3636 need_space = 0;
3637 break;
3639 else
3641 need_paren = 1;
3642 need_space = 1;
3643 break;
3648 if (need_paren)
3649 d_append_string_constant (dpi, " (");
3651 d_print_mod_list (dpi, mods, 0);
3653 if (need_paren)
3654 d_append_char (dpi, ')');
3657 if (need_space)
3658 d_append_char (dpi, ' ');
3660 d_append_char (dpi, '[');
3662 if (d_left (dc) != NULL)
3663 d_print_comp (dpi, d_left (dc));
3665 d_append_char (dpi, ']');
3668 /* Print an operator in an expression. */
3670 static void
3671 d_print_expr_op (struct d_print_info *dpi,
3672 const struct demangle_component *dc)
3674 if (dc->type == DEMANGLE_COMPONENT_OPERATOR)
3675 d_append_buffer (dpi, dc->u.s_operator.op->name,
3676 dc->u.s_operator.op->len);
3677 else
3678 d_print_comp (dpi, dc);
3681 /* Print a cast. */
3683 static void
3684 d_print_cast (struct d_print_info *dpi,
3685 const struct demangle_component *dc)
3687 if (d_left (dc)->type != DEMANGLE_COMPONENT_TEMPLATE)
3688 d_print_comp (dpi, d_left (dc));
3689 else
3691 struct d_print_mod *hold_dpm;
3692 struct d_print_template dpt;
3694 /* It appears that for a templated cast operator, we need to put
3695 the template parameters in scope for the operator name, but
3696 not for the parameters. The effect is that we need to handle
3697 the template printing here. */
3699 hold_dpm = dpi->modifiers;
3700 dpi->modifiers = NULL;
3702 dpt.next = dpi->templates;
3703 dpi->templates = &dpt;
3704 dpt.template_decl = d_left (dc);
3706 d_print_comp (dpi, d_left (d_left (dc)));
3708 dpi->templates = dpt.next;
3710 if (d_last_char (dpi) == '<')
3711 d_append_char (dpi, ' ');
3712 d_append_char (dpi, '<');
3713 d_print_comp (dpi, d_right (d_left (dc)));
3714 /* Avoid generating two consecutive '>' characters, to avoid
3715 the C++ syntactic ambiguity. */
3716 if (d_last_char (dpi) == '>')
3717 d_append_char (dpi, ' ');
3718 d_append_char (dpi, '>');
3720 dpi->modifiers = hold_dpm;
3724 /* Initialize the information structure we use to pass around
3725 information. */
3727 CP_STATIC_IF_GLIBCPP_V3
3728 void
3729 cplus_demangle_init_info (const char *mangled, int options, size_t len,
3730 struct d_info *di)
3732 di->s = mangled;
3733 di->send = mangled + len;
3734 di->options = options;
3736 di->n = mangled;
3738 /* We can not need more components than twice the number of chars in
3739 the mangled string. Most components correspond directly to
3740 chars, but the ARGLIST types are exceptions. */
3741 di->num_comps = 2 * len;
3742 di->next_comp = 0;
3744 /* Similarly, we can not need more substitutions than there are
3745 chars in the mangled string. */
3746 di->num_subs = len;
3747 di->next_sub = 0;
3748 di->did_subs = 0;
3750 di->last_name = NULL;
3752 di->expansion = 0;
3755 /* Entry point for the demangler. If MANGLED is a g++ v3 ABI mangled
3756 name, return a buffer allocated with malloc holding the demangled
3757 name. OPTIONS is the usual libiberty demangler options. On
3758 success, this sets *PALC to the allocated size of the returned
3759 buffer. On failure, this sets *PALC to 0 for a bad name, or 1 for
3760 a memory allocation failure. On failure, this returns NULL. */
3762 static char *
3763 d_demangle (const char* mangled, int options, size_t *palc)
3765 size_t len;
3766 int type;
3767 struct d_info di;
3768 struct demangle_component *dc;
3769 int estimate;
3770 char *ret;
3772 *palc = 0;
3774 len = strlen (mangled);
3776 if (mangled[0] == '_' && mangled[1] == 'Z')
3777 type = 0;
3778 else if (strncmp (mangled, "_GLOBAL_", 8) == 0
3779 && (mangled[8] == '.' || mangled[8] == '_' || mangled[8] == '$')
3780 && (mangled[9] == 'D' || mangled[9] == 'I')
3781 && mangled[10] == '_')
3783 char *r;
3785 r = (char *) malloc (40 + len - 11);
3786 if (r == NULL)
3787 *palc = 1;
3788 else
3790 if (mangled[9] == 'I')
3791 strcpy (r, "global constructors keyed to ");
3792 else
3793 strcpy (r, "global destructors keyed to ");
3794 strcat (r, mangled + 11);
3796 return r;
3798 else
3800 if ((options & DMGL_TYPES) == 0)
3801 return NULL;
3802 type = 1;
3805 cplus_demangle_init_info (mangled, options, len, &di);
3808 #ifdef CP_DYNAMIC_ARRAYS
3809 __extension__ struct demangle_component comps[di.num_comps];
3810 __extension__ struct demangle_component *subs[di.num_subs];
3812 di.comps = &comps[0];
3813 di.subs = &subs[0];
3814 #else
3815 di.comps = ((struct demangle_component *)
3816 malloc (di.num_comps * sizeof (struct demangle_component)));
3817 di.subs = ((struct demangle_component **)
3818 malloc (di.num_subs * sizeof (struct demangle_component *)));
3819 if (di.comps == NULL || di.subs == NULL)
3821 if (di.comps != NULL)
3822 free (di.comps);
3823 if (di.subs != NULL)
3824 free (di.subs);
3825 *palc = 1;
3826 return NULL;
3828 #endif
3830 if (! type)
3831 dc = cplus_demangle_mangled_name (&di, 1);
3832 else
3833 dc = cplus_demangle_type (&di);
3835 /* If DMGL_PARAMS is set, then if we didn't consume the entire
3836 mangled string, then we didn't successfully demangle it. If
3837 DMGL_PARAMS is not set, we didn't look at the trailing
3838 parameters. */
3839 if (((options & DMGL_PARAMS) != 0) && d_peek_char (&di) != '\0')
3840 dc = NULL;
3842 #ifdef CP_DEMANGLE_DEBUG
3843 if (dc == NULL)
3844 printf ("failed demangling\n");
3845 else
3846 d_dump (dc, 0);
3847 #endif
3849 /* We try to guess the length of the demangled string, to minimize
3850 calls to realloc during demangling. */
3851 estimate = len + di.expansion + 10 * di.did_subs;
3852 estimate += estimate / 8;
3854 ret = NULL;
3855 if (dc != NULL)
3856 ret = cplus_demangle_print (options, dc, estimate, palc);
3858 #ifndef CP_DYNAMIC_ARRAYS
3859 free (di.comps);
3860 free (di.subs);
3861 #endif
3863 #ifdef CP_DEMANGLE_DEBUG
3864 if (ret != NULL)
3866 int rlen;
3868 rlen = strlen (ret);
3869 if (rlen > 2 * estimate)
3870 printf ("*** Length %d much greater than estimate %d\n",
3871 rlen, estimate);
3872 else if (rlen > estimate)
3873 printf ("*** Length %d greater than estimate %d\n",
3874 rlen, estimate);
3875 else if (rlen < estimate / 2)
3876 printf ("*** Length %d much less than estimate %d\n",
3877 rlen, estimate);
3879 #endif
3882 return ret;
3885 #if defined(IN_LIBGCC2) || defined(IN_GLIBCPP_V3)
3887 extern char *__cxa_demangle (const char *, char *, size_t *, int *);
3889 /* ia64 ABI-mandated entry point in the C++ runtime library for
3890 performing demangling. MANGLED_NAME is a NUL-terminated character
3891 string containing the name to be demangled.
3893 OUTPUT_BUFFER is a region of memory, allocated with malloc, of
3894 *LENGTH bytes, into which the demangled name is stored. If
3895 OUTPUT_BUFFER is not long enough, it is expanded using realloc.
3896 OUTPUT_BUFFER may instead be NULL; in that case, the demangled name
3897 is placed in a region of memory allocated with malloc.
3899 If LENGTH is non-NULL, the length of the buffer conaining the
3900 demangled name, is placed in *LENGTH.
3902 The return value is a pointer to the start of the NUL-terminated
3903 demangled name, or NULL if the demangling fails. The caller is
3904 responsible for deallocating this memory using free.
3906 *STATUS is set to one of the following values:
3907 0: The demangling operation succeeded.
3908 -1: A memory allocation failure occurred.
3909 -2: MANGLED_NAME is not a valid name under the C++ ABI mangling rules.
3910 -3: One of the arguments is invalid.
3912 The demangling is performed using the C++ ABI mangling rules, with
3913 GNU extensions. */
3915 char *
3916 __cxa_demangle (const char *mangled_name, char *output_buffer,
3917 size_t *length, int *status)
3919 char *demangled;
3920 size_t alc;
3922 if (mangled_name == NULL)
3924 if (status != NULL)
3925 *status = -3;
3926 return NULL;
3929 if (output_buffer != NULL && length == NULL)
3931 if (status != NULL)
3932 *status = -3;
3933 return NULL;
3936 demangled = d_demangle (mangled_name, DMGL_PARAMS | DMGL_TYPES, &alc);
3938 if (demangled == NULL)
3940 if (status != NULL)
3942 if (alc == 1)
3943 *status = -1;
3944 else
3945 *status = -2;
3947 return NULL;
3950 if (output_buffer == NULL)
3952 if (length != NULL)
3953 *length = alc;
3955 else
3957 if (strlen (demangled) < *length)
3959 strcpy (output_buffer, demangled);
3960 free (demangled);
3961 demangled = output_buffer;
3963 else
3965 free (output_buffer);
3966 *length = alc;
3970 if (status != NULL)
3971 *status = 0;
3973 return demangled;
3976 #else /* ! (IN_LIBGCC2 || IN_GLIBCPP_V3) */
3978 /* Entry point for libiberty demangler. If MANGLED is a g++ v3 ABI
3979 mangled name, return a buffer allocated with malloc holding the
3980 demangled name. Otherwise, return NULL. */
3982 char *
3983 cplus_demangle_v3 (const char* mangled, int options)
3985 size_t alc;
3987 return d_demangle (mangled, options, &alc);
3990 /* Demangle a Java symbol. Java uses a subset of the V3 ABI C++ mangling
3991 conventions, but the output formatting is a little different.
3992 This instructs the C++ demangler not to emit pointer characters ("*"), and
3993 to use Java's namespace separator symbol ("." instead of "::"). It then
3994 does an additional pass over the demangled output to replace instances
3995 of JArray<TYPE> with TYPE[]. */
3997 char *
3998 java_demangle_v3 (const char* mangled)
4000 size_t alc;
4001 char *demangled;
4002 int nesting;
4003 char *from;
4004 char *to;
4006 demangled = d_demangle (mangled, DMGL_JAVA | DMGL_PARAMS, &alc);
4008 if (demangled == NULL)
4009 return NULL;
4011 nesting = 0;
4012 from = demangled;
4013 to = from;
4014 while (*from != '\0')
4016 if (strncmp (from, "JArray<", 7) == 0)
4018 from += 7;
4019 ++nesting;
4021 else if (nesting > 0 && *from == '>')
4023 while (to > demangled && to[-1] == ' ')
4024 --to;
4025 *to++ = '[';
4026 *to++ = ']';
4027 --nesting;
4028 ++from;
4030 else
4031 *to++ = *from++;
4034 *to = '\0';
4036 return demangled;
4039 #endif /* IN_LIBGCC2 || IN_GLIBCPP_V3 */
4041 #ifndef IN_GLIBCPP_V3
4043 /* Demangle a string in order to find out whether it is a constructor
4044 or destructor. Return non-zero on success. Set *CTOR_KIND and
4045 *DTOR_KIND appropriately. */
4047 static int
4048 is_ctor_or_dtor (const char *mangled,
4049 enum gnu_v3_ctor_kinds *ctor_kind,
4050 enum gnu_v3_dtor_kinds *dtor_kind)
4052 struct d_info di;
4053 struct demangle_component *dc;
4054 int ret;
4056 *ctor_kind = (enum gnu_v3_ctor_kinds) 0;
4057 *dtor_kind = (enum gnu_v3_dtor_kinds) 0;
4059 cplus_demangle_init_info (mangled, DMGL_GNU_V3, strlen (mangled), &di);
4062 #ifdef CP_DYNAMIC_ARRAYS
4063 __extension__ struct demangle_component comps[di.num_comps];
4064 __extension__ struct demangle_component *subs[di.num_subs];
4066 di.comps = &comps[0];
4067 di.subs = &subs[0];
4068 #else
4069 di.comps = ((struct demangle_component *)
4070 malloc (di.num_comps * sizeof (struct demangle_component)));
4071 di.subs = ((struct demangle_component **)
4072 malloc (di.num_subs * sizeof (struct demangle_component *)));
4073 if (di.comps == NULL || di.subs == NULL)
4075 if (di.comps != NULL)
4076 free (di.comps);
4077 if (di.subs != NULL)
4078 free (di.subs);
4079 return 0;
4081 #endif
4083 dc = cplus_demangle_mangled_name (&di, 1);
4085 /* Note that because we did not pass DMGL_PARAMS, we don't expect
4086 to demangle the entire string. */
4088 ret = 0;
4089 while (dc != NULL)
4091 switch (dc->type)
4093 default:
4094 dc = NULL;
4095 break;
4096 case DEMANGLE_COMPONENT_TYPED_NAME:
4097 case DEMANGLE_COMPONENT_TEMPLATE:
4098 case DEMANGLE_COMPONENT_RESTRICT_THIS:
4099 case DEMANGLE_COMPONENT_VOLATILE_THIS:
4100 case DEMANGLE_COMPONENT_CONST_THIS:
4101 dc = d_left (dc);
4102 break;
4103 case DEMANGLE_COMPONENT_QUAL_NAME:
4104 case DEMANGLE_COMPONENT_LOCAL_NAME:
4105 dc = d_right (dc);
4106 break;
4107 case DEMANGLE_COMPONENT_CTOR:
4108 *ctor_kind = dc->u.s_ctor.kind;
4109 ret = 1;
4110 dc = NULL;
4111 break;
4112 case DEMANGLE_COMPONENT_DTOR:
4113 *dtor_kind = dc->u.s_dtor.kind;
4114 ret = 1;
4115 dc = NULL;
4116 break;
4120 #ifndef CP_DYNAMIC_ARRAYS
4121 free (di.subs);
4122 free (di.comps);
4123 #endif
4126 return ret;
4129 /* Return whether NAME is the mangled form of a g++ V3 ABI constructor
4130 name. A non-zero return indicates the type of constructor. */
4132 enum gnu_v3_ctor_kinds
4133 is_gnu_v3_mangled_ctor (const char *name)
4135 enum gnu_v3_ctor_kinds ctor_kind;
4136 enum gnu_v3_dtor_kinds dtor_kind;
4138 if (! is_ctor_or_dtor (name, &ctor_kind, &dtor_kind))
4139 return (enum gnu_v3_ctor_kinds) 0;
4140 return ctor_kind;
4144 /* Return whether NAME is the mangled form of a g++ V3 ABI destructor
4145 name. A non-zero return indicates the type of destructor. */
4147 enum gnu_v3_dtor_kinds
4148 is_gnu_v3_mangled_dtor (const char *name)
4150 enum gnu_v3_ctor_kinds ctor_kind;
4151 enum gnu_v3_dtor_kinds dtor_kind;
4153 if (! is_ctor_or_dtor (name, &ctor_kind, &dtor_kind))
4154 return (enum gnu_v3_dtor_kinds) 0;
4155 return dtor_kind;
4158 #endif /* IN_GLIBCPP_V3 */
4160 #ifdef STANDALONE_DEMANGLER
4162 #include "getopt.h"
4163 #include "dyn-string.h"
4165 static void print_usage (FILE* fp, int exit_value);
4167 #define IS_ALPHA(CHAR) \
4168 (((CHAR) >= 'a' && (CHAR) <= 'z') \
4169 || ((CHAR) >= 'A' && (CHAR) <= 'Z'))
4171 /* Non-zero if CHAR is a character than can occur in a mangled name. */
4172 #define is_mangled_char(CHAR) \
4173 (IS_ALPHA (CHAR) || IS_DIGIT (CHAR) \
4174 || (CHAR) == '_' || (CHAR) == '.' || (CHAR) == '$')
4176 /* The name of this program, as invoked. */
4177 const char* program_name;
4179 /* Prints usage summary to FP and then exits with EXIT_VALUE. */
4181 static void
4182 print_usage (FILE* fp, int exit_value)
4184 fprintf (fp, "Usage: %s [options] [names ...]\n", program_name);
4185 fprintf (fp, "Options:\n");
4186 fprintf (fp, " -h,--help Display this message.\n");
4187 fprintf (fp, " -p,--no-params Don't display function parameters\n");
4188 fprintf (fp, " -v,--verbose Produce verbose demanglings.\n");
4189 fprintf (fp, "If names are provided, they are demangled. Otherwise filters standard input.\n");
4191 exit (exit_value);
4194 /* Option specification for getopt_long. */
4195 static const struct option long_options[] =
4197 { "help", no_argument, NULL, 'h' },
4198 { "no-params", no_argument, NULL, 'p' },
4199 { "verbose", no_argument, NULL, 'v' },
4200 { NULL, no_argument, NULL, 0 },
4203 /* Main entry for a demangling filter executable. It will demangle
4204 its command line arguments, if any. If none are provided, it will
4205 filter stdin to stdout, replacing any recognized mangled C++ names
4206 with their demangled equivalents. */
4209 main (int argc, char *argv[])
4211 int i;
4212 int opt_char;
4213 int options = DMGL_PARAMS | DMGL_ANSI | DMGL_TYPES;
4215 /* Use the program name of this program, as invoked. */
4216 program_name = argv[0];
4218 /* Parse options. */
4221 opt_char = getopt_long (argc, argv, "hpv", long_options, NULL);
4222 switch (opt_char)
4224 case '?': /* Unrecognized option. */
4225 print_usage (stderr, 1);
4226 break;
4228 case 'h':
4229 print_usage (stdout, 0);
4230 break;
4232 case 'p':
4233 options &= ~ DMGL_PARAMS;
4234 break;
4236 case 'v':
4237 options |= DMGL_VERBOSE;
4238 break;
4241 while (opt_char != -1);
4243 if (optind == argc)
4244 /* No command line arguments were provided. Filter stdin. */
4246 dyn_string_t mangled = dyn_string_new (3);
4247 char *s;
4249 /* Read all of input. */
4250 while (!feof (stdin))
4252 char c;
4254 /* Pile characters into mangled until we hit one that can't
4255 occur in a mangled name. */
4256 c = getchar ();
4257 while (!feof (stdin) && is_mangled_char (c))
4259 dyn_string_append_char (mangled, c);
4260 if (feof (stdin))
4261 break;
4262 c = getchar ();
4265 if (dyn_string_length (mangled) > 0)
4267 #ifdef IN_GLIBCPP_V3
4268 s = __cxa_demangle (dyn_string_buf (mangled), NULL, NULL, NULL);
4269 #else
4270 s = cplus_demangle_v3 (dyn_string_buf (mangled), options);
4271 #endif
4273 if (s != NULL)
4275 fputs (s, stdout);
4276 free (s);
4278 else
4280 /* It might not have been a mangled name. Print the
4281 original text. */
4282 fputs (dyn_string_buf (mangled), stdout);
4285 dyn_string_clear (mangled);
4288 /* If we haven't hit EOF yet, we've read one character that
4289 can't occur in a mangled name, so print it out. */
4290 if (!feof (stdin))
4291 putchar (c);
4294 dyn_string_delete (mangled);
4296 else
4297 /* Demangle command line arguments. */
4299 /* Loop over command line arguments. */
4300 for (i = optind; i < argc; ++i)
4302 char *s;
4303 #ifdef IN_GLIBCPP_V3
4304 int status;
4305 #endif
4307 /* Attempt to demangle. */
4308 #ifdef IN_GLIBCPP_V3
4309 s = __cxa_demangle (argv[i], NULL, NULL, &status);
4310 #else
4311 s = cplus_demangle_v3 (argv[i], options);
4312 #endif
4314 /* If it worked, print the demangled name. */
4315 if (s != NULL)
4317 printf ("%s\n", s);
4318 free (s);
4320 else
4322 #ifdef IN_GLIBCPP_V3
4323 fprintf (stderr, "Failed: %s (status %d)\n", argv[i], status);
4324 #else
4325 fprintf (stderr, "Failed: %s\n", argv[i]);
4326 #endif
4331 return 0;
4334 #endif /* STANDALONE_DEMANGLER */