bfd/
[binutils.git] / libiberty / cplus-dem.c
blob1f8b1fc31e4b8fd5618059c17948c87c7a47c6c8
1 /* Demangler for GNU C++
2 Copyright 1989, 1991, 1994, 1995, 1996, 1997, 1998, 1999,
3 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4 Written by James Clark (jjc@jclark.uucp)
5 Rewritten by Fred Fish (fnf@cygnus.com) for ARM and Lucid demangling
6 Modified by Satish Pai (pai@apollo.hp.com) for HP demangling
8 This file is part of the libiberty library.
9 Libiberty is free software; you can redistribute it and/or
10 modify it under the terms of the GNU Library General Public
11 License as published by the Free Software Foundation; either
12 version 2 of the License, or (at your option) any later version.
14 In addition to the permissions in the GNU Library General Public
15 License, the Free Software Foundation gives you unlimited permission
16 to link the compiled version of this file into combinations with other
17 programs, and to distribute those combinations without any restriction
18 coming from the use of this file. (The Library Public License
19 restrictions do apply in other respects; for example, they cover
20 modification of the file, and distribution when not linked into a
21 combined executable.)
23 Libiberty is distributed in the hope that it will be useful,
24 but WITHOUT ANY WARRANTY; without even the implied warranty of
25 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
26 Library General Public License for more details.
28 You should have received a copy of the GNU Library General Public
29 License along with libiberty; see the file COPYING.LIB. If
30 not, write to the Free Software Foundation, Inc., 51 Franklin Street - Fifth Floor,
31 Boston, MA 02110-1301, USA. */
33 /* This file exports two functions; cplus_mangle_opname and cplus_demangle.
35 This file imports xmalloc and xrealloc, which are like malloc and
36 realloc except that they generate a fatal error if there is no
37 available memory. */
39 /* This file lives in both GCC and libiberty. When making changes, please
40 try not to break either. */
42 #ifdef HAVE_CONFIG_H
43 #include "config.h"
44 #endif
46 #include "safe-ctype.h"
48 #include <sys/types.h>
49 #include <string.h>
50 #include <stdio.h>
52 #ifdef HAVE_STDLIB_H
53 #include <stdlib.h>
54 #else
55 char * malloc ();
56 char * realloc ();
57 #endif
59 #include <demangle.h>
60 #undef CURRENT_DEMANGLING_STYLE
61 #define CURRENT_DEMANGLING_STYLE work->options
63 #include "libiberty.h"
65 static char *ada_demangle (const char *, int);
67 #define min(X,Y) (((X) < (Y)) ? (X) : (Y))
69 /* A value at least one greater than the maximum number of characters
70 that will be output when using the `%d' format with `printf'. */
71 #define INTBUF_SIZE 32
73 extern void fancy_abort (void) ATTRIBUTE_NORETURN;
75 /* In order to allow a single demangler executable to demangle strings
76 using various common values of CPLUS_MARKER, as well as any specific
77 one set at compile time, we maintain a string containing all the
78 commonly used ones, and check to see if the marker we are looking for
79 is in that string. CPLUS_MARKER is usually '$' on systems where the
80 assembler can deal with that. Where the assembler can't, it's usually
81 '.' (but on many systems '.' is used for other things). We put the
82 current defined CPLUS_MARKER first (which defaults to '$'), followed
83 by the next most common value, followed by an explicit '$' in case
84 the value of CPLUS_MARKER is not '$'.
86 We could avoid this if we could just get g++ to tell us what the actual
87 cplus marker character is as part of the debug information, perhaps by
88 ensuring that it is the character that terminates the gcc<n>_compiled
89 marker symbol (FIXME). */
91 #if !defined (CPLUS_MARKER)
92 #define CPLUS_MARKER '$'
93 #endif
95 enum demangling_styles current_demangling_style = auto_demangling;
97 static char cplus_markers[] = { CPLUS_MARKER, '.', '$', '\0' };
99 static char char_str[2] = { '\000', '\000' };
101 void
102 set_cplus_marker_for_demangling (int ch)
104 cplus_markers[0] = ch;
107 typedef struct string /* Beware: these aren't required to be */
108 { /* '\0' terminated. */
109 char *b; /* pointer to start of string */
110 char *p; /* pointer after last character */
111 char *e; /* pointer after end of allocated space */
112 } string;
114 /* Stuff that is shared between sub-routines.
115 Using a shared structure allows cplus_demangle to be reentrant. */
117 struct work_stuff
119 int options;
120 char **typevec;
121 char **ktypevec;
122 char **btypevec;
123 int numk;
124 int numb;
125 int ksize;
126 int bsize;
127 int ntypes;
128 int typevec_size;
129 int constructor;
130 int destructor;
131 int static_type; /* A static member function */
132 int temp_start; /* index in demangled to start of template args */
133 int type_quals; /* The type qualifiers. */
134 int dllimported; /* Symbol imported from a PE DLL */
135 char **tmpl_argvec; /* Template function arguments. */
136 int ntmpl_args; /* The number of template function arguments. */
137 int forgetting_types; /* Nonzero if we are not remembering the types
138 we see. */
139 string* previous_argument; /* The last function argument demangled. */
140 int nrepeats; /* The number of times to repeat the previous
141 argument. */
144 #define PRINT_ANSI_QUALIFIERS (work -> options & DMGL_ANSI)
145 #define PRINT_ARG_TYPES (work -> options & DMGL_PARAMS)
147 static const struct optable
149 const char *const in;
150 const char *const out;
151 const int flags;
152 } optable[] = {
153 {"nw", " new", DMGL_ANSI}, /* new (1.92, ansi) */
154 {"dl", " delete", DMGL_ANSI}, /* new (1.92, ansi) */
155 {"new", " new", 0}, /* old (1.91, and 1.x) */
156 {"delete", " delete", 0}, /* old (1.91, and 1.x) */
157 {"vn", " new []", DMGL_ANSI}, /* GNU, pending ansi */
158 {"vd", " delete []", DMGL_ANSI}, /* GNU, pending ansi */
159 {"as", "=", DMGL_ANSI}, /* ansi */
160 {"ne", "!=", DMGL_ANSI}, /* old, ansi */
161 {"eq", "==", DMGL_ANSI}, /* old, ansi */
162 {"ge", ">=", DMGL_ANSI}, /* old, ansi */
163 {"gt", ">", DMGL_ANSI}, /* old, ansi */
164 {"le", "<=", DMGL_ANSI}, /* old, ansi */
165 {"lt", "<", DMGL_ANSI}, /* old, ansi */
166 {"plus", "+", 0}, /* old */
167 {"pl", "+", DMGL_ANSI}, /* ansi */
168 {"apl", "+=", DMGL_ANSI}, /* ansi */
169 {"minus", "-", 0}, /* old */
170 {"mi", "-", DMGL_ANSI}, /* ansi */
171 {"ami", "-=", DMGL_ANSI}, /* ansi */
172 {"mult", "*", 0}, /* old */
173 {"ml", "*", DMGL_ANSI}, /* ansi */
174 {"amu", "*=", DMGL_ANSI}, /* ansi (ARM/Lucid) */
175 {"aml", "*=", DMGL_ANSI}, /* ansi (GNU/g++) */
176 {"convert", "+", 0}, /* old (unary +) */
177 {"negate", "-", 0}, /* old (unary -) */
178 {"trunc_mod", "%", 0}, /* old */
179 {"md", "%", DMGL_ANSI}, /* ansi */
180 {"amd", "%=", DMGL_ANSI}, /* ansi */
181 {"trunc_div", "/", 0}, /* old */
182 {"dv", "/", DMGL_ANSI}, /* ansi */
183 {"adv", "/=", DMGL_ANSI}, /* ansi */
184 {"truth_andif", "&&", 0}, /* old */
185 {"aa", "&&", DMGL_ANSI}, /* ansi */
186 {"truth_orif", "||", 0}, /* old */
187 {"oo", "||", DMGL_ANSI}, /* ansi */
188 {"truth_not", "!", 0}, /* old */
189 {"nt", "!", DMGL_ANSI}, /* ansi */
190 {"postincrement","++", 0}, /* old */
191 {"pp", "++", DMGL_ANSI}, /* ansi */
192 {"postdecrement","--", 0}, /* old */
193 {"mm", "--", DMGL_ANSI}, /* ansi */
194 {"bit_ior", "|", 0}, /* old */
195 {"or", "|", DMGL_ANSI}, /* ansi */
196 {"aor", "|=", DMGL_ANSI}, /* ansi */
197 {"bit_xor", "^", 0}, /* old */
198 {"er", "^", DMGL_ANSI}, /* ansi */
199 {"aer", "^=", DMGL_ANSI}, /* ansi */
200 {"bit_and", "&", 0}, /* old */
201 {"ad", "&", DMGL_ANSI}, /* ansi */
202 {"aad", "&=", DMGL_ANSI}, /* ansi */
203 {"bit_not", "~", 0}, /* old */
204 {"co", "~", DMGL_ANSI}, /* ansi */
205 {"call", "()", 0}, /* old */
206 {"cl", "()", DMGL_ANSI}, /* ansi */
207 {"alshift", "<<", 0}, /* old */
208 {"ls", "<<", DMGL_ANSI}, /* ansi */
209 {"als", "<<=", DMGL_ANSI}, /* ansi */
210 {"arshift", ">>", 0}, /* old */
211 {"rs", ">>", DMGL_ANSI}, /* ansi */
212 {"ars", ">>=", DMGL_ANSI}, /* ansi */
213 {"component", "->", 0}, /* old */
214 {"pt", "->", DMGL_ANSI}, /* ansi; Lucid C++ form */
215 {"rf", "->", DMGL_ANSI}, /* ansi; ARM/GNU form */
216 {"indirect", "*", 0}, /* old */
217 {"method_call", "->()", 0}, /* old */
218 {"addr", "&", 0}, /* old (unary &) */
219 {"array", "[]", 0}, /* old */
220 {"vc", "[]", DMGL_ANSI}, /* ansi */
221 {"compound", ", ", 0}, /* old */
222 {"cm", ", ", DMGL_ANSI}, /* ansi */
223 {"cond", "?:", 0}, /* old */
224 {"cn", "?:", DMGL_ANSI}, /* pseudo-ansi */
225 {"max", ">?", 0}, /* old */
226 {"mx", ">?", DMGL_ANSI}, /* pseudo-ansi */
227 {"min", "<?", 0}, /* old */
228 {"mn", "<?", DMGL_ANSI}, /* pseudo-ansi */
229 {"nop", "", 0}, /* old (for operator=) */
230 {"rm", "->*", DMGL_ANSI}, /* ansi */
231 {"sz", "sizeof ", DMGL_ANSI} /* pseudo-ansi */
234 /* These values are used to indicate the various type varieties.
235 They are all non-zero so that they can be used as `success'
236 values. */
237 typedef enum type_kind_t
239 tk_none,
240 tk_pointer,
241 tk_reference,
242 tk_integral,
243 tk_bool,
244 tk_char,
245 tk_real
246 } type_kind_t;
248 const struct demangler_engine libiberty_demanglers[] =
251 NO_DEMANGLING_STYLE_STRING,
252 no_demangling,
253 "Demangling disabled"
257 AUTO_DEMANGLING_STYLE_STRING,
258 auto_demangling,
259 "Automatic selection based on executable"
263 GNU_DEMANGLING_STYLE_STRING,
264 gnu_demangling,
265 "GNU (g++) style demangling"
269 LUCID_DEMANGLING_STYLE_STRING,
270 lucid_demangling,
271 "Lucid (lcc) style demangling"
275 ARM_DEMANGLING_STYLE_STRING,
276 arm_demangling,
277 "ARM style demangling"
281 HP_DEMANGLING_STYLE_STRING,
282 hp_demangling,
283 "HP (aCC) style demangling"
287 EDG_DEMANGLING_STYLE_STRING,
288 edg_demangling,
289 "EDG style demangling"
293 GNU_V3_DEMANGLING_STYLE_STRING,
294 gnu_v3_demangling,
295 "GNU (g++) V3 ABI-style demangling"
299 JAVA_DEMANGLING_STYLE_STRING,
300 java_demangling,
301 "Java style demangling"
305 GNAT_DEMANGLING_STYLE_STRING,
306 gnat_demangling,
307 "GNAT style demangling"
311 NULL, unknown_demangling, NULL
315 #define STRING_EMPTY(str) ((str) -> b == (str) -> p)
316 #define APPEND_BLANK(str) {if (!STRING_EMPTY(str)) \
317 string_append(str, " ");}
318 #define LEN_STRING(str) ( (STRING_EMPTY(str))?0:((str)->p - (str)->b))
320 /* The scope separator appropriate for the language being demangled. */
322 #define SCOPE_STRING(work) ((work->options & DMGL_JAVA) ? "." : "::")
324 #define ARM_VTABLE_STRING "__vtbl__" /* Lucid/ARM virtual table prefix */
325 #define ARM_VTABLE_STRLEN 8 /* strlen (ARM_VTABLE_STRING) */
327 /* Prototypes for local functions */
329 static void delete_work_stuff (struct work_stuff *);
331 static void delete_non_B_K_work_stuff (struct work_stuff *);
333 static char *mop_up (struct work_stuff *, string *, int);
335 static void squangle_mop_up (struct work_stuff *);
337 static void work_stuff_copy_to_from (struct work_stuff *, struct work_stuff *);
339 #if 0
340 static int
341 demangle_method_args (struct work_stuff *, const char **, string *);
342 #endif
344 static char *
345 internal_cplus_demangle (struct work_stuff *, const char *);
347 static int
348 demangle_template_template_parm (struct work_stuff *work,
349 const char **, string *);
351 static int
352 demangle_template (struct work_stuff *work, const char **, string *,
353 string *, int, int);
355 static int
356 arm_pt (struct work_stuff *, const char *, int, const char **,
357 const char **);
359 static int
360 demangle_class_name (struct work_stuff *, const char **, string *);
362 static int
363 demangle_qualified (struct work_stuff *, const char **, string *,
364 int, int);
366 static int demangle_class (struct work_stuff *, const char **, string *);
368 static int demangle_fund_type (struct work_stuff *, const char **, string *);
370 static int demangle_signature (struct work_stuff *, const char **, string *);
372 static int demangle_prefix (struct work_stuff *, const char **, string *);
374 static int gnu_special (struct work_stuff *, const char **, string *);
376 static int arm_special (const char **, string *);
378 static void string_need (string *, int);
380 static void string_delete (string *);
382 static void
383 string_init (string *);
385 static void string_clear (string *);
387 #if 0
388 static int string_empty (string *);
389 #endif
391 static void string_append (string *, const char *);
393 static void string_appends (string *, string *);
395 static void string_appendn (string *, const char *, int);
397 static void string_prepend (string *, const char *);
399 static void string_prependn (string *, const char *, int);
401 static void string_append_template_idx (string *, int);
403 static int get_count (const char **, int *);
405 static int consume_count (const char **);
407 static int consume_count_with_underscores (const char**);
409 static int demangle_args (struct work_stuff *, const char **, string *);
411 static int demangle_nested_args (struct work_stuff*, const char**, string*);
413 static int do_type (struct work_stuff *, const char **, string *);
415 static int do_arg (struct work_stuff *, const char **, string *);
417 static void
418 demangle_function_name (struct work_stuff *, const char **, string *,
419 const char *);
421 static int
422 iterate_demangle_function (struct work_stuff *,
423 const char **, string *, const char *);
425 static void remember_type (struct work_stuff *, const char *, int);
427 static void remember_Btype (struct work_stuff *, const char *, int, int);
429 static int register_Btype (struct work_stuff *);
431 static void remember_Ktype (struct work_stuff *, const char *, int);
433 static void forget_types (struct work_stuff *);
435 static void forget_B_and_K_types (struct work_stuff *);
437 static void string_prepends (string *, string *);
439 static int
440 demangle_template_value_parm (struct work_stuff*, const char**,
441 string*, type_kind_t);
443 static int
444 do_hpacc_template_const_value (struct work_stuff *, const char **, string *);
446 static int
447 do_hpacc_template_literal (struct work_stuff *, const char **, string *);
449 static int snarf_numeric_literal (const char **, string *);
451 /* There is a TYPE_QUAL value for each type qualifier. They can be
452 combined by bitwise-or to form the complete set of qualifiers for a
453 type. */
455 #define TYPE_UNQUALIFIED 0x0
456 #define TYPE_QUAL_CONST 0x1
457 #define TYPE_QUAL_VOLATILE 0x2
458 #define TYPE_QUAL_RESTRICT 0x4
460 static int code_for_qualifier (int);
462 static const char* qualifier_string (int);
464 static const char* demangle_qualifier (int);
466 static int demangle_expression (struct work_stuff *, const char **, string *,
467 type_kind_t);
469 static int
470 demangle_integral_value (struct work_stuff *, const char **, string *);
472 static int
473 demangle_real_value (struct work_stuff *, const char **, string *);
475 static void
476 demangle_arm_hp_template (struct work_stuff *, const char **, int, string *);
478 static void
479 recursively_demangle (struct work_stuff *, const char **, string *, int);
481 static void grow_vect (char **, size_t *, size_t, int);
483 /* Translate count to integer, consuming tokens in the process.
484 Conversion terminates on the first non-digit character.
486 Trying to consume something that isn't a count results in no
487 consumption of input and a return of -1.
489 Overflow consumes the rest of the digits, and returns -1. */
491 static int
492 consume_count (const char **type)
494 int count = 0;
496 if (! ISDIGIT ((unsigned char)**type))
497 return -1;
499 while (ISDIGIT ((unsigned char)**type))
501 count *= 10;
503 /* Check for overflow.
504 We assume that count is represented using two's-complement;
505 no power of two is divisible by ten, so if an overflow occurs
506 when multiplying by ten, the result will not be a multiple of
507 ten. */
508 if ((count % 10) != 0)
510 while (ISDIGIT ((unsigned char) **type))
511 (*type)++;
512 return -1;
515 count += **type - '0';
516 (*type)++;
519 if (count < 0)
520 count = -1;
522 return (count);
526 /* Like consume_count, but for counts that are preceded and followed
527 by '_' if they are greater than 10. Also, -1 is returned for
528 failure, since 0 can be a valid value. */
530 static int
531 consume_count_with_underscores (const char **mangled)
533 int idx;
535 if (**mangled == '_')
537 (*mangled)++;
538 if (!ISDIGIT ((unsigned char)**mangled))
539 return -1;
541 idx = consume_count (mangled);
542 if (**mangled != '_')
543 /* The trailing underscore was missing. */
544 return -1;
546 (*mangled)++;
548 else
550 if (**mangled < '0' || **mangled > '9')
551 return -1;
553 idx = **mangled - '0';
554 (*mangled)++;
557 return idx;
560 /* C is the code for a type-qualifier. Return the TYPE_QUAL
561 corresponding to this qualifier. */
563 static int
564 code_for_qualifier (int c)
566 switch (c)
568 case 'C':
569 return TYPE_QUAL_CONST;
571 case 'V':
572 return TYPE_QUAL_VOLATILE;
574 case 'u':
575 return TYPE_QUAL_RESTRICT;
577 default:
578 break;
581 /* C was an invalid qualifier. */
582 abort ();
585 /* Return the string corresponding to the qualifiers given by
586 TYPE_QUALS. */
588 static const char*
589 qualifier_string (int type_quals)
591 switch (type_quals)
593 case TYPE_UNQUALIFIED:
594 return "";
596 case TYPE_QUAL_CONST:
597 return "const";
599 case TYPE_QUAL_VOLATILE:
600 return "volatile";
602 case TYPE_QUAL_RESTRICT:
603 return "__restrict";
605 case TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE:
606 return "const volatile";
608 case TYPE_QUAL_CONST | TYPE_QUAL_RESTRICT:
609 return "const __restrict";
611 case TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT:
612 return "volatile __restrict";
614 case TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT:
615 return "const volatile __restrict";
617 default:
618 break;
621 /* TYPE_QUALS was an invalid qualifier set. */
622 abort ();
625 /* C is the code for a type-qualifier. Return the string
626 corresponding to this qualifier. This function should only be
627 called with a valid qualifier code. */
629 static const char*
630 demangle_qualifier (int c)
632 return qualifier_string (code_for_qualifier (c));
636 cplus_demangle_opname (const char *opname, char *result, int options)
638 int len, len1, ret;
639 string type;
640 struct work_stuff work[1];
641 const char *tem;
643 len = strlen(opname);
644 result[0] = '\0';
645 ret = 0;
646 memset ((char *) work, 0, sizeof (work));
647 work->options = options;
649 if (opname[0] == '_' && opname[1] == '_'
650 && opname[2] == 'o' && opname[3] == 'p')
652 /* ANSI. */
653 /* type conversion operator. */
654 tem = opname + 4;
655 if (do_type (work, &tem, &type))
657 strcat (result, "operator ");
658 strncat (result, type.b, type.p - type.b);
659 string_delete (&type);
660 ret = 1;
663 else if (opname[0] == '_' && opname[1] == '_'
664 && ISLOWER((unsigned char)opname[2])
665 && ISLOWER((unsigned char)opname[3]))
667 if (opname[4] == '\0')
669 /* Operator. */
670 size_t i;
671 for (i = 0; i < ARRAY_SIZE (optable); i++)
673 if (strlen (optable[i].in) == 2
674 && memcmp (optable[i].in, opname + 2, 2) == 0)
676 strcat (result, "operator");
677 strcat (result, optable[i].out);
678 ret = 1;
679 break;
683 else
685 if (opname[2] == 'a' && opname[5] == '\0')
687 /* Assignment. */
688 size_t i;
689 for (i = 0; i < ARRAY_SIZE (optable); i++)
691 if (strlen (optable[i].in) == 3
692 && memcmp (optable[i].in, opname + 2, 3) == 0)
694 strcat (result, "operator");
695 strcat (result, optable[i].out);
696 ret = 1;
697 break;
703 else if (len >= 3
704 && opname[0] == 'o'
705 && opname[1] == 'p'
706 && strchr (cplus_markers, opname[2]) != NULL)
708 /* see if it's an assignment expression */
709 if (len >= 10 /* op$assign_ */
710 && memcmp (opname + 3, "assign_", 7) == 0)
712 size_t i;
713 for (i = 0; i < ARRAY_SIZE (optable); i++)
715 len1 = len - 10;
716 if ((int) strlen (optable[i].in) == len1
717 && memcmp (optable[i].in, opname + 10, len1) == 0)
719 strcat (result, "operator");
720 strcat (result, optable[i].out);
721 strcat (result, "=");
722 ret = 1;
723 break;
727 else
729 size_t i;
730 for (i = 0; i < ARRAY_SIZE (optable); i++)
732 len1 = len - 3;
733 if ((int) strlen (optable[i].in) == len1
734 && memcmp (optable[i].in, opname + 3, len1) == 0)
736 strcat (result, "operator");
737 strcat (result, optable[i].out);
738 ret = 1;
739 break;
744 else if (len >= 5 && memcmp (opname, "type", 4) == 0
745 && strchr (cplus_markers, opname[4]) != NULL)
747 /* type conversion operator */
748 tem = opname + 5;
749 if (do_type (work, &tem, &type))
751 strcat (result, "operator ");
752 strncat (result, type.b, type.p - type.b);
753 string_delete (&type);
754 ret = 1;
757 squangle_mop_up (work);
758 return ret;
762 /* Takes operator name as e.g. "++" and returns mangled
763 operator name (e.g. "postincrement_expr"), or NULL if not found.
765 If OPTIONS & DMGL_ANSI == 1, return the ANSI name;
766 if OPTIONS & DMGL_ANSI == 0, return the old GNU name. */
768 const char *
769 cplus_mangle_opname (const char *opname, int options)
771 size_t i;
772 int len;
774 len = strlen (opname);
775 for (i = 0; i < ARRAY_SIZE (optable); i++)
777 if ((int) strlen (optable[i].out) == len
778 && (options & DMGL_ANSI) == (optable[i].flags & DMGL_ANSI)
779 && memcmp (optable[i].out, opname, len) == 0)
780 return optable[i].in;
782 return (0);
785 /* Add a routine to set the demangling style to be sure it is valid and
786 allow for any demangler initialization that maybe necessary. */
788 enum demangling_styles
789 cplus_demangle_set_style (enum demangling_styles style)
791 const struct demangler_engine *demangler = libiberty_demanglers;
793 for (; demangler->demangling_style != unknown_demangling; ++demangler)
794 if (style == demangler->demangling_style)
796 current_demangling_style = style;
797 return current_demangling_style;
800 return unknown_demangling;
803 /* Do string name to style translation */
805 enum demangling_styles
806 cplus_demangle_name_to_style (const char *name)
808 const struct demangler_engine *demangler = libiberty_demanglers;
810 for (; demangler->demangling_style != unknown_demangling; ++demangler)
811 if (strcmp (name, demangler->demangling_style_name) == 0)
812 return demangler->demangling_style;
814 return unknown_demangling;
817 /* char *cplus_demangle (const char *mangled, int options)
819 If MANGLED is a mangled function name produced by GNU C++, then
820 a pointer to a @code{malloc}ed string giving a C++ representation
821 of the name will be returned; otherwise NULL will be returned.
822 It is the caller's responsibility to free the string which
823 is returned.
825 The OPTIONS arg may contain one or more of the following bits:
827 DMGL_ANSI ANSI qualifiers such as `const' and `void' are
828 included.
829 DMGL_PARAMS Function parameters are included.
831 For example,
833 cplus_demangle ("foo__1Ai", DMGL_PARAMS) => "A::foo(int)"
834 cplus_demangle ("foo__1Ai", DMGL_PARAMS | DMGL_ANSI) => "A::foo(int)"
835 cplus_demangle ("foo__1Ai", 0) => "A::foo"
837 cplus_demangle ("foo__1Afe", DMGL_PARAMS) => "A::foo(float,...)"
838 cplus_demangle ("foo__1Afe", DMGL_PARAMS | DMGL_ANSI)=> "A::foo(float,...)"
839 cplus_demangle ("foo__1Afe", 0) => "A::foo"
841 Note that any leading underscores, or other such characters prepended by
842 the compilation system, are presumed to have already been stripped from
843 MANGLED. */
845 char *
846 cplus_demangle (const char *mangled, int options)
848 char *ret;
849 struct work_stuff work[1];
851 if (current_demangling_style == no_demangling)
852 return xstrdup (mangled);
854 memset ((char *) work, 0, sizeof (work));
855 work->options = options;
856 if ((work->options & DMGL_STYLE_MASK) == 0)
857 work->options |= (int) current_demangling_style & DMGL_STYLE_MASK;
859 /* The V3 ABI demangling is implemented elsewhere. */
860 if (GNU_V3_DEMANGLING || AUTO_DEMANGLING)
862 ret = cplus_demangle_v3 (mangled, work->options);
863 if (ret || GNU_V3_DEMANGLING)
864 return ret;
867 if (JAVA_DEMANGLING)
869 ret = java_demangle_v3 (mangled);
870 if (ret)
871 return ret;
874 if (GNAT_DEMANGLING)
875 return ada_demangle(mangled,options);
877 ret = internal_cplus_demangle (work, mangled);
878 squangle_mop_up (work);
879 return (ret);
883 /* Assuming *OLD_VECT points to an array of *SIZE objects of size
884 ELEMENT_SIZE, grow it to contain at least MIN_SIZE objects,
885 updating *OLD_VECT and *SIZE as necessary. */
887 static void
888 grow_vect (char **old_vect, size_t *size, size_t min_size, int element_size)
890 if (*size < min_size)
892 *size *= 2;
893 if (*size < min_size)
894 *size = min_size;
895 *old_vect = XRESIZEVAR (char, *old_vect, *size * element_size);
899 /* Demangle ada names:
900 1. Discard final __{DIGIT}+ or ${DIGIT}+
901 2. Convert other instances of embedded "__" to `.'.
902 3. Discard leading _ada_.
903 4. Remove everything after first ___ if it is followed by 'X'.
904 5. Put symbols that should be suppressed in <...> brackets.
905 The resulting string is valid until the next call of ada_demangle. */
907 static char *
908 ada_demangle (const char *mangled, int option ATTRIBUTE_UNUSED)
910 int i, j;
911 int len0;
912 const char* p;
913 char *demangled = NULL;
914 int changed;
915 size_t demangled_size = 0;
917 changed = 0;
919 if (strncmp (mangled, "_ada_", 5) == 0)
921 mangled += 5;
922 changed = 1;
925 if (mangled[0] == '_' || mangled[0] == '<')
926 goto Suppress;
928 p = strstr (mangled, "___");
929 if (p == NULL)
930 len0 = strlen (mangled);
931 else
933 if (p[3] == 'X')
935 len0 = p - mangled;
936 changed = 1;
938 else
939 goto Suppress;
942 /* Make demangled big enough for possible expansion by operator name. */
943 grow_vect (&demangled,
944 &demangled_size, 2 * len0 + 1,
945 sizeof (char));
947 if (ISDIGIT ((unsigned char) mangled[len0 - 1])) {
948 for (i = len0 - 2; i >= 0 && ISDIGIT ((unsigned char) mangled[i]); i -= 1)
950 if (i > 1 && mangled[i] == '_' && mangled[i - 1] == '_')
952 len0 = i - 1;
953 changed = 1;
955 else if (mangled[i] == '$')
957 len0 = i;
958 changed = 1;
962 for (i = 0, j = 0; i < len0 && ! ISALPHA ((unsigned char)mangled[i]);
963 i += 1, j += 1)
964 demangled[j] = mangled[i];
966 while (i < len0)
968 if (i < len0 - 2 && mangled[i] == '_' && mangled[i + 1] == '_')
970 demangled[j] = '.';
971 changed = 1;
972 i += 2; j += 1;
974 else
976 demangled[j] = mangled[i];
977 i += 1; j += 1;
980 demangled[j] = '\000';
982 for (i = 0; demangled[i] != '\0'; i += 1)
983 if (ISUPPER ((unsigned char)demangled[i]) || demangled[i] == ' ')
984 goto Suppress;
986 if (! changed)
987 return NULL;
988 else
989 return demangled;
991 Suppress:
992 grow_vect (&demangled,
993 &demangled_size, strlen (mangled) + 3,
994 sizeof (char));
996 if (mangled[0] == '<')
997 strcpy (demangled, mangled);
998 else
999 sprintf (demangled, "<%s>", mangled);
1001 return demangled;
1004 /* This function performs most of what cplus_demangle use to do, but
1005 to be able to demangle a name with a B, K or n code, we need to
1006 have a longer term memory of what types have been seen. The original
1007 now initializes and cleans up the squangle code info, while internal
1008 calls go directly to this routine to avoid resetting that info. */
1010 static char *
1011 internal_cplus_demangle (struct work_stuff *work, const char *mangled)
1014 string decl;
1015 int success = 0;
1016 char *demangled = NULL;
1017 int s1, s2, s3, s4;
1018 s1 = work->constructor;
1019 s2 = work->destructor;
1020 s3 = work->static_type;
1021 s4 = work->type_quals;
1022 work->constructor = work->destructor = 0;
1023 work->type_quals = TYPE_UNQUALIFIED;
1024 work->dllimported = 0;
1026 if ((mangled != NULL) && (*mangled != '\0'))
1028 string_init (&decl);
1030 /* First check to see if gnu style demangling is active and if the
1031 string to be demangled contains a CPLUS_MARKER. If so, attempt to
1032 recognize one of the gnu special forms rather than looking for a
1033 standard prefix. In particular, don't worry about whether there
1034 is a "__" string in the mangled string. Consider "_$_5__foo" for
1035 example. */
1037 if ((AUTO_DEMANGLING || GNU_DEMANGLING))
1039 success = gnu_special (work, &mangled, &decl);
1041 if (!success)
1043 success = demangle_prefix (work, &mangled, &decl);
1045 if (success && (*mangled != '\0'))
1047 success = demangle_signature (work, &mangled, &decl);
1049 if (work->constructor == 2)
1051 string_prepend (&decl, "global constructors keyed to ");
1052 work->constructor = 0;
1054 else if (work->destructor == 2)
1056 string_prepend (&decl, "global destructors keyed to ");
1057 work->destructor = 0;
1059 else if (work->dllimported == 1)
1061 string_prepend (&decl, "import stub for ");
1062 work->dllimported = 0;
1064 demangled = mop_up (work, &decl, success);
1066 work->constructor = s1;
1067 work->destructor = s2;
1068 work->static_type = s3;
1069 work->type_quals = s4;
1070 return demangled;
1074 /* Clear out and squangling related storage */
1075 static void
1076 squangle_mop_up (struct work_stuff *work)
1078 /* clean up the B and K type mangling types. */
1079 forget_B_and_K_types (work);
1080 if (work -> btypevec != NULL)
1082 free ((char *) work -> btypevec);
1084 if (work -> ktypevec != NULL)
1086 free ((char *) work -> ktypevec);
1091 /* Copy the work state and storage. */
1093 static void
1094 work_stuff_copy_to_from (struct work_stuff *to, struct work_stuff *from)
1096 int i;
1098 delete_work_stuff (to);
1100 /* Shallow-copy scalars. */
1101 memcpy (to, from, sizeof (*to));
1103 /* Deep-copy dynamic storage. */
1104 if (from->typevec_size)
1105 to->typevec = XNEWVEC (char *, from->typevec_size);
1107 for (i = 0; i < from->ntypes; i++)
1109 int len = strlen (from->typevec[i]) + 1;
1111 to->typevec[i] = XNEWVEC (char, len);
1112 memcpy (to->typevec[i], from->typevec[i], len);
1115 if (from->ksize)
1116 to->ktypevec = XNEWVEC (char *, from->ksize);
1118 for (i = 0; i < from->numk; i++)
1120 int len = strlen (from->ktypevec[i]) + 1;
1122 to->ktypevec[i] = XNEWVEC (char, len);
1123 memcpy (to->ktypevec[i], from->ktypevec[i], len);
1126 if (from->bsize)
1127 to->btypevec = XNEWVEC (char *, from->bsize);
1129 for (i = 0; i < from->numb; i++)
1131 int len = strlen (from->btypevec[i]) + 1;
1133 to->btypevec[i] = XNEWVEC (char , len);
1134 memcpy (to->btypevec[i], from->btypevec[i], len);
1137 if (from->ntmpl_args)
1138 to->tmpl_argvec = XNEWVEC (char *, from->ntmpl_args);
1140 for (i = 0; i < from->ntmpl_args; i++)
1142 int len = strlen (from->tmpl_argvec[i]) + 1;
1144 to->tmpl_argvec[i] = XNEWVEC (char, len);
1145 memcpy (to->tmpl_argvec[i], from->tmpl_argvec[i], len);
1148 if (from->previous_argument)
1150 to->previous_argument = XNEW (string);
1151 string_init (to->previous_argument);
1152 string_appends (to->previous_argument, from->previous_argument);
1157 /* Delete dynamic stuff in work_stuff that is not to be re-used. */
1159 static void
1160 delete_non_B_K_work_stuff (struct work_stuff *work)
1162 /* Discard the remembered types, if any. */
1164 forget_types (work);
1165 if (work -> typevec != NULL)
1167 free ((char *) work -> typevec);
1168 work -> typevec = NULL;
1169 work -> typevec_size = 0;
1171 if (work->tmpl_argvec)
1173 int i;
1175 for (i = 0; i < work->ntmpl_args; i++)
1176 if (work->tmpl_argvec[i])
1177 free ((char*) work->tmpl_argvec[i]);
1179 free ((char*) work->tmpl_argvec);
1180 work->tmpl_argvec = NULL;
1182 if (work->previous_argument)
1184 string_delete (work->previous_argument);
1185 free ((char*) work->previous_argument);
1186 work->previous_argument = NULL;
1191 /* Delete all dynamic storage in work_stuff. */
1192 static void
1193 delete_work_stuff (struct work_stuff *work)
1195 delete_non_B_K_work_stuff (work);
1196 squangle_mop_up (work);
1200 /* Clear out any mangled storage */
1202 static char *
1203 mop_up (struct work_stuff *work, string *declp, int success)
1205 char *demangled = NULL;
1207 delete_non_B_K_work_stuff (work);
1209 /* If demangling was successful, ensure that the demangled string is null
1210 terminated and return it. Otherwise, free the demangling decl. */
1212 if (!success)
1214 string_delete (declp);
1216 else
1218 string_appendn (declp, "", 1);
1219 demangled = declp->b;
1221 return (demangled);
1226 LOCAL FUNCTION
1228 demangle_signature -- demangle the signature part of a mangled name
1230 SYNOPSIS
1232 static int
1233 demangle_signature (struct work_stuff *work, const char **mangled,
1234 string *declp);
1236 DESCRIPTION
1238 Consume and demangle the signature portion of the mangled name.
1240 DECLP is the string where demangled output is being built. At
1241 entry it contains the demangled root name from the mangled name
1242 prefix. I.E. either a demangled operator name or the root function
1243 name. In some special cases, it may contain nothing.
1245 *MANGLED points to the current unconsumed location in the mangled
1246 name. As tokens are consumed and demangling is performed, the
1247 pointer is updated to continuously point at the next token to
1248 be consumed.
1250 Demangling GNU style mangled names is nasty because there is no
1251 explicit token that marks the start of the outermost function
1252 argument list. */
1254 static int
1255 demangle_signature (struct work_stuff *work,
1256 const char **mangled, string *declp)
1258 int success = 1;
1259 int func_done = 0;
1260 int expect_func = 0;
1261 int expect_return_type = 0;
1262 const char *oldmangled = NULL;
1263 string trawname;
1264 string tname;
1266 while (success && (**mangled != '\0'))
1268 switch (**mangled)
1270 case 'Q':
1271 oldmangled = *mangled;
1272 success = demangle_qualified (work, mangled, declp, 1, 0);
1273 if (success)
1274 remember_type (work, oldmangled, *mangled - oldmangled);
1275 if (AUTO_DEMANGLING || GNU_DEMANGLING)
1276 expect_func = 1;
1277 oldmangled = NULL;
1278 break;
1280 case 'K':
1281 oldmangled = *mangled;
1282 success = demangle_qualified (work, mangled, declp, 1, 0);
1283 if (AUTO_DEMANGLING || GNU_DEMANGLING)
1285 expect_func = 1;
1287 oldmangled = NULL;
1288 break;
1290 case 'S':
1291 /* Static member function */
1292 if (oldmangled == NULL)
1294 oldmangled = *mangled;
1296 (*mangled)++;
1297 work -> static_type = 1;
1298 break;
1300 case 'C':
1301 case 'V':
1302 case 'u':
1303 work->type_quals |= code_for_qualifier (**mangled);
1305 /* a qualified member function */
1306 if (oldmangled == NULL)
1307 oldmangled = *mangled;
1308 (*mangled)++;
1309 break;
1311 case 'L':
1312 /* Local class name follows after "Lnnn_" */
1313 if (HP_DEMANGLING)
1315 while (**mangled && (**mangled != '_'))
1316 (*mangled)++;
1317 if (!**mangled)
1318 success = 0;
1319 else
1320 (*mangled)++;
1322 else
1323 success = 0;
1324 break;
1326 case '0': case '1': case '2': case '3': case '4':
1327 case '5': case '6': case '7': case '8': case '9':
1328 if (oldmangled == NULL)
1330 oldmangled = *mangled;
1332 work->temp_start = -1; /* uppermost call to demangle_class */
1333 success = demangle_class (work, mangled, declp);
1334 if (success)
1336 remember_type (work, oldmangled, *mangled - oldmangled);
1338 if (AUTO_DEMANGLING || GNU_DEMANGLING || EDG_DEMANGLING)
1340 /* EDG and others will have the "F", so we let the loop cycle
1341 if we are looking at one. */
1342 if (**mangled != 'F')
1343 expect_func = 1;
1345 oldmangled = NULL;
1346 break;
1348 case 'B':
1350 string s;
1351 success = do_type (work, mangled, &s);
1352 if (success)
1354 string_append (&s, SCOPE_STRING (work));
1355 string_prepends (declp, &s);
1356 string_delete (&s);
1358 oldmangled = NULL;
1359 expect_func = 1;
1361 break;
1363 case 'F':
1364 /* Function */
1365 /* ARM/HP style demangling includes a specific 'F' character after
1366 the class name. For GNU style, it is just implied. So we can
1367 safely just consume any 'F' at this point and be compatible
1368 with either style. */
1370 oldmangled = NULL;
1371 func_done = 1;
1372 (*mangled)++;
1374 /* For lucid/ARM/HP style we have to forget any types we might
1375 have remembered up to this point, since they were not argument
1376 types. GNU style considers all types seen as available for
1377 back references. See comment in demangle_args() */
1379 if (LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
1381 forget_types (work);
1383 success = demangle_args (work, mangled, declp);
1384 /* After picking off the function args, we expect to either
1385 find the function return type (preceded by an '_') or the
1386 end of the string. */
1387 if (success && (AUTO_DEMANGLING || EDG_DEMANGLING) && **mangled == '_')
1389 ++(*mangled);
1390 /* At this level, we do not care about the return type. */
1391 success = do_type (work, mangled, &tname);
1392 string_delete (&tname);
1395 break;
1397 case 't':
1398 /* G++ Template */
1399 string_init(&trawname);
1400 string_init(&tname);
1401 if (oldmangled == NULL)
1403 oldmangled = *mangled;
1405 success = demangle_template (work, mangled, &tname,
1406 &trawname, 1, 1);
1407 if (success)
1409 remember_type (work, oldmangled, *mangled - oldmangled);
1411 string_append (&tname, SCOPE_STRING (work));
1413 string_prepends(declp, &tname);
1414 if (work -> destructor & 1)
1416 string_prepend (&trawname, "~");
1417 string_appends (declp, &trawname);
1418 work->destructor -= 1;
1420 if ((work->constructor & 1) || (work->destructor & 1))
1422 string_appends (declp, &trawname);
1423 work->constructor -= 1;
1425 string_delete(&trawname);
1426 string_delete(&tname);
1427 oldmangled = NULL;
1428 expect_func = 1;
1429 break;
1431 case '_':
1432 if ((AUTO_DEMANGLING || GNU_DEMANGLING) && expect_return_type)
1434 /* Read the return type. */
1435 string return_type;
1437 (*mangled)++;
1438 success = do_type (work, mangled, &return_type);
1439 APPEND_BLANK (&return_type);
1441 string_prepends (declp, &return_type);
1442 string_delete (&return_type);
1443 break;
1445 else
1446 /* At the outermost level, we cannot have a return type specified,
1447 so if we run into another '_' at this point we are dealing with
1448 a mangled name that is either bogus, or has been mangled by
1449 some algorithm we don't know how to deal with. So just
1450 reject the entire demangling. */
1451 /* However, "_nnn" is an expected suffix for alternate entry point
1452 numbered nnn for a function, with HP aCC, so skip over that
1453 without reporting failure. pai/1997-09-04 */
1454 if (HP_DEMANGLING)
1456 (*mangled)++;
1457 while (**mangled && ISDIGIT ((unsigned char)**mangled))
1458 (*mangled)++;
1460 else
1461 success = 0;
1462 break;
1464 case 'H':
1465 if (AUTO_DEMANGLING || GNU_DEMANGLING)
1467 /* A G++ template function. Read the template arguments. */
1468 success = demangle_template (work, mangled, declp, 0, 0,
1470 if (!(work->constructor & 1))
1471 expect_return_type = 1;
1472 (*mangled)++;
1473 break;
1475 else
1476 /* fall through */
1479 default:
1480 if (AUTO_DEMANGLING || GNU_DEMANGLING)
1482 /* Assume we have stumbled onto the first outermost function
1483 argument token, and start processing args. */
1484 func_done = 1;
1485 success = demangle_args (work, mangled, declp);
1487 else
1489 /* Non-GNU demanglers use a specific token to mark the start
1490 of the outermost function argument tokens. Typically 'F',
1491 for ARM/HP-demangling, for example. So if we find something
1492 we are not prepared for, it must be an error. */
1493 success = 0;
1495 break;
1498 if (AUTO_DEMANGLING || GNU_DEMANGLING)
1501 if (success && expect_func)
1503 func_done = 1;
1504 if (LUCID_DEMANGLING || ARM_DEMANGLING || EDG_DEMANGLING)
1506 forget_types (work);
1508 success = demangle_args (work, mangled, declp);
1509 /* Since template include the mangling of their return types,
1510 we must set expect_func to 0 so that we don't try do
1511 demangle more arguments the next time we get here. */
1512 expect_func = 0;
1516 if (success && !func_done)
1518 if (AUTO_DEMANGLING || GNU_DEMANGLING)
1520 /* With GNU style demangling, bar__3foo is 'foo::bar(void)', and
1521 bar__3fooi is 'foo::bar(int)'. We get here when we find the
1522 first case, and need to ensure that the '(void)' gets added to
1523 the current declp. Note that with ARM/HP, the first case
1524 represents the name of a static data member 'foo::bar',
1525 which is in the current declp, so we leave it alone. */
1526 success = demangle_args (work, mangled, declp);
1529 if (success && PRINT_ARG_TYPES)
1531 if (work->static_type)
1532 string_append (declp, " static");
1533 if (work->type_quals != TYPE_UNQUALIFIED)
1535 APPEND_BLANK (declp);
1536 string_append (declp, qualifier_string (work->type_quals));
1540 return (success);
1543 #if 0
1545 static int
1546 demangle_method_args (struct work_stuff *work, const char **mangled,
1547 string *declp)
1549 int success = 0;
1551 if (work -> static_type)
1553 string_append (declp, *mangled + 1);
1554 *mangled += strlen (*mangled);
1555 success = 1;
1557 else
1559 success = demangle_args (work, mangled, declp);
1561 return (success);
1564 #endif
1566 static int
1567 demangle_template_template_parm (struct work_stuff *work,
1568 const char **mangled, string *tname)
1570 int i;
1571 int r;
1572 int need_comma = 0;
1573 int success = 1;
1574 string temp;
1576 string_append (tname, "template <");
1577 /* get size of template parameter list */
1578 if (get_count (mangled, &r))
1580 for (i = 0; i < r; i++)
1582 if (need_comma)
1584 string_append (tname, ", ");
1587 /* Z for type parameters */
1588 if (**mangled == 'Z')
1590 (*mangled)++;
1591 string_append (tname, "class");
1593 /* z for template parameters */
1594 else if (**mangled == 'z')
1596 (*mangled)++;
1597 success =
1598 demangle_template_template_parm (work, mangled, tname);
1599 if (!success)
1601 break;
1604 else
1606 /* temp is initialized in do_type */
1607 success = do_type (work, mangled, &temp);
1608 if (success)
1610 string_appends (tname, &temp);
1612 string_delete(&temp);
1613 if (!success)
1615 break;
1618 need_comma = 1;
1622 if (tname->p[-1] == '>')
1623 string_append (tname, " ");
1624 string_append (tname, "> class");
1625 return (success);
1628 static int
1629 demangle_expression (struct work_stuff *work, const char **mangled,
1630 string *s, type_kind_t tk)
1632 int need_operator = 0;
1633 int success;
1635 success = 1;
1636 string_appendn (s, "(", 1);
1637 (*mangled)++;
1638 while (success && **mangled != 'W' && **mangled != '\0')
1640 if (need_operator)
1642 size_t i;
1643 size_t len;
1645 success = 0;
1647 len = strlen (*mangled);
1649 for (i = 0; i < ARRAY_SIZE (optable); ++i)
1651 size_t l = strlen (optable[i].in);
1653 if (l <= len
1654 && memcmp (optable[i].in, *mangled, l) == 0)
1656 string_appendn (s, " ", 1);
1657 string_append (s, optable[i].out);
1658 string_appendn (s, " ", 1);
1659 success = 1;
1660 (*mangled) += l;
1661 break;
1665 if (!success)
1666 break;
1668 else
1669 need_operator = 1;
1671 success = demangle_template_value_parm (work, mangled, s, tk);
1674 if (**mangled != 'W')
1675 success = 0;
1676 else
1678 string_appendn (s, ")", 1);
1679 (*mangled)++;
1682 return success;
1685 static int
1686 demangle_integral_value (struct work_stuff *work,
1687 const char **mangled, string *s)
1689 int success;
1691 if (**mangled == 'E')
1692 success = demangle_expression (work, mangled, s, tk_integral);
1693 else if (**mangled == 'Q' || **mangled == 'K')
1694 success = demangle_qualified (work, mangled, s, 0, 1);
1695 else
1697 int value;
1699 /* By default, we let the number decide whether we shall consume an
1700 underscore. */
1701 int multidigit_without_leading_underscore = 0;
1702 int leave_following_underscore = 0;
1704 success = 0;
1706 if (**mangled == '_')
1708 if (mangled[0][1] == 'm')
1710 /* Since consume_count_with_underscores does not handle the
1711 `m'-prefix we must do it here, using consume_count and
1712 adjusting underscores: we have to consume the underscore
1713 matching the prepended one. */
1714 multidigit_without_leading_underscore = 1;
1715 string_appendn (s, "-", 1);
1716 (*mangled) += 2;
1718 else
1720 /* Do not consume a following underscore;
1721 consume_count_with_underscores will consume what
1722 should be consumed. */
1723 leave_following_underscore = 1;
1726 else
1728 /* Negative numbers are indicated with a leading `m'. */
1729 if (**mangled == 'm')
1731 string_appendn (s, "-", 1);
1732 (*mangled)++;
1734 /* Since consume_count_with_underscores does not handle
1735 multi-digit numbers that do not start with an underscore,
1736 and this number can be an integer template parameter,
1737 we have to call consume_count. */
1738 multidigit_without_leading_underscore = 1;
1739 /* These multi-digit numbers never end on an underscore,
1740 so if there is one then don't eat it. */
1741 leave_following_underscore = 1;
1744 /* We must call consume_count if we expect to remove a trailing
1745 underscore, since consume_count_with_underscores expects
1746 the leading underscore (that we consumed) if it is to handle
1747 multi-digit numbers. */
1748 if (multidigit_without_leading_underscore)
1749 value = consume_count (mangled);
1750 else
1751 value = consume_count_with_underscores (mangled);
1753 if (value != -1)
1755 char buf[INTBUF_SIZE];
1756 sprintf (buf, "%d", value);
1757 string_append (s, buf);
1759 /* Numbers not otherwise delimited, might have an underscore
1760 appended as a delimeter, which we should skip.
1762 ??? This used to always remove a following underscore, which
1763 is wrong. If other (arbitrary) cases are followed by an
1764 underscore, we need to do something more radical. */
1766 if ((value > 9 || multidigit_without_leading_underscore)
1767 && ! leave_following_underscore
1768 && **mangled == '_')
1769 (*mangled)++;
1771 /* All is well. */
1772 success = 1;
1776 return success;
1779 /* Demangle the real value in MANGLED. */
1781 static int
1782 demangle_real_value (struct work_stuff *work,
1783 const char **mangled, string *s)
1785 if (**mangled == 'E')
1786 return demangle_expression (work, mangled, s, tk_real);
1788 if (**mangled == 'm')
1790 string_appendn (s, "-", 1);
1791 (*mangled)++;
1793 while (ISDIGIT ((unsigned char)**mangled))
1795 string_appendn (s, *mangled, 1);
1796 (*mangled)++;
1798 if (**mangled == '.') /* fraction */
1800 string_appendn (s, ".", 1);
1801 (*mangled)++;
1802 while (ISDIGIT ((unsigned char)**mangled))
1804 string_appendn (s, *mangled, 1);
1805 (*mangled)++;
1808 if (**mangled == 'e') /* exponent */
1810 string_appendn (s, "e", 1);
1811 (*mangled)++;
1812 while (ISDIGIT ((unsigned char)**mangled))
1814 string_appendn (s, *mangled, 1);
1815 (*mangled)++;
1819 return 1;
1822 static int
1823 demangle_template_value_parm (struct work_stuff *work, const char **mangled,
1824 string *s, type_kind_t tk)
1826 int success = 1;
1828 if (**mangled == 'Y')
1830 /* The next argument is a template parameter. */
1831 int idx;
1833 (*mangled)++;
1834 idx = consume_count_with_underscores (mangled);
1835 if (idx == -1
1836 || (work->tmpl_argvec && idx >= work->ntmpl_args)
1837 || consume_count_with_underscores (mangled) == -1)
1838 return -1;
1839 if (work->tmpl_argvec)
1840 string_append (s, work->tmpl_argvec[idx]);
1841 else
1842 string_append_template_idx (s, idx);
1844 else if (tk == tk_integral)
1845 success = demangle_integral_value (work, mangled, s);
1846 else if (tk == tk_char)
1848 char tmp[2];
1849 int val;
1850 if (**mangled == 'm')
1852 string_appendn (s, "-", 1);
1853 (*mangled)++;
1855 string_appendn (s, "'", 1);
1856 val = consume_count(mangled);
1857 if (val <= 0)
1858 success = 0;
1859 else
1861 tmp[0] = (char)val;
1862 tmp[1] = '\0';
1863 string_appendn (s, &tmp[0], 1);
1864 string_appendn (s, "'", 1);
1867 else if (tk == tk_bool)
1869 int val = consume_count (mangled);
1870 if (val == 0)
1871 string_appendn (s, "false", 5);
1872 else if (val == 1)
1873 string_appendn (s, "true", 4);
1874 else
1875 success = 0;
1877 else if (tk == tk_real)
1878 success = demangle_real_value (work, mangled, s);
1879 else if (tk == tk_pointer || tk == tk_reference)
1881 if (**mangled == 'Q')
1882 success = demangle_qualified (work, mangled, s,
1883 /*isfuncname=*/0,
1884 /*append=*/1);
1885 else
1887 int symbol_len = consume_count (mangled);
1888 if (symbol_len == -1)
1889 return -1;
1890 if (symbol_len == 0)
1891 string_appendn (s, "0", 1);
1892 else
1894 char *p = XNEWVEC (char, symbol_len + 1), *q;
1895 strncpy (p, *mangled, symbol_len);
1896 p [symbol_len] = '\0';
1897 /* We use cplus_demangle here, rather than
1898 internal_cplus_demangle, because the name of the entity
1899 mangled here does not make use of any of the squangling
1900 or type-code information we have built up thus far; it is
1901 mangled independently. */
1902 q = cplus_demangle (p, work->options);
1903 if (tk == tk_pointer)
1904 string_appendn (s, "&", 1);
1905 /* FIXME: Pointer-to-member constants should get a
1906 qualifying class name here. */
1907 if (q)
1909 string_append (s, q);
1910 free (q);
1912 else
1913 string_append (s, p);
1914 free (p);
1916 *mangled += symbol_len;
1920 return success;
1923 /* Demangle the template name in MANGLED. The full name of the
1924 template (e.g., S<int>) is placed in TNAME. The name without the
1925 template parameters (e.g. S) is placed in TRAWNAME if TRAWNAME is
1926 non-NULL. If IS_TYPE is nonzero, this template is a type template,
1927 not a function template. If both IS_TYPE and REMEMBER are nonzero,
1928 the template is remembered in the list of back-referenceable
1929 types. */
1931 static int
1932 demangle_template (struct work_stuff *work, const char **mangled,
1933 string *tname, string *trawname,
1934 int is_type, int remember)
1936 int i;
1937 int r;
1938 int need_comma = 0;
1939 int success = 0;
1940 int is_java_array = 0;
1941 string temp;
1943 (*mangled)++;
1944 if (is_type)
1946 /* get template name */
1947 if (**mangled == 'z')
1949 int idx;
1950 (*mangled)++;
1951 (*mangled)++;
1953 idx = consume_count_with_underscores (mangled);
1954 if (idx == -1
1955 || (work->tmpl_argvec && idx >= work->ntmpl_args)
1956 || consume_count_with_underscores (mangled) == -1)
1957 return (0);
1959 if (work->tmpl_argvec)
1961 string_append (tname, work->tmpl_argvec[idx]);
1962 if (trawname)
1963 string_append (trawname, work->tmpl_argvec[idx]);
1965 else
1967 string_append_template_idx (tname, idx);
1968 if (trawname)
1969 string_append_template_idx (trawname, idx);
1972 else
1974 if ((r = consume_count (mangled)) <= 0
1975 || (int) strlen (*mangled) < r)
1977 return (0);
1979 is_java_array = (work -> options & DMGL_JAVA)
1980 && strncmp (*mangled, "JArray1Z", 8) == 0;
1981 if (! is_java_array)
1983 string_appendn (tname, *mangled, r);
1985 if (trawname)
1986 string_appendn (trawname, *mangled, r);
1987 *mangled += r;
1990 if (!is_java_array)
1991 string_append (tname, "<");
1992 /* get size of template parameter list */
1993 if (!get_count (mangled, &r))
1995 return (0);
1997 if (!is_type)
1999 /* Create an array for saving the template argument values. */
2000 work->tmpl_argvec = XNEWVEC (char *, r);
2001 work->ntmpl_args = r;
2002 for (i = 0; i < r; i++)
2003 work->tmpl_argvec[i] = 0;
2005 for (i = 0; i < r; i++)
2007 if (need_comma)
2009 string_append (tname, ", ");
2011 /* Z for type parameters */
2012 if (**mangled == 'Z')
2014 (*mangled)++;
2015 /* temp is initialized in do_type */
2016 success = do_type (work, mangled, &temp);
2017 if (success)
2019 string_appends (tname, &temp);
2021 if (!is_type)
2023 /* Save the template argument. */
2024 int len = temp.p - temp.b;
2025 work->tmpl_argvec[i] = XNEWVEC (char, len + 1);
2026 memcpy (work->tmpl_argvec[i], temp.b, len);
2027 work->tmpl_argvec[i][len] = '\0';
2030 string_delete(&temp);
2031 if (!success)
2033 break;
2036 /* z for template parameters */
2037 else if (**mangled == 'z')
2039 int r2;
2040 (*mangled)++;
2041 success = demangle_template_template_parm (work, mangled, tname);
2043 if (success
2044 && (r2 = consume_count (mangled)) > 0
2045 && (int) strlen (*mangled) >= r2)
2047 string_append (tname, " ");
2048 string_appendn (tname, *mangled, r2);
2049 if (!is_type)
2051 /* Save the template argument. */
2052 int len = r2;
2053 work->tmpl_argvec[i] = XNEWVEC (char, len + 1);
2054 memcpy (work->tmpl_argvec[i], *mangled, len);
2055 work->tmpl_argvec[i][len] = '\0';
2057 *mangled += r2;
2059 if (!success)
2061 break;
2064 else
2066 string param;
2067 string* s;
2069 /* otherwise, value parameter */
2071 /* temp is initialized in do_type */
2072 success = do_type (work, mangled, &temp);
2073 string_delete(&temp);
2074 if (!success)
2075 break;
2077 if (!is_type)
2079 s = &param;
2080 string_init (s);
2082 else
2083 s = tname;
2085 success = demangle_template_value_parm (work, mangled, s,
2086 (type_kind_t) success);
2088 if (!success)
2090 if (!is_type)
2091 string_delete (s);
2092 success = 0;
2093 break;
2096 if (!is_type)
2098 int len = s->p - s->b;
2099 work->tmpl_argvec[i] = XNEWVEC (char, len + 1);
2100 memcpy (work->tmpl_argvec[i], s->b, len);
2101 work->tmpl_argvec[i][len] = '\0';
2103 string_appends (tname, s);
2104 string_delete (s);
2107 need_comma = 1;
2109 if (is_java_array)
2111 string_append (tname, "[]");
2113 else
2115 if (tname->p[-1] == '>')
2116 string_append (tname, " ");
2117 string_append (tname, ">");
2120 if (is_type && remember)
2122 const int bindex = register_Btype (work);
2123 remember_Btype (work, tname->b, LEN_STRING (tname), bindex);
2127 if (work -> static_type)
2129 string_append (declp, *mangled + 1);
2130 *mangled += strlen (*mangled);
2131 success = 1;
2133 else
2135 success = demangle_args (work, mangled, declp);
2139 return (success);
2142 static int
2143 arm_pt (struct work_stuff *work, const char *mangled,
2144 int n, const char **anchor, const char **args)
2146 /* Check if ARM template with "__pt__" in it ("parameterized type") */
2147 /* Allow HP also here, because HP's cfront compiler follows ARM to some extent */
2148 if ((ARM_DEMANGLING || HP_DEMANGLING) && (*anchor = strstr (mangled, "__pt__")))
2150 int len;
2151 *args = *anchor + 6;
2152 len = consume_count (args);
2153 if (len == -1)
2154 return 0;
2155 if (*args + len == mangled + n && **args == '_')
2157 ++*args;
2158 return 1;
2161 if (AUTO_DEMANGLING || EDG_DEMANGLING)
2163 if ((*anchor = strstr (mangled, "__tm__"))
2164 || (*anchor = strstr (mangled, "__ps__"))
2165 || (*anchor = strstr (mangled, "__pt__")))
2167 int len;
2168 *args = *anchor + 6;
2169 len = consume_count (args);
2170 if (len == -1)
2171 return 0;
2172 if (*args + len == mangled + n && **args == '_')
2174 ++*args;
2175 return 1;
2178 else if ((*anchor = strstr (mangled, "__S")))
2180 int len;
2181 *args = *anchor + 3;
2182 len = consume_count (args);
2183 if (len == -1)
2184 return 0;
2185 if (*args + len == mangled + n && **args == '_')
2187 ++*args;
2188 return 1;
2193 return 0;
2196 static void
2197 demangle_arm_hp_template (struct work_stuff *work, const char **mangled,
2198 int n, string *declp)
2200 const char *p;
2201 const char *args;
2202 const char *e = *mangled + n;
2203 string arg;
2205 /* Check for HP aCC template spec: classXt1t2 where t1, t2 are
2206 template args */
2207 if (HP_DEMANGLING && ((*mangled)[n] == 'X'))
2209 char *start_spec_args = NULL;
2210 int hold_options;
2212 /* First check for and omit template specialization pseudo-arguments,
2213 such as in "Spec<#1,#1.*>" */
2214 start_spec_args = strchr (*mangled, '<');
2215 if (start_spec_args && (start_spec_args - *mangled < n))
2216 string_appendn (declp, *mangled, start_spec_args - *mangled);
2217 else
2218 string_appendn (declp, *mangled, n);
2219 (*mangled) += n + 1;
2220 string_init (&arg);
2221 if (work->temp_start == -1) /* non-recursive call */
2222 work->temp_start = declp->p - declp->b;
2224 /* We want to unconditionally demangle parameter types in
2225 template parameters. */
2226 hold_options = work->options;
2227 work->options |= DMGL_PARAMS;
2229 string_append (declp, "<");
2230 while (1)
2232 string_delete (&arg);
2233 switch (**mangled)
2235 case 'T':
2236 /* 'T' signals a type parameter */
2237 (*mangled)++;
2238 if (!do_type (work, mangled, &arg))
2239 goto hpacc_template_args_done;
2240 break;
2242 case 'U':
2243 case 'S':
2244 /* 'U' or 'S' signals an integral value */
2245 if (!do_hpacc_template_const_value (work, mangled, &arg))
2246 goto hpacc_template_args_done;
2247 break;
2249 case 'A':
2250 /* 'A' signals a named constant expression (literal) */
2251 if (!do_hpacc_template_literal (work, mangled, &arg))
2252 goto hpacc_template_args_done;
2253 break;
2255 default:
2256 /* Today, 1997-09-03, we have only the above types
2257 of template parameters */
2258 /* FIXME: maybe this should fail and return null */
2259 goto hpacc_template_args_done;
2261 string_appends (declp, &arg);
2262 /* Check if we're at the end of template args.
2263 0 if at end of static member of template class,
2264 _ if done with template args for a function */
2265 if ((**mangled == '\000') || (**mangled == '_'))
2266 break;
2267 else
2268 string_append (declp, ",");
2270 hpacc_template_args_done:
2271 string_append (declp, ">");
2272 string_delete (&arg);
2273 if (**mangled == '_')
2274 (*mangled)++;
2275 work->options = hold_options;
2276 return;
2278 /* ARM template? (Also handles HP cfront extensions) */
2279 else if (arm_pt (work, *mangled, n, &p, &args))
2281 int hold_options;
2282 string type_str;
2284 string_init (&arg);
2285 string_appendn (declp, *mangled, p - *mangled);
2286 if (work->temp_start == -1) /* non-recursive call */
2287 work->temp_start = declp->p - declp->b;
2289 /* We want to unconditionally demangle parameter types in
2290 template parameters. */
2291 hold_options = work->options;
2292 work->options |= DMGL_PARAMS;
2294 string_append (declp, "<");
2295 /* should do error checking here */
2296 while (args < e) {
2297 string_delete (&arg);
2299 /* Check for type or literal here */
2300 switch (*args)
2302 /* HP cfront extensions to ARM for template args */
2303 /* spec: Xt1Lv1 where t1 is a type, v1 is a literal value */
2304 /* FIXME: We handle only numeric literals for HP cfront */
2305 case 'X':
2306 /* A typed constant value follows */
2307 args++;
2308 if (!do_type (work, &args, &type_str))
2309 goto cfront_template_args_done;
2310 string_append (&arg, "(");
2311 string_appends (&arg, &type_str);
2312 string_delete (&type_str);
2313 string_append (&arg, ")");
2314 if (*args != 'L')
2315 goto cfront_template_args_done;
2316 args++;
2317 /* Now snarf a literal value following 'L' */
2318 if (!snarf_numeric_literal (&args, &arg))
2319 goto cfront_template_args_done;
2320 break;
2322 case 'L':
2323 /* Snarf a literal following 'L' */
2324 args++;
2325 if (!snarf_numeric_literal (&args, &arg))
2326 goto cfront_template_args_done;
2327 break;
2328 default:
2329 /* Not handling other HP cfront stuff */
2331 const char* old_args = args;
2332 if (!do_type (work, &args, &arg))
2333 goto cfront_template_args_done;
2335 /* Fail if we didn't make any progress: prevent infinite loop. */
2336 if (args == old_args)
2338 work->options = hold_options;
2339 return;
2343 string_appends (declp, &arg);
2344 string_append (declp, ",");
2346 cfront_template_args_done:
2347 string_delete (&arg);
2348 if (args >= e)
2349 --declp->p; /* remove extra comma */
2350 string_append (declp, ">");
2351 work->options = hold_options;
2353 else if (n>10 && strncmp (*mangled, "_GLOBAL_", 8) == 0
2354 && (*mangled)[9] == 'N'
2355 && (*mangled)[8] == (*mangled)[10]
2356 && strchr (cplus_markers, (*mangled)[8]))
2358 /* A member of the anonymous namespace. */
2359 string_append (declp, "{anonymous}");
2361 else
2363 if (work->temp_start == -1) /* non-recursive call only */
2364 work->temp_start = 0; /* disable in recursive calls */
2365 string_appendn (declp, *mangled, n);
2367 *mangled += n;
2370 /* Extract a class name, possibly a template with arguments, from the
2371 mangled string; qualifiers, local class indicators, etc. have
2372 already been dealt with */
2374 static int
2375 demangle_class_name (struct work_stuff *work, const char **mangled,
2376 string *declp)
2378 int n;
2379 int success = 0;
2381 n = consume_count (mangled);
2382 if (n == -1)
2383 return 0;
2384 if ((int) strlen (*mangled) >= n)
2386 demangle_arm_hp_template (work, mangled, n, declp);
2387 success = 1;
2390 return (success);
2395 LOCAL FUNCTION
2397 demangle_class -- demangle a mangled class sequence
2399 SYNOPSIS
2401 static int
2402 demangle_class (struct work_stuff *work, const char **mangled,
2403 strint *declp)
2405 DESCRIPTION
2407 DECLP points to the buffer into which demangling is being done.
2409 *MANGLED points to the current token to be demangled. On input,
2410 it points to a mangled class (I.E. "3foo", "13verylongclass", etc.)
2411 On exit, it points to the next token after the mangled class on
2412 success, or the first unconsumed token on failure.
2414 If the CONSTRUCTOR or DESTRUCTOR flags are set in WORK, then
2415 we are demangling a constructor or destructor. In this case
2416 we prepend "class::class" or "class::~class" to DECLP.
2418 Otherwise, we prepend "class::" to the current DECLP.
2420 Reset the constructor/destructor flags once they have been
2421 "consumed". This allows demangle_class to be called later during
2422 the same demangling, to do normal class demangling.
2424 Returns 1 if demangling is successful, 0 otherwise.
2428 static int
2429 demangle_class (struct work_stuff *work, const char **mangled, string *declp)
2431 int success = 0;
2432 int btype;
2433 string class_name;
2434 char *save_class_name_end = 0;
2436 string_init (&class_name);
2437 btype = register_Btype (work);
2438 if (demangle_class_name (work, mangled, &class_name))
2440 save_class_name_end = class_name.p;
2441 if ((work->constructor & 1) || (work->destructor & 1))
2443 /* adjust so we don't include template args */
2444 if (work->temp_start && (work->temp_start != -1))
2446 class_name.p = class_name.b + work->temp_start;
2448 string_prepends (declp, &class_name);
2449 if (work -> destructor & 1)
2451 string_prepend (declp, "~");
2452 work -> destructor -= 1;
2454 else
2456 work -> constructor -= 1;
2459 class_name.p = save_class_name_end;
2460 remember_Ktype (work, class_name.b, LEN_STRING(&class_name));
2461 remember_Btype (work, class_name.b, LEN_STRING(&class_name), btype);
2462 string_prepend (declp, SCOPE_STRING (work));
2463 string_prepends (declp, &class_name);
2464 success = 1;
2466 string_delete (&class_name);
2467 return (success);
2471 /* Called when there's a "__" in the mangled name, with `scan' pointing to
2472 the rightmost guess.
2474 Find the correct "__"-sequence where the function name ends and the
2475 signature starts, which is ambiguous with GNU mangling.
2476 Call demangle_signature here, so we can make sure we found the right
2477 one; *mangled will be consumed so caller will not make further calls to
2478 demangle_signature. */
2480 static int
2481 iterate_demangle_function (struct work_stuff *work, const char **mangled,
2482 string *declp, const char *scan)
2484 const char *mangle_init = *mangled;
2485 int success = 0;
2486 string decl_init;
2487 struct work_stuff work_init;
2489 if (*(scan + 2) == '\0')
2490 return 0;
2492 /* Do not iterate for some demangling modes, or if there's only one
2493 "__"-sequence. This is the normal case. */
2494 if (ARM_DEMANGLING || LUCID_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING
2495 || strstr (scan + 2, "__") == NULL)
2497 demangle_function_name (work, mangled, declp, scan);
2498 return 1;
2501 /* Save state so we can restart if the guess at the correct "__" was
2502 wrong. */
2503 string_init (&decl_init);
2504 string_appends (&decl_init, declp);
2505 memset (&work_init, 0, sizeof work_init);
2506 work_stuff_copy_to_from (&work_init, work);
2508 /* Iterate over occurrences of __, allowing names and types to have a
2509 "__" sequence in them. We must start with the first (not the last)
2510 occurrence, since "__" most often occur between independent mangled
2511 parts, hence starting at the last occurence inside a signature
2512 might get us a "successful" demangling of the signature. */
2514 while (scan[2])
2516 demangle_function_name (work, mangled, declp, scan);
2517 success = demangle_signature (work, mangled, declp);
2518 if (success)
2519 break;
2521 /* Reset demangle state for the next round. */
2522 *mangled = mangle_init;
2523 string_clear (declp);
2524 string_appends (declp, &decl_init);
2525 work_stuff_copy_to_from (work, &work_init);
2527 /* Leave this underscore-sequence. */
2528 scan += 2;
2530 /* Scan for the next "__" sequence. */
2531 while (*scan && (scan[0] != '_' || scan[1] != '_'))
2532 scan++;
2534 /* Move to last "__" in this sequence. */
2535 while (*scan && *scan == '_')
2536 scan++;
2537 scan -= 2;
2540 /* Delete saved state. */
2541 delete_work_stuff (&work_init);
2542 string_delete (&decl_init);
2544 return success;
2549 LOCAL FUNCTION
2551 demangle_prefix -- consume the mangled name prefix and find signature
2553 SYNOPSIS
2555 static int
2556 demangle_prefix (struct work_stuff *work, const char **mangled,
2557 string *declp);
2559 DESCRIPTION
2561 Consume and demangle the prefix of the mangled name.
2562 While processing the function name root, arrange to call
2563 demangle_signature if the root is ambiguous.
2565 DECLP points to the string buffer into which demangled output is
2566 placed. On entry, the buffer is empty. On exit it contains
2567 the root function name, the demangled operator name, or in some
2568 special cases either nothing or the completely demangled result.
2570 MANGLED points to the current pointer into the mangled name. As each
2571 token of the mangled name is consumed, it is updated. Upon entry
2572 the current mangled name pointer points to the first character of
2573 the mangled name. Upon exit, it should point to the first character
2574 of the signature if demangling was successful, or to the first
2575 unconsumed character if demangling of the prefix was unsuccessful.
2577 Returns 1 on success, 0 otherwise.
2580 static int
2581 demangle_prefix (struct work_stuff *work, const char **mangled,
2582 string *declp)
2584 int success = 1;
2585 const char *scan;
2586 int i;
2588 if (strlen(*mangled) > 6
2589 && (strncmp(*mangled, "_imp__", 6) == 0
2590 || strncmp(*mangled, "__imp_", 6) == 0))
2592 /* it's a symbol imported from a PE dynamic library. Check for both
2593 new style prefix _imp__ and legacy __imp_ used by older versions
2594 of dlltool. */
2595 (*mangled) += 6;
2596 work->dllimported = 1;
2598 else if (strlen(*mangled) >= 11 && strncmp(*mangled, "_GLOBAL_", 8) == 0)
2600 char *marker = strchr (cplus_markers, (*mangled)[8]);
2601 if (marker != NULL && *marker == (*mangled)[10])
2603 if ((*mangled)[9] == 'D')
2605 /* it's a GNU global destructor to be executed at program exit */
2606 (*mangled) += 11;
2607 work->destructor = 2;
2608 if (gnu_special (work, mangled, declp))
2609 return success;
2611 else if ((*mangled)[9] == 'I')
2613 /* it's a GNU global constructor to be executed at program init */
2614 (*mangled) += 11;
2615 work->constructor = 2;
2616 if (gnu_special (work, mangled, declp))
2617 return success;
2621 else if ((ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING) && strncmp(*mangled, "__std__", 7) == 0)
2623 /* it's a ARM global destructor to be executed at program exit */
2624 (*mangled) += 7;
2625 work->destructor = 2;
2627 else if ((ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING) && strncmp(*mangled, "__sti__", 7) == 0)
2629 /* it's a ARM global constructor to be executed at program initial */
2630 (*mangled) += 7;
2631 work->constructor = 2;
2634 /* This block of code is a reduction in strength time optimization
2636 scan = strstr (*mangled, "__"); */
2639 scan = *mangled;
2641 do {
2642 scan = strchr (scan, '_');
2643 } while (scan != NULL && *++scan != '_');
2645 if (scan != NULL) --scan;
2648 if (scan != NULL)
2650 /* We found a sequence of two or more '_', ensure that we start at
2651 the last pair in the sequence. */
2652 i = strspn (scan, "_");
2653 if (i > 2)
2655 scan += (i - 2);
2659 if (scan == NULL)
2661 success = 0;
2663 else if (work -> static_type)
2665 if (!ISDIGIT ((unsigned char)scan[0]) && (scan[0] != 't'))
2667 success = 0;
2670 else if ((scan == *mangled)
2671 && (ISDIGIT ((unsigned char)scan[2]) || (scan[2] == 'Q')
2672 || (scan[2] == 't') || (scan[2] == 'K') || (scan[2] == 'H')))
2674 /* The ARM says nothing about the mangling of local variables.
2675 But cfront mangles local variables by prepending __<nesting_level>
2676 to them. As an extension to ARM demangling we handle this case. */
2677 if ((LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING)
2678 && ISDIGIT ((unsigned char)scan[2]))
2680 *mangled = scan + 2;
2681 consume_count (mangled);
2682 string_append (declp, *mangled);
2683 *mangled += strlen (*mangled);
2684 success = 1;
2686 else
2688 /* A GNU style constructor starts with __[0-9Qt]. But cfront uses
2689 names like __Q2_3foo3bar for nested type names. So don't accept
2690 this style of constructor for cfront demangling. A GNU
2691 style member-template constructor starts with 'H'. */
2692 if (!(LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING))
2693 work -> constructor += 1;
2694 *mangled = scan + 2;
2697 else if (ARM_DEMANGLING && scan[2] == 'p' && scan[3] == 't')
2699 /* Cfront-style parameterized type. Handled later as a signature. */
2700 success = 1;
2702 /* ARM template? */
2703 demangle_arm_hp_template (work, mangled, strlen (*mangled), declp);
2705 else if (EDG_DEMANGLING && ((scan[2] == 't' && scan[3] == 'm')
2706 || (scan[2] == 'p' && scan[3] == 's')
2707 || (scan[2] == 'p' && scan[3] == 't')))
2709 /* EDG-style parameterized type. Handled later as a signature. */
2710 success = 1;
2712 /* EDG template? */
2713 demangle_arm_hp_template (work, mangled, strlen (*mangled), declp);
2715 else if ((scan == *mangled) && !ISDIGIT ((unsigned char)scan[2])
2716 && (scan[2] != 't'))
2718 /* Mangled name starts with "__". Skip over any leading '_' characters,
2719 then find the next "__" that separates the prefix from the signature.
2721 if (!(ARM_DEMANGLING || LUCID_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
2722 || (arm_special (mangled, declp) == 0))
2724 while (*scan == '_')
2726 scan++;
2728 if ((scan = strstr (scan, "__")) == NULL || (*(scan + 2) == '\0'))
2730 /* No separator (I.E. "__not_mangled"), or empty signature
2731 (I.E. "__not_mangled_either__") */
2732 success = 0;
2734 else
2735 return iterate_demangle_function (work, mangled, declp, scan);
2738 else if (*(scan + 2) != '\0')
2740 /* Mangled name does not start with "__" but does have one somewhere
2741 in there with non empty stuff after it. Looks like a global
2742 function name. Iterate over all "__":s until the right
2743 one is found. */
2744 return iterate_demangle_function (work, mangled, declp, scan);
2746 else
2748 /* Doesn't look like a mangled name */
2749 success = 0;
2752 if (!success && (work->constructor == 2 || work->destructor == 2))
2754 string_append (declp, *mangled);
2755 *mangled += strlen (*mangled);
2756 success = 1;
2758 return (success);
2763 LOCAL FUNCTION
2765 gnu_special -- special handling of gnu mangled strings
2767 SYNOPSIS
2769 static int
2770 gnu_special (struct work_stuff *work, const char **mangled,
2771 string *declp);
2774 DESCRIPTION
2776 Process some special GNU style mangling forms that don't fit
2777 the normal pattern. For example:
2779 _$_3foo (destructor for class foo)
2780 _vt$foo (foo virtual table)
2781 _vt$foo$bar (foo::bar virtual table)
2782 __vt_foo (foo virtual table, new style with thunks)
2783 _3foo$varname (static data member)
2784 _Q22rs2tu$vw (static data member)
2785 __t6vector1Zii (constructor with template)
2786 __thunk_4__$_7ostream (virtual function thunk)
2789 static int
2790 gnu_special (struct work_stuff *work, const char **mangled, string *declp)
2792 int n;
2793 int success = 1;
2794 const char *p;
2796 if ((*mangled)[0] == '_'
2797 && strchr (cplus_markers, (*mangled)[1]) != NULL
2798 && (*mangled)[2] == '_')
2800 /* Found a GNU style destructor, get past "_<CPLUS_MARKER>_" */
2801 (*mangled) += 3;
2802 work -> destructor += 1;
2804 else if ((*mangled)[0] == '_'
2805 && (((*mangled)[1] == '_'
2806 && (*mangled)[2] == 'v'
2807 && (*mangled)[3] == 't'
2808 && (*mangled)[4] == '_')
2809 || ((*mangled)[1] == 'v'
2810 && (*mangled)[2] == 't'
2811 && strchr (cplus_markers, (*mangled)[3]) != NULL)))
2813 /* Found a GNU style virtual table, get past "_vt<CPLUS_MARKER>"
2814 and create the decl. Note that we consume the entire mangled
2815 input string, which means that demangle_signature has no work
2816 to do. */
2817 if ((*mangled)[2] == 'v')
2818 (*mangled) += 5; /* New style, with thunks: "__vt_" */
2819 else
2820 (*mangled) += 4; /* Old style, no thunks: "_vt<CPLUS_MARKER>" */
2821 while (**mangled != '\0')
2823 switch (**mangled)
2825 case 'Q':
2826 case 'K':
2827 success = demangle_qualified (work, mangled, declp, 0, 1);
2828 break;
2829 case 't':
2830 success = demangle_template (work, mangled, declp, 0, 1,
2832 break;
2833 default:
2834 if (ISDIGIT((unsigned char)*mangled[0]))
2836 n = consume_count(mangled);
2837 /* We may be seeing a too-large size, or else a
2838 ".<digits>" indicating a static local symbol. In
2839 any case, declare victory and move on; *don't* try
2840 to use n to allocate. */
2841 if (n > (int) strlen (*mangled))
2843 success = 1;
2844 break;
2847 else
2849 n = strcspn (*mangled, cplus_markers);
2851 string_appendn (declp, *mangled, n);
2852 (*mangled) += n;
2855 p = strpbrk (*mangled, cplus_markers);
2856 if (success && ((p == NULL) || (p == *mangled)))
2858 if (p != NULL)
2860 string_append (declp, SCOPE_STRING (work));
2861 (*mangled)++;
2864 else
2866 success = 0;
2867 break;
2870 if (success)
2871 string_append (declp, " virtual table");
2873 else if ((*mangled)[0] == '_'
2874 && (strchr("0123456789Qt", (*mangled)[1]) != NULL)
2875 && (p = strpbrk (*mangled, cplus_markers)) != NULL)
2877 /* static data member, "_3foo$varname" for example */
2878 (*mangled)++;
2879 switch (**mangled)
2881 case 'Q':
2882 case 'K':
2883 success = demangle_qualified (work, mangled, declp, 0, 1);
2884 break;
2885 case 't':
2886 success = demangle_template (work, mangled, declp, 0, 1, 1);
2887 break;
2888 default:
2889 n = consume_count (mangled);
2890 if (n < 0 || n > (long) strlen (*mangled))
2892 success = 0;
2893 break;
2896 if (n > 10 && strncmp (*mangled, "_GLOBAL_", 8) == 0
2897 && (*mangled)[9] == 'N'
2898 && (*mangled)[8] == (*mangled)[10]
2899 && strchr (cplus_markers, (*mangled)[8]))
2901 /* A member of the anonymous namespace. There's information
2902 about what identifier or filename it was keyed to, but
2903 it's just there to make the mangled name unique; we just
2904 step over it. */
2905 string_append (declp, "{anonymous}");
2906 (*mangled) += n;
2908 /* Now p points to the marker before the N, so we need to
2909 update it to the first marker after what we consumed. */
2910 p = strpbrk (*mangled, cplus_markers);
2911 break;
2914 string_appendn (declp, *mangled, n);
2915 (*mangled) += n;
2917 if (success && (p == *mangled))
2919 /* Consumed everything up to the cplus_marker, append the
2920 variable name. */
2921 (*mangled)++;
2922 string_append (declp, SCOPE_STRING (work));
2923 n = strlen (*mangled);
2924 string_appendn (declp, *mangled, n);
2925 (*mangled) += n;
2927 else
2929 success = 0;
2932 else if (strncmp (*mangled, "__thunk_", 8) == 0)
2934 int delta;
2936 (*mangled) += 8;
2937 delta = consume_count (mangled);
2938 if (delta == -1)
2939 success = 0;
2940 else
2942 char *method = internal_cplus_demangle (work, ++*mangled);
2944 if (method)
2946 char buf[50];
2947 sprintf (buf, "virtual function thunk (delta:%d) for ", -delta);
2948 string_append (declp, buf);
2949 string_append (declp, method);
2950 free (method);
2951 n = strlen (*mangled);
2952 (*mangled) += n;
2954 else
2956 success = 0;
2960 else if (strncmp (*mangled, "__t", 3) == 0
2961 && ((*mangled)[3] == 'i' || (*mangled)[3] == 'f'))
2963 p = (*mangled)[3] == 'i' ? " type_info node" : " type_info function";
2964 (*mangled) += 4;
2965 switch (**mangled)
2967 case 'Q':
2968 case 'K':
2969 success = demangle_qualified (work, mangled, declp, 0, 1);
2970 break;
2971 case 't':
2972 success = demangle_template (work, mangled, declp, 0, 1, 1);
2973 break;
2974 default:
2975 success = do_type (work, mangled, declp);
2976 break;
2978 if (success && **mangled != '\0')
2979 success = 0;
2980 if (success)
2981 string_append (declp, p);
2983 else
2985 success = 0;
2987 return (success);
2990 static void
2991 recursively_demangle(struct work_stuff *work, const char **mangled,
2992 string *result, int namelength)
2994 char * recurse = (char *)NULL;
2995 char * recurse_dem = (char *)NULL;
2997 recurse = XNEWVEC (char, namelength + 1);
2998 memcpy (recurse, *mangled, namelength);
2999 recurse[namelength] = '\000';
3001 recurse_dem = cplus_demangle (recurse, work->options);
3003 if (recurse_dem)
3005 string_append (result, recurse_dem);
3006 free (recurse_dem);
3008 else
3010 string_appendn (result, *mangled, namelength);
3012 free (recurse);
3013 *mangled += namelength;
3018 LOCAL FUNCTION
3020 arm_special -- special handling of ARM/lucid mangled strings
3022 SYNOPSIS
3024 static int
3025 arm_special (const char **mangled,
3026 string *declp);
3029 DESCRIPTION
3031 Process some special ARM style mangling forms that don't fit
3032 the normal pattern. For example:
3034 __vtbl__3foo (foo virtual table)
3035 __vtbl__3foo__3bar (bar::foo virtual table)
3039 static int
3040 arm_special (const char **mangled, string *declp)
3042 int n;
3043 int success = 1;
3044 const char *scan;
3046 if (strncmp (*mangled, ARM_VTABLE_STRING, ARM_VTABLE_STRLEN) == 0)
3048 /* Found a ARM style virtual table, get past ARM_VTABLE_STRING
3049 and create the decl. Note that we consume the entire mangled
3050 input string, which means that demangle_signature has no work
3051 to do. */
3052 scan = *mangled + ARM_VTABLE_STRLEN;
3053 while (*scan != '\0') /* first check it can be demangled */
3055 n = consume_count (&scan);
3056 if (n == -1)
3058 return (0); /* no good */
3060 scan += n;
3061 if (scan[0] == '_' && scan[1] == '_')
3063 scan += 2;
3066 (*mangled) += ARM_VTABLE_STRLEN;
3067 while (**mangled != '\0')
3069 n = consume_count (mangled);
3070 if (n == -1
3071 || n > (long) strlen (*mangled))
3072 return 0;
3073 string_prependn (declp, *mangled, n);
3074 (*mangled) += n;
3075 if ((*mangled)[0] == '_' && (*mangled)[1] == '_')
3077 string_prepend (declp, "::");
3078 (*mangled) += 2;
3081 string_append (declp, " virtual table");
3083 else
3085 success = 0;
3087 return (success);
3092 LOCAL FUNCTION
3094 demangle_qualified -- demangle 'Q' qualified name strings
3096 SYNOPSIS
3098 static int
3099 demangle_qualified (struct work_stuff *, const char *mangled,
3100 string *result, int isfuncname, int append);
3102 DESCRIPTION
3104 Demangle a qualified name, such as "Q25Outer5Inner" which is
3105 the mangled form of "Outer::Inner". The demangled output is
3106 prepended or appended to the result string according to the
3107 state of the append flag.
3109 If isfuncname is nonzero, then the qualified name we are building
3110 is going to be used as a member function name, so if it is a
3111 constructor or destructor function, append an appropriate
3112 constructor or destructor name. I.E. for the above example,
3113 the result for use as a constructor is "Outer::Inner::Inner"
3114 and the result for use as a destructor is "Outer::Inner::~Inner".
3116 BUGS
3118 Numeric conversion is ASCII dependent (FIXME).
3122 static int
3123 demangle_qualified (struct work_stuff *work, const char **mangled,
3124 string *result, int isfuncname, int append)
3126 int qualifiers = 0;
3127 int success = 1;
3128 char num[2];
3129 string temp;
3130 string last_name;
3131 int bindex = register_Btype (work);
3133 /* We only make use of ISFUNCNAME if the entity is a constructor or
3134 destructor. */
3135 isfuncname = (isfuncname
3136 && ((work->constructor & 1) || (work->destructor & 1)));
3138 string_init (&temp);
3139 string_init (&last_name);
3141 if ((*mangled)[0] == 'K')
3143 /* Squangling qualified name reuse */
3144 int idx;
3145 (*mangled)++;
3146 idx = consume_count_with_underscores (mangled);
3147 if (idx == -1 || idx >= work -> numk)
3148 success = 0;
3149 else
3150 string_append (&temp, work -> ktypevec[idx]);
3152 else
3153 switch ((*mangled)[1])
3155 case '_':
3156 /* GNU mangled name with more than 9 classes. The count is preceded
3157 by an underscore (to distinguish it from the <= 9 case) and followed
3158 by an underscore. */
3159 (*mangled)++;
3160 qualifiers = consume_count_with_underscores (mangled);
3161 if (qualifiers == -1)
3162 success = 0;
3163 break;
3165 case '1':
3166 case '2':
3167 case '3':
3168 case '4':
3169 case '5':
3170 case '6':
3171 case '7':
3172 case '8':
3173 case '9':
3174 /* The count is in a single digit. */
3175 num[0] = (*mangled)[1];
3176 num[1] = '\0';
3177 qualifiers = atoi (num);
3179 /* If there is an underscore after the digit, skip it. This is
3180 said to be for ARM-qualified names, but the ARM makes no
3181 mention of such an underscore. Perhaps cfront uses one. */
3182 if ((*mangled)[2] == '_')
3184 (*mangled)++;
3186 (*mangled) += 2;
3187 break;
3189 case '0':
3190 default:
3191 success = 0;
3194 if (!success)
3195 return success;
3197 /* Pick off the names and collect them in the temp buffer in the order
3198 in which they are found, separated by '::'. */
3200 while (qualifiers-- > 0)
3202 int remember_K = 1;
3203 string_clear (&last_name);
3205 if (*mangled[0] == '_')
3206 (*mangled)++;
3208 if (*mangled[0] == 't')
3210 /* Here we always append to TEMP since we will want to use
3211 the template name without the template parameters as a
3212 constructor or destructor name. The appropriate
3213 (parameter-less) value is returned by demangle_template
3214 in LAST_NAME. We do not remember the template type here,
3215 in order to match the G++ mangling algorithm. */
3216 success = demangle_template(work, mangled, &temp,
3217 &last_name, 1, 0);
3218 if (!success)
3219 break;
3221 else if (*mangled[0] == 'K')
3223 int idx;
3224 (*mangled)++;
3225 idx = consume_count_with_underscores (mangled);
3226 if (idx == -1 || idx >= work->numk)
3227 success = 0;
3228 else
3229 string_append (&temp, work->ktypevec[idx]);
3230 remember_K = 0;
3232 if (!success) break;
3234 else
3236 if (EDG_DEMANGLING)
3238 int namelength;
3239 /* Now recursively demangle the qualifier
3240 * This is necessary to deal with templates in
3241 * mangling styles like EDG */
3242 namelength = consume_count (mangled);
3243 if (namelength == -1)
3245 success = 0;
3246 break;
3248 recursively_demangle(work, mangled, &temp, namelength);
3250 else
3252 string_delete (&last_name);
3253 success = do_type (work, mangled, &last_name);
3254 if (!success)
3255 break;
3256 string_appends (&temp, &last_name);
3260 if (remember_K)
3261 remember_Ktype (work, temp.b, LEN_STRING (&temp));
3263 if (qualifiers > 0)
3264 string_append (&temp, SCOPE_STRING (work));
3267 remember_Btype (work, temp.b, LEN_STRING (&temp), bindex);
3269 /* If we are using the result as a function name, we need to append
3270 the appropriate '::' separated constructor or destructor name.
3271 We do this here because this is the most convenient place, where
3272 we already have a pointer to the name and the length of the name. */
3274 if (isfuncname)
3276 string_append (&temp, SCOPE_STRING (work));
3277 if (work -> destructor & 1)
3278 string_append (&temp, "~");
3279 string_appends (&temp, &last_name);
3282 /* Now either prepend the temp buffer to the result, or append it,
3283 depending upon the state of the append flag. */
3285 if (append)
3286 string_appends (result, &temp);
3287 else
3289 if (!STRING_EMPTY (result))
3290 string_append (&temp, SCOPE_STRING (work));
3291 string_prepends (result, &temp);
3294 string_delete (&last_name);
3295 string_delete (&temp);
3296 return (success);
3301 LOCAL FUNCTION
3303 get_count -- convert an ascii count to integer, consuming tokens
3305 SYNOPSIS
3307 static int
3308 get_count (const char **type, int *count)
3310 DESCRIPTION
3312 Assume that *type points at a count in a mangled name; set
3313 *count to its value, and set *type to the next character after
3314 the count. There are some weird rules in effect here.
3316 If *type does not point at a string of digits, return zero.
3318 If *type points at a string of digits followed by an
3319 underscore, set *count to their value as an integer, advance
3320 *type to point *after the underscore, and return 1.
3322 If *type points at a string of digits not followed by an
3323 underscore, consume only the first digit. Set *count to its
3324 value as an integer, leave *type pointing after that digit,
3325 and return 1.
3327 The excuse for this odd behavior: in the ARM and HP demangling
3328 styles, a type can be followed by a repeat count of the form
3329 `Nxy', where:
3331 `x' is a single digit specifying how many additional copies
3332 of the type to append to the argument list, and
3334 `y' is one or more digits, specifying the zero-based index of
3335 the first repeated argument in the list. Yes, as you're
3336 unmangling the name you can figure this out yourself, but
3337 it's there anyway.
3339 So, for example, in `bar__3fooFPiN51', the first argument is a
3340 pointer to an integer (`Pi'), and then the next five arguments
3341 are the same (`N5'), and the first repeat is the function's
3342 second argument (`1').
3345 static int
3346 get_count (const char **type, int *count)
3348 const char *p;
3349 int n;
3351 if (!ISDIGIT ((unsigned char)**type))
3352 return (0);
3353 else
3355 *count = **type - '0';
3356 (*type)++;
3357 if (ISDIGIT ((unsigned char)**type))
3359 p = *type;
3360 n = *count;
3363 n *= 10;
3364 n += *p - '0';
3365 p++;
3367 while (ISDIGIT ((unsigned char)*p));
3368 if (*p == '_')
3370 *type = p + 1;
3371 *count = n;
3375 return (1);
3378 /* RESULT will be initialised here; it will be freed on failure. The
3379 value returned is really a type_kind_t. */
3381 static int
3382 do_type (struct work_stuff *work, const char **mangled, string *result)
3384 int n;
3385 int done;
3386 int success;
3387 string decl;
3388 const char *remembered_type;
3389 int type_quals;
3390 type_kind_t tk = tk_none;
3392 string_init (&decl);
3393 string_init (result);
3395 done = 0;
3396 success = 1;
3397 while (success && !done)
3399 int member;
3400 switch (**mangled)
3403 /* A pointer type */
3404 case 'P':
3405 case 'p':
3406 (*mangled)++;
3407 if (! (work -> options & DMGL_JAVA))
3408 string_prepend (&decl, "*");
3409 if (tk == tk_none)
3410 tk = tk_pointer;
3411 break;
3413 /* A reference type */
3414 case 'R':
3415 (*mangled)++;
3416 string_prepend (&decl, "&");
3417 if (tk == tk_none)
3418 tk = tk_reference;
3419 break;
3421 /* An array */
3422 case 'A':
3424 ++(*mangled);
3425 if (!STRING_EMPTY (&decl)
3426 && (decl.b[0] == '*' || decl.b[0] == '&'))
3428 string_prepend (&decl, "(");
3429 string_append (&decl, ")");
3431 string_append (&decl, "[");
3432 if (**mangled != '_')
3433 success = demangle_template_value_parm (work, mangled, &decl,
3434 tk_integral);
3435 if (**mangled == '_')
3436 ++(*mangled);
3437 string_append (&decl, "]");
3438 break;
3441 /* A back reference to a previously seen type */
3442 case 'T':
3443 (*mangled)++;
3444 if (!get_count (mangled, &n) || n >= work -> ntypes)
3446 success = 0;
3448 else
3450 remembered_type = work -> typevec[n];
3451 mangled = &remembered_type;
3453 break;
3455 /* A function */
3456 case 'F':
3457 (*mangled)++;
3458 if (!STRING_EMPTY (&decl)
3459 && (decl.b[0] == '*' || decl.b[0] == '&'))
3461 string_prepend (&decl, "(");
3462 string_append (&decl, ")");
3464 /* After picking off the function args, we expect to either find the
3465 function return type (preceded by an '_') or the end of the
3466 string. */
3467 if (!demangle_nested_args (work, mangled, &decl)
3468 || (**mangled != '_' && **mangled != '\0'))
3470 success = 0;
3471 break;
3473 if (success && (**mangled == '_'))
3474 (*mangled)++;
3475 break;
3477 case 'M':
3478 case 'O':
3480 type_quals = TYPE_UNQUALIFIED;
3482 member = **mangled == 'M';
3483 (*mangled)++;
3485 string_append (&decl, ")");
3487 /* We don't need to prepend `::' for a qualified name;
3488 demangle_qualified will do that for us. */
3489 if (**mangled != 'Q')
3490 string_prepend (&decl, SCOPE_STRING (work));
3492 if (ISDIGIT ((unsigned char)**mangled))
3494 n = consume_count (mangled);
3495 if (n == -1
3496 || (int) strlen (*mangled) < n)
3498 success = 0;
3499 break;
3501 string_prependn (&decl, *mangled, n);
3502 *mangled += n;
3504 else if (**mangled == 'X' || **mangled == 'Y')
3506 string temp;
3507 do_type (work, mangled, &temp);
3508 string_prepends (&decl, &temp);
3509 string_delete (&temp);
3511 else if (**mangled == 't')
3513 string temp;
3514 string_init (&temp);
3515 success = demangle_template (work, mangled, &temp,
3516 NULL, 1, 1);
3517 if (success)
3519 string_prependn (&decl, temp.b, temp.p - temp.b);
3520 string_delete (&temp);
3522 else
3523 break;
3525 else if (**mangled == 'Q')
3527 success = demangle_qualified (work, mangled, &decl,
3528 /*isfuncnam=*/0,
3529 /*append=*/0);
3530 if (!success)
3531 break;
3533 else
3535 success = 0;
3536 break;
3539 string_prepend (&decl, "(");
3540 if (member)
3542 switch (**mangled)
3544 case 'C':
3545 case 'V':
3546 case 'u':
3547 type_quals |= code_for_qualifier (**mangled);
3548 (*mangled)++;
3549 break;
3551 default:
3552 break;
3555 if (*(*mangled)++ != 'F')
3557 success = 0;
3558 break;
3561 if ((member && !demangle_nested_args (work, mangled, &decl))
3562 || **mangled != '_')
3564 success = 0;
3565 break;
3567 (*mangled)++;
3568 if (! PRINT_ANSI_QUALIFIERS)
3570 break;
3572 if (type_quals != TYPE_UNQUALIFIED)
3574 APPEND_BLANK (&decl);
3575 string_append (&decl, qualifier_string (type_quals));
3577 break;
3579 case 'G':
3580 (*mangled)++;
3581 break;
3583 case 'C':
3584 case 'V':
3585 case 'u':
3586 if (PRINT_ANSI_QUALIFIERS)
3588 if (!STRING_EMPTY (&decl))
3589 string_prepend (&decl, " ");
3591 string_prepend (&decl, demangle_qualifier (**mangled));
3593 (*mangled)++;
3594 break;
3599 /* fall through */
3600 default:
3601 done = 1;
3602 break;
3606 if (success) switch (**mangled)
3608 /* A qualified name, such as "Outer::Inner". */
3609 case 'Q':
3610 case 'K':
3612 success = demangle_qualified (work, mangled, result, 0, 1);
3613 break;
3616 /* A back reference to a previously seen squangled type */
3617 case 'B':
3618 (*mangled)++;
3619 if (!get_count (mangled, &n) || n >= work -> numb)
3620 success = 0;
3621 else
3622 string_append (result, work->btypevec[n]);
3623 break;
3625 case 'X':
3626 case 'Y':
3627 /* A template parm. We substitute the corresponding argument. */
3629 int idx;
3631 (*mangled)++;
3632 idx = consume_count_with_underscores (mangled);
3634 if (idx == -1
3635 || (work->tmpl_argvec && idx >= work->ntmpl_args)
3636 || consume_count_with_underscores (mangled) == -1)
3638 success = 0;
3639 break;
3642 if (work->tmpl_argvec)
3643 string_append (result, work->tmpl_argvec[idx]);
3644 else
3645 string_append_template_idx (result, idx);
3647 success = 1;
3649 break;
3651 default:
3652 success = demangle_fund_type (work, mangled, result);
3653 if (tk == tk_none)
3654 tk = (type_kind_t) success;
3655 break;
3658 if (success)
3660 if (!STRING_EMPTY (&decl))
3662 string_append (result, " ");
3663 string_appends (result, &decl);
3666 else
3667 string_delete (result);
3668 string_delete (&decl);
3670 if (success)
3671 /* Assume an integral type, if we're not sure. */
3672 return (int) ((tk == tk_none) ? tk_integral : tk);
3673 else
3674 return 0;
3677 /* Given a pointer to a type string that represents a fundamental type
3678 argument (int, long, unsigned int, etc) in TYPE, a pointer to the
3679 string in which the demangled output is being built in RESULT, and
3680 the WORK structure, decode the types and add them to the result.
3682 For example:
3684 "Ci" => "const int"
3685 "Sl" => "signed long"
3686 "CUs" => "const unsigned short"
3688 The value returned is really a type_kind_t. */
3690 static int
3691 demangle_fund_type (struct work_stuff *work,
3692 const char **mangled, string *result)
3694 int done = 0;
3695 int success = 1;
3696 char buf[INTBUF_SIZE + 5 /* 'int%u_t' */];
3697 unsigned int dec = 0;
3698 type_kind_t tk = tk_integral;
3700 /* First pick off any type qualifiers. There can be more than one. */
3702 while (!done)
3704 switch (**mangled)
3706 case 'C':
3707 case 'V':
3708 case 'u':
3709 if (PRINT_ANSI_QUALIFIERS)
3711 if (!STRING_EMPTY (result))
3712 string_prepend (result, " ");
3713 string_prepend (result, demangle_qualifier (**mangled));
3715 (*mangled)++;
3716 break;
3717 case 'U':
3718 (*mangled)++;
3719 APPEND_BLANK (result);
3720 string_append (result, "unsigned");
3721 break;
3722 case 'S': /* signed char only */
3723 (*mangled)++;
3724 APPEND_BLANK (result);
3725 string_append (result, "signed");
3726 break;
3727 case 'J':
3728 (*mangled)++;
3729 APPEND_BLANK (result);
3730 string_append (result, "__complex");
3731 break;
3732 default:
3733 done = 1;
3734 break;
3738 /* Now pick off the fundamental type. There can be only one. */
3740 switch (**mangled)
3742 case '\0':
3743 case '_':
3744 break;
3745 case 'v':
3746 (*mangled)++;
3747 APPEND_BLANK (result);
3748 string_append (result, "void");
3749 break;
3750 case 'x':
3751 (*mangled)++;
3752 APPEND_BLANK (result);
3753 string_append (result, "long long");
3754 break;
3755 case 'l':
3756 (*mangled)++;
3757 APPEND_BLANK (result);
3758 string_append (result, "long");
3759 break;
3760 case 'i':
3761 (*mangled)++;
3762 APPEND_BLANK (result);
3763 string_append (result, "int");
3764 break;
3765 case 's':
3766 (*mangled)++;
3767 APPEND_BLANK (result);
3768 string_append (result, "short");
3769 break;
3770 case 'b':
3771 (*mangled)++;
3772 APPEND_BLANK (result);
3773 string_append (result, "bool");
3774 tk = tk_bool;
3775 break;
3776 case 'c':
3777 (*mangled)++;
3778 APPEND_BLANK (result);
3779 string_append (result, "char");
3780 tk = tk_char;
3781 break;
3782 case 'w':
3783 (*mangled)++;
3784 APPEND_BLANK (result);
3785 string_append (result, "wchar_t");
3786 tk = tk_char;
3787 break;
3788 case 'r':
3789 (*mangled)++;
3790 APPEND_BLANK (result);
3791 string_append (result, "long double");
3792 tk = tk_real;
3793 break;
3794 case 'd':
3795 (*mangled)++;
3796 APPEND_BLANK (result);
3797 string_append (result, "double");
3798 tk = tk_real;
3799 break;
3800 case 'f':
3801 (*mangled)++;
3802 APPEND_BLANK (result);
3803 string_append (result, "float");
3804 tk = tk_real;
3805 break;
3806 case 'G':
3807 (*mangled)++;
3808 if (!ISDIGIT ((unsigned char)**mangled))
3810 success = 0;
3811 break;
3813 case 'I':
3814 (*mangled)++;
3815 if (**mangled == '_')
3817 int i;
3818 (*mangled)++;
3819 for (i = 0;
3820 i < (long) sizeof (buf) - 1 && **mangled && **mangled != '_';
3821 (*mangled)++, i++)
3822 buf[i] = **mangled;
3823 if (**mangled != '_')
3825 success = 0;
3826 break;
3828 buf[i] = '\0';
3829 (*mangled)++;
3831 else
3833 strncpy (buf, *mangled, 2);
3834 buf[2] = '\0';
3835 *mangled += min (strlen (*mangled), 2);
3837 sscanf (buf, "%x", &dec);
3838 sprintf (buf, "int%u_t", dec);
3839 APPEND_BLANK (result);
3840 string_append (result, buf);
3841 break;
3843 /* fall through */
3844 /* An explicit type, such as "6mytype" or "7integer" */
3845 case '0':
3846 case '1':
3847 case '2':
3848 case '3':
3849 case '4':
3850 case '5':
3851 case '6':
3852 case '7':
3853 case '8':
3854 case '9':
3856 int bindex = register_Btype (work);
3857 string btype;
3858 string_init (&btype);
3859 if (demangle_class_name (work, mangled, &btype)) {
3860 remember_Btype (work, btype.b, LEN_STRING (&btype), bindex);
3861 APPEND_BLANK (result);
3862 string_appends (result, &btype);
3864 else
3865 success = 0;
3866 string_delete (&btype);
3867 break;
3869 case 't':
3871 string btype;
3872 string_init (&btype);
3873 success = demangle_template (work, mangled, &btype, 0, 1, 1);
3874 string_appends (result, &btype);
3875 string_delete (&btype);
3876 break;
3878 default:
3879 success = 0;
3880 break;
3883 return success ? ((int) tk) : 0;
3887 /* Handle a template's value parameter for HP aCC (extension from ARM)
3888 **mangled points to 'S' or 'U' */
3890 static int
3891 do_hpacc_template_const_value (struct work_stuff *work ATTRIBUTE_UNUSED,
3892 const char **mangled, string *result)
3894 int unsigned_const;
3896 if (**mangled != 'U' && **mangled != 'S')
3897 return 0;
3899 unsigned_const = (**mangled == 'U');
3901 (*mangled)++;
3903 switch (**mangled)
3905 case 'N':
3906 string_append (result, "-");
3907 /* fall through */
3908 case 'P':
3909 (*mangled)++;
3910 break;
3911 case 'M':
3912 /* special case for -2^31 */
3913 string_append (result, "-2147483648");
3914 (*mangled)++;
3915 return 1;
3916 default:
3917 return 0;
3920 /* We have to be looking at an integer now */
3921 if (!(ISDIGIT ((unsigned char)**mangled)))
3922 return 0;
3924 /* We only deal with integral values for template
3925 parameters -- so it's OK to look only for digits */
3926 while (ISDIGIT ((unsigned char)**mangled))
3928 char_str[0] = **mangled;
3929 string_append (result, char_str);
3930 (*mangled)++;
3933 if (unsigned_const)
3934 string_append (result, "U");
3936 /* FIXME? Some day we may have 64-bit (or larger :-) ) constants
3937 with L or LL suffixes. pai/1997-09-03 */
3939 return 1; /* success */
3942 /* Handle a template's literal parameter for HP aCC (extension from ARM)
3943 **mangled is pointing to the 'A' */
3945 static int
3946 do_hpacc_template_literal (struct work_stuff *work, const char **mangled,
3947 string *result)
3949 int literal_len = 0;
3950 char * recurse;
3951 char * recurse_dem;
3953 if (**mangled != 'A')
3954 return 0;
3956 (*mangled)++;
3958 literal_len = consume_count (mangled);
3960 if (literal_len <= 0)
3961 return 0;
3963 /* Literal parameters are names of arrays, functions, etc. and the
3964 canonical representation uses the address operator */
3965 string_append (result, "&");
3967 /* Now recursively demangle the literal name */
3968 recurse = XNEWVEC (char, literal_len + 1);
3969 memcpy (recurse, *mangled, literal_len);
3970 recurse[literal_len] = '\000';
3972 recurse_dem = cplus_demangle (recurse, work->options);
3974 if (recurse_dem)
3976 string_append (result, recurse_dem);
3977 free (recurse_dem);
3979 else
3981 string_appendn (result, *mangled, literal_len);
3983 (*mangled) += literal_len;
3984 free (recurse);
3986 return 1;
3989 static int
3990 snarf_numeric_literal (const char **args, string *arg)
3992 if (**args == '-')
3994 char_str[0] = '-';
3995 string_append (arg, char_str);
3996 (*args)++;
3998 else if (**args == '+')
3999 (*args)++;
4001 if (!ISDIGIT ((unsigned char)**args))
4002 return 0;
4004 while (ISDIGIT ((unsigned char)**args))
4006 char_str[0] = **args;
4007 string_append (arg, char_str);
4008 (*args)++;
4011 return 1;
4014 /* Demangle the next argument, given by MANGLED into RESULT, which
4015 *should be an uninitialized* string. It will be initialized here,
4016 and free'd should anything go wrong. */
4018 static int
4019 do_arg (struct work_stuff *work, const char **mangled, string *result)
4021 /* Remember where we started so that we can record the type, for
4022 non-squangling type remembering. */
4023 const char *start = *mangled;
4025 string_init (result);
4027 if (work->nrepeats > 0)
4029 --work->nrepeats;
4031 if (work->previous_argument == 0)
4032 return 0;
4034 /* We want to reissue the previous type in this argument list. */
4035 string_appends (result, work->previous_argument);
4036 return 1;
4039 if (**mangled == 'n')
4041 /* A squangling-style repeat. */
4042 (*mangled)++;
4043 work->nrepeats = consume_count(mangled);
4045 if (work->nrepeats <= 0)
4046 /* This was not a repeat count after all. */
4047 return 0;
4049 if (work->nrepeats > 9)
4051 if (**mangled != '_')
4052 /* The repeat count should be followed by an '_' in this
4053 case. */
4054 return 0;
4055 else
4056 (*mangled)++;
4059 /* Now, the repeat is all set up. */
4060 return do_arg (work, mangled, result);
4063 /* Save the result in WORK->previous_argument so that we can find it
4064 if it's repeated. Note that saving START is not good enough: we
4065 do not want to add additional types to the back-referenceable
4066 type vector when processing a repeated type. */
4067 if (work->previous_argument)
4068 string_delete (work->previous_argument);
4069 else
4070 work->previous_argument = XNEW (string);
4072 if (!do_type (work, mangled, work->previous_argument))
4073 return 0;
4075 string_appends (result, work->previous_argument);
4077 remember_type (work, start, *mangled - start);
4078 return 1;
4081 static void
4082 remember_type (struct work_stuff *work, const char *start, int len)
4084 char *tem;
4086 if (work->forgetting_types)
4087 return;
4089 if (work -> ntypes >= work -> typevec_size)
4091 if (work -> typevec_size == 0)
4093 work -> typevec_size = 3;
4094 work -> typevec = XNEWVEC (char *, work->typevec_size);
4096 else
4098 work -> typevec_size *= 2;
4099 work -> typevec
4100 = XRESIZEVEC (char *, work->typevec, work->typevec_size);
4103 tem = XNEWVEC (char, len + 1);
4104 memcpy (tem, start, len);
4105 tem[len] = '\0';
4106 work -> typevec[work -> ntypes++] = tem;
4110 /* Remember a K type class qualifier. */
4111 static void
4112 remember_Ktype (struct work_stuff *work, const char *start, int len)
4114 char *tem;
4116 if (work -> numk >= work -> ksize)
4118 if (work -> ksize == 0)
4120 work -> ksize = 5;
4121 work -> ktypevec = XNEWVEC (char *, work->ksize);
4123 else
4125 work -> ksize *= 2;
4126 work -> ktypevec
4127 = XRESIZEVEC (char *, work->ktypevec, work->ksize);
4130 tem = XNEWVEC (char, len + 1);
4131 memcpy (tem, start, len);
4132 tem[len] = '\0';
4133 work -> ktypevec[work -> numk++] = tem;
4136 /* Register a B code, and get an index for it. B codes are registered
4137 as they are seen, rather than as they are completed, so map<temp<char> >
4138 registers map<temp<char> > as B0, and temp<char> as B1 */
4140 static int
4141 register_Btype (struct work_stuff *work)
4143 int ret;
4145 if (work -> numb >= work -> bsize)
4147 if (work -> bsize == 0)
4149 work -> bsize = 5;
4150 work -> btypevec = XNEWVEC (char *, work->bsize);
4152 else
4154 work -> bsize *= 2;
4155 work -> btypevec
4156 = XRESIZEVEC (char *, work->btypevec, work->bsize);
4159 ret = work -> numb++;
4160 work -> btypevec[ret] = NULL;
4161 return(ret);
4164 /* Store a value into a previously registered B code type. */
4166 static void
4167 remember_Btype (struct work_stuff *work, const char *start,
4168 int len, int index)
4170 char *tem;
4172 tem = XNEWVEC (char, len + 1);
4173 memcpy (tem, start, len);
4174 tem[len] = '\0';
4175 work -> btypevec[index] = tem;
4178 /* Lose all the info related to B and K type codes. */
4179 static void
4180 forget_B_and_K_types (struct work_stuff *work)
4182 int i;
4184 while (work -> numk > 0)
4186 i = --(work -> numk);
4187 if (work -> ktypevec[i] != NULL)
4189 free (work -> ktypevec[i]);
4190 work -> ktypevec[i] = NULL;
4194 while (work -> numb > 0)
4196 i = --(work -> numb);
4197 if (work -> btypevec[i] != NULL)
4199 free (work -> btypevec[i]);
4200 work -> btypevec[i] = NULL;
4204 /* Forget the remembered types, but not the type vector itself. */
4206 static void
4207 forget_types (struct work_stuff *work)
4209 int i;
4211 while (work -> ntypes > 0)
4213 i = --(work -> ntypes);
4214 if (work -> typevec[i] != NULL)
4216 free (work -> typevec[i]);
4217 work -> typevec[i] = NULL;
4222 /* Process the argument list part of the signature, after any class spec
4223 has been consumed, as well as the first 'F' character (if any). For
4224 example:
4226 "__als__3fooRT0" => process "RT0"
4227 "complexfunc5__FPFPc_PFl_i" => process "PFPc_PFl_i"
4229 DECLP must be already initialised, usually non-empty. It won't be freed
4230 on failure.
4232 Note that g++ differs significantly from ARM and lucid style mangling
4233 with regards to references to previously seen types. For example, given
4234 the source fragment:
4236 class foo {
4237 public:
4238 foo::foo (int, foo &ia, int, foo &ib, int, foo &ic);
4241 foo::foo (int, foo &ia, int, foo &ib, int, foo &ic) { ia = ib = ic; }
4242 void foo (int, foo &ia, int, foo &ib, int, foo &ic) { ia = ib = ic; }
4244 g++ produces the names:
4246 __3fooiRT0iT2iT2
4247 foo__FiR3fooiT1iT1
4249 while lcc (and presumably other ARM style compilers as well) produces:
4251 foo__FiR3fooT1T2T1T2
4252 __ct__3fooFiR3fooT1T2T1T2
4254 Note that g++ bases its type numbers starting at zero and counts all
4255 previously seen types, while lucid/ARM bases its type numbers starting
4256 at one and only considers types after it has seen the 'F' character
4257 indicating the start of the function args. For lucid/ARM style, we
4258 account for this difference by discarding any previously seen types when
4259 we see the 'F' character, and subtracting one from the type number
4260 reference.
4264 static int
4265 demangle_args (struct work_stuff *work, const char **mangled,
4266 string *declp)
4268 string arg;
4269 int need_comma = 0;
4270 int r;
4271 int t;
4272 const char *tem;
4273 char temptype;
4275 if (PRINT_ARG_TYPES)
4277 string_append (declp, "(");
4278 if (**mangled == '\0')
4280 string_append (declp, "void");
4284 while ((**mangled != '_' && **mangled != '\0' && **mangled != 'e')
4285 || work->nrepeats > 0)
4287 if ((**mangled == 'N') || (**mangled == 'T'))
4289 temptype = *(*mangled)++;
4291 if (temptype == 'N')
4293 if (!get_count (mangled, &r))
4295 return (0);
4298 else
4300 r = 1;
4302 if ((HP_DEMANGLING || ARM_DEMANGLING || EDG_DEMANGLING) && work -> ntypes >= 10)
4304 /* If we have 10 or more types we might have more than a 1 digit
4305 index so we'll have to consume the whole count here. This
4306 will lose if the next thing is a type name preceded by a
4307 count but it's impossible to demangle that case properly
4308 anyway. Eg if we already have 12 types is T12Pc "(..., type1,
4309 Pc, ...)" or "(..., type12, char *, ...)" */
4310 if ((t = consume_count(mangled)) <= 0)
4312 return (0);
4315 else
4317 if (!get_count (mangled, &t))
4319 return (0);
4322 if (LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
4324 t--;
4326 /* Validate the type index. Protect against illegal indices from
4327 malformed type strings. */
4328 if ((t < 0) || (t >= work -> ntypes))
4330 return (0);
4332 while (work->nrepeats > 0 || --r >= 0)
4334 tem = work -> typevec[t];
4335 if (need_comma && PRINT_ARG_TYPES)
4337 string_append (declp, ", ");
4339 if (!do_arg (work, &tem, &arg))
4341 return (0);
4343 if (PRINT_ARG_TYPES)
4345 string_appends (declp, &arg);
4347 string_delete (&arg);
4348 need_comma = 1;
4351 else
4353 if (need_comma && PRINT_ARG_TYPES)
4354 string_append (declp, ", ");
4355 if (!do_arg (work, mangled, &arg))
4356 return (0);
4357 if (PRINT_ARG_TYPES)
4358 string_appends (declp, &arg);
4359 string_delete (&arg);
4360 need_comma = 1;
4364 if (**mangled == 'e')
4366 (*mangled)++;
4367 if (PRINT_ARG_TYPES)
4369 if (need_comma)
4371 string_append (declp, ",");
4373 string_append (declp, "...");
4377 if (PRINT_ARG_TYPES)
4379 string_append (declp, ")");
4381 return (1);
4384 /* Like demangle_args, but for demangling the argument lists of function
4385 and method pointers or references, not top-level declarations. */
4387 static int
4388 demangle_nested_args (struct work_stuff *work, const char **mangled,
4389 string *declp)
4391 string* saved_previous_argument;
4392 int result;
4393 int saved_nrepeats;
4395 /* The G++ name-mangling algorithm does not remember types on nested
4396 argument lists, unless -fsquangling is used, and in that case the
4397 type vector updated by remember_type is not used. So, we turn
4398 off remembering of types here. */
4399 ++work->forgetting_types;
4401 /* For the repeat codes used with -fsquangling, we must keep track of
4402 the last argument. */
4403 saved_previous_argument = work->previous_argument;
4404 saved_nrepeats = work->nrepeats;
4405 work->previous_argument = 0;
4406 work->nrepeats = 0;
4408 /* Actually demangle the arguments. */
4409 result = demangle_args (work, mangled, declp);
4411 /* Restore the previous_argument field. */
4412 if (work->previous_argument)
4414 string_delete (work->previous_argument);
4415 free ((char *) work->previous_argument);
4417 work->previous_argument = saved_previous_argument;
4418 --work->forgetting_types;
4419 work->nrepeats = saved_nrepeats;
4421 return result;
4424 static void
4425 demangle_function_name (struct work_stuff *work, const char **mangled,
4426 string *declp, const char *scan)
4428 size_t i;
4429 string type;
4430 const char *tem;
4432 string_appendn (declp, (*mangled), scan - (*mangled));
4433 string_need (declp, 1);
4434 *(declp -> p) = '\0';
4436 /* Consume the function name, including the "__" separating the name
4437 from the signature. We are guaranteed that SCAN points to the
4438 separator. */
4440 (*mangled) = scan + 2;
4441 /* We may be looking at an instantiation of a template function:
4442 foo__Xt1t2_Ft3t4, where t1, t2, ... are template arguments and a
4443 following _F marks the start of the function arguments. Handle
4444 the template arguments first. */
4446 if (HP_DEMANGLING && (**mangled == 'X'))
4448 demangle_arm_hp_template (work, mangled, 0, declp);
4449 /* This leaves MANGLED pointing to the 'F' marking func args */
4452 if (LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
4455 /* See if we have an ARM style constructor or destructor operator.
4456 If so, then just record it, clear the decl, and return.
4457 We can't build the actual constructor/destructor decl until later,
4458 when we recover the class name from the signature. */
4460 if (strcmp (declp -> b, "__ct") == 0)
4462 work -> constructor += 1;
4463 string_clear (declp);
4464 return;
4466 else if (strcmp (declp -> b, "__dt") == 0)
4468 work -> destructor += 1;
4469 string_clear (declp);
4470 return;
4474 if (declp->p - declp->b >= 3
4475 && declp->b[0] == 'o'
4476 && declp->b[1] == 'p'
4477 && strchr (cplus_markers, declp->b[2]) != NULL)
4479 /* see if it's an assignment expression */
4480 if (declp->p - declp->b >= 10 /* op$assign_ */
4481 && memcmp (declp->b + 3, "assign_", 7) == 0)
4483 for (i = 0; i < ARRAY_SIZE (optable); i++)
4485 int len = declp->p - declp->b - 10;
4486 if ((int) strlen (optable[i].in) == len
4487 && memcmp (optable[i].in, declp->b + 10, len) == 0)
4489 string_clear (declp);
4490 string_append (declp, "operator");
4491 string_append (declp, optable[i].out);
4492 string_append (declp, "=");
4493 break;
4497 else
4499 for (i = 0; i < ARRAY_SIZE (optable); i++)
4501 int len = declp->p - declp->b - 3;
4502 if ((int) strlen (optable[i].in) == len
4503 && memcmp (optable[i].in, declp->b + 3, len) == 0)
4505 string_clear (declp);
4506 string_append (declp, "operator");
4507 string_append (declp, optable[i].out);
4508 break;
4513 else if (declp->p - declp->b >= 5 && memcmp (declp->b, "type", 4) == 0
4514 && strchr (cplus_markers, declp->b[4]) != NULL)
4516 /* type conversion operator */
4517 tem = declp->b + 5;
4518 if (do_type (work, &tem, &type))
4520 string_clear (declp);
4521 string_append (declp, "operator ");
4522 string_appends (declp, &type);
4523 string_delete (&type);
4526 else if (declp->b[0] == '_' && declp->b[1] == '_'
4527 && declp->b[2] == 'o' && declp->b[3] == 'p')
4529 /* ANSI. */
4530 /* type conversion operator. */
4531 tem = declp->b + 4;
4532 if (do_type (work, &tem, &type))
4534 string_clear (declp);
4535 string_append (declp, "operator ");
4536 string_appends (declp, &type);
4537 string_delete (&type);
4540 else if (declp->b[0] == '_' && declp->b[1] == '_'
4541 && ISLOWER((unsigned char)declp->b[2])
4542 && ISLOWER((unsigned char)declp->b[3]))
4544 if (declp->b[4] == '\0')
4546 /* Operator. */
4547 for (i = 0; i < ARRAY_SIZE (optable); i++)
4549 if (strlen (optable[i].in) == 2
4550 && memcmp (optable[i].in, declp->b + 2, 2) == 0)
4552 string_clear (declp);
4553 string_append (declp, "operator");
4554 string_append (declp, optable[i].out);
4555 break;
4559 else
4561 if (declp->b[2] == 'a' && declp->b[5] == '\0')
4563 /* Assignment. */
4564 for (i = 0; i < ARRAY_SIZE (optable); i++)
4566 if (strlen (optable[i].in) == 3
4567 && memcmp (optable[i].in, declp->b + 2, 3) == 0)
4569 string_clear (declp);
4570 string_append (declp, "operator");
4571 string_append (declp, optable[i].out);
4572 break;
4580 /* a mini string-handling package */
4582 static void
4583 string_need (string *s, int n)
4585 int tem;
4587 if (s->b == NULL)
4589 if (n < 32)
4591 n = 32;
4593 s->p = s->b = XNEWVEC (char, n);
4594 s->e = s->b + n;
4596 else if (s->e - s->p < n)
4598 tem = s->p - s->b;
4599 n += tem;
4600 n *= 2;
4601 s->b = XRESIZEVEC (char, s->b, n);
4602 s->p = s->b + tem;
4603 s->e = s->b + n;
4607 static void
4608 string_delete (string *s)
4610 if (s->b != NULL)
4612 free (s->b);
4613 s->b = s->e = s->p = NULL;
4617 static void
4618 string_init (string *s)
4620 s->b = s->p = s->e = NULL;
4623 static void
4624 string_clear (string *s)
4626 s->p = s->b;
4629 #if 0
4631 static int
4632 string_empty (string *s)
4634 return (s->b == s->p);
4637 #endif
4639 static void
4640 string_append (string *p, const char *s)
4642 int n;
4643 if (s == NULL || *s == '\0')
4644 return;
4645 n = strlen (s);
4646 string_need (p, n);
4647 memcpy (p->p, s, n);
4648 p->p += n;
4651 static void
4652 string_appends (string *p, string *s)
4654 int n;
4656 if (s->b != s->p)
4658 n = s->p - s->b;
4659 string_need (p, n);
4660 memcpy (p->p, s->b, n);
4661 p->p += n;
4665 static void
4666 string_appendn (string *p, const char *s, int n)
4668 if (n != 0)
4670 string_need (p, n);
4671 memcpy (p->p, s, n);
4672 p->p += n;
4676 static void
4677 string_prepend (string *p, const char *s)
4679 if (s != NULL && *s != '\0')
4681 string_prependn (p, s, strlen (s));
4685 static void
4686 string_prepends (string *p, string *s)
4688 if (s->b != s->p)
4690 string_prependn (p, s->b, s->p - s->b);
4694 static void
4695 string_prependn (string *p, const char *s, int n)
4697 char *q;
4699 if (n != 0)
4701 string_need (p, n);
4702 for (q = p->p - 1; q >= p->b; q--)
4704 q[n] = q[0];
4706 memcpy (p->b, s, n);
4707 p->p += n;
4711 static void
4712 string_append_template_idx (string *s, int idx)
4714 char buf[INTBUF_SIZE + 1 /* 'T' */];
4715 sprintf(buf, "T%d", idx);
4716 string_append (s, buf);