1*38fd1498Szrj /* Demangler for GNU C++
2*38fd1498Szrj Copyright (C) 1989-2018 Free Software Foundation, Inc.
3*38fd1498Szrj Written by James Clark (jjc@jclark.uucp)
4*38fd1498Szrj Rewritten by Fred Fish (fnf@cygnus.com) for ARM and Lucid demangling
5*38fd1498Szrj Modified by Satish Pai (pai@apollo.hp.com) for HP demangling
6*38fd1498Szrj
7*38fd1498Szrj This file is part of the libiberty library.
8*38fd1498Szrj Libiberty is free software; you can redistribute it and/or
9*38fd1498Szrj modify it under the terms of the GNU Library General Public
10*38fd1498Szrj License as published by the Free Software Foundation; either
11*38fd1498Szrj version 2 of the License, or (at your option) any later version.
12*38fd1498Szrj
13*38fd1498Szrj In addition to the permissions in the GNU Library General Public
14*38fd1498Szrj License, the Free Software Foundation gives you unlimited permission
15*38fd1498Szrj to link the compiled version of this file into combinations with other
16*38fd1498Szrj programs, and to distribute those combinations without any restriction
17*38fd1498Szrj coming from the use of this file. (The Library Public License
18*38fd1498Szrj restrictions do apply in other respects; for example, they cover
19*38fd1498Szrj modification of the file, and distribution when not linked into a
20*38fd1498Szrj combined executable.)
21*38fd1498Szrj
22*38fd1498Szrj Libiberty is distributed in the hope that it will be useful,
23*38fd1498Szrj but WITHOUT ANY WARRANTY; without even the implied warranty of
24*38fd1498Szrj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25*38fd1498Szrj Library General Public License for more details.
26*38fd1498Szrj
27*38fd1498Szrj You should have received a copy of the GNU Library General Public
28*38fd1498Szrj License along with libiberty; see the file COPYING.LIB. If
29*38fd1498Szrj not, write to the Free Software Foundation, Inc., 51 Franklin Street - Fifth Floor,
30*38fd1498Szrj Boston, MA 02110-1301, USA. */
31*38fd1498Szrj
32*38fd1498Szrj /* This file exports two functions; cplus_mangle_opname and cplus_demangle.
33*38fd1498Szrj
34*38fd1498Szrj This file imports xmalloc and xrealloc, which are like malloc and
35*38fd1498Szrj realloc except that they generate a fatal error if there is no
36*38fd1498Szrj available memory. */
37*38fd1498Szrj
38*38fd1498Szrj /* This file lives in both GCC and libiberty. When making changes, please
39*38fd1498Szrj try not to break either. */
40*38fd1498Szrj
41*38fd1498Szrj #ifdef HAVE_CONFIG_H
42*38fd1498Szrj #include "config.h"
43*38fd1498Szrj #endif
44*38fd1498Szrj
45*38fd1498Szrj #include "safe-ctype.h"
46*38fd1498Szrj
47*38fd1498Szrj #include <sys/types.h>
48*38fd1498Szrj #include <string.h>
49*38fd1498Szrj #include <stdio.h>
50*38fd1498Szrj
51*38fd1498Szrj #ifdef HAVE_STDLIB_H
52*38fd1498Szrj #include <stdlib.h>
53*38fd1498Szrj #else
54*38fd1498Szrj void * malloc ();
55*38fd1498Szrj void * realloc ();
56*38fd1498Szrj #endif
57*38fd1498Szrj
58*38fd1498Szrj #ifdef HAVE_LIMITS_H
59*38fd1498Szrj #include <limits.h>
60*38fd1498Szrj #endif
61*38fd1498Szrj #ifndef INT_MAX
62*38fd1498Szrj # define INT_MAX (int)(((unsigned int) ~0) >> 1) /* 0x7FFFFFFF */
63*38fd1498Szrj #endif
64*38fd1498Szrj
65*38fd1498Szrj #include <demangle.h>
66*38fd1498Szrj #undef CURRENT_DEMANGLING_STYLE
67*38fd1498Szrj #define CURRENT_DEMANGLING_STYLE work->options
68*38fd1498Szrj
69*38fd1498Szrj #include "libiberty.h"
70*38fd1498Szrj
71*38fd1498Szrj #define min(X,Y) (((X) < (Y)) ? (X) : (Y))
72*38fd1498Szrj
73*38fd1498Szrj /* A value at least one greater than the maximum number of characters
74*38fd1498Szrj that will be output when using the `%d' format with `printf'. */
75*38fd1498Szrj #define INTBUF_SIZE 32
76*38fd1498Szrj
77*38fd1498Szrj extern void fancy_abort (void) ATTRIBUTE_NORETURN;
78*38fd1498Szrj
79*38fd1498Szrj /* In order to allow a single demangler executable to demangle strings
80*38fd1498Szrj using various common values of CPLUS_MARKER, as well as any specific
81*38fd1498Szrj one set at compile time, we maintain a string containing all the
82*38fd1498Szrj commonly used ones, and check to see if the marker we are looking for
83*38fd1498Szrj is in that string. CPLUS_MARKER is usually '$' on systems where the
84*38fd1498Szrj assembler can deal with that. Where the assembler can't, it's usually
85*38fd1498Szrj '.' (but on many systems '.' is used for other things). We put the
86*38fd1498Szrj current defined CPLUS_MARKER first (which defaults to '$'), followed
87*38fd1498Szrj by the next most common value, followed by an explicit '$' in case
88*38fd1498Szrj the value of CPLUS_MARKER is not '$'.
89*38fd1498Szrj
90*38fd1498Szrj We could avoid this if we could just get g++ to tell us what the actual
91*38fd1498Szrj cplus marker character is as part of the debug information, perhaps by
92*38fd1498Szrj ensuring that it is the character that terminates the gcc<n>_compiled
93*38fd1498Szrj marker symbol (FIXME). */
94*38fd1498Szrj
95*38fd1498Szrj #if !defined (CPLUS_MARKER)
96*38fd1498Szrj #define CPLUS_MARKER '$'
97*38fd1498Szrj #endif
98*38fd1498Szrj
99*38fd1498Szrj enum demangling_styles current_demangling_style = auto_demangling;
100*38fd1498Szrj
101*38fd1498Szrj static char cplus_markers[] = { CPLUS_MARKER, '.', '$', '\0' };
102*38fd1498Szrj
103*38fd1498Szrj static char char_str[2] = { '\000', '\000' };
104*38fd1498Szrj
105*38fd1498Szrj void
set_cplus_marker_for_demangling(int ch)106*38fd1498Szrj set_cplus_marker_for_demangling (int ch)
107*38fd1498Szrj {
108*38fd1498Szrj cplus_markers[0] = ch;
109*38fd1498Szrj }
110*38fd1498Szrj
111*38fd1498Szrj typedef struct string /* Beware: these aren't required to be */
112*38fd1498Szrj { /* '\0' terminated. */
113*38fd1498Szrj char *b; /* pointer to start of string */
114*38fd1498Szrj char *p; /* pointer after last character */
115*38fd1498Szrj char *e; /* pointer after end of allocated space */
116*38fd1498Szrj } string;
117*38fd1498Szrj
118*38fd1498Szrj /* Stuff that is shared between sub-routines.
119*38fd1498Szrj Using a shared structure allows cplus_demangle to be reentrant. */
120*38fd1498Szrj
121*38fd1498Szrj struct work_stuff
122*38fd1498Szrj {
123*38fd1498Szrj int options;
124*38fd1498Szrj char **typevec;
125*38fd1498Szrj char **ktypevec;
126*38fd1498Szrj char **btypevec;
127*38fd1498Szrj int numk;
128*38fd1498Szrj int numb;
129*38fd1498Szrj int ksize;
130*38fd1498Szrj int bsize;
131*38fd1498Szrj int ntypes;
132*38fd1498Szrj int typevec_size;
133*38fd1498Szrj int constructor;
134*38fd1498Szrj int destructor;
135*38fd1498Szrj int static_type; /* A static member function */
136*38fd1498Szrj int temp_start; /* index in demangled to start of template args */
137*38fd1498Szrj int type_quals; /* The type qualifiers. */
138*38fd1498Szrj int dllimported; /* Symbol imported from a PE DLL */
139*38fd1498Szrj char **tmpl_argvec; /* Template function arguments. */
140*38fd1498Szrj int ntmpl_args; /* The number of template function arguments. */
141*38fd1498Szrj int forgetting_types; /* Nonzero if we are not remembering the types
142*38fd1498Szrj we see. */
143*38fd1498Szrj string* previous_argument; /* The last function argument demangled. */
144*38fd1498Szrj int nrepeats; /* The number of times to repeat the previous
145*38fd1498Szrj argument. */
146*38fd1498Szrj int *proctypevec; /* Indices of currently processed remembered typevecs. */
147*38fd1498Szrj int proctypevec_size;
148*38fd1498Szrj int nproctypes;
149*38fd1498Szrj };
150*38fd1498Szrj
151*38fd1498Szrj #define PRINT_ANSI_QUALIFIERS (work -> options & DMGL_ANSI)
152*38fd1498Szrj #define PRINT_ARG_TYPES (work -> options & DMGL_PARAMS)
153*38fd1498Szrj
154*38fd1498Szrj static const struct optable
155*38fd1498Szrj {
156*38fd1498Szrj const char *const in;
157*38fd1498Szrj const char *const out;
158*38fd1498Szrj const int flags;
159*38fd1498Szrj } optable[] = {
160*38fd1498Szrj {"nw", " new", DMGL_ANSI}, /* new (1.92, ansi) */
161*38fd1498Szrj {"dl", " delete", DMGL_ANSI}, /* new (1.92, ansi) */
162*38fd1498Szrj {"new", " new", 0}, /* old (1.91, and 1.x) */
163*38fd1498Szrj {"delete", " delete", 0}, /* old (1.91, and 1.x) */
164*38fd1498Szrj {"vn", " new []", DMGL_ANSI}, /* GNU, pending ansi */
165*38fd1498Szrj {"vd", " delete []", DMGL_ANSI}, /* GNU, pending ansi */
166*38fd1498Szrj {"as", "=", DMGL_ANSI}, /* ansi */
167*38fd1498Szrj {"ne", "!=", DMGL_ANSI}, /* old, ansi */
168*38fd1498Szrj {"eq", "==", DMGL_ANSI}, /* old, ansi */
169*38fd1498Szrj {"ge", ">=", DMGL_ANSI}, /* old, ansi */
170*38fd1498Szrj {"gt", ">", DMGL_ANSI}, /* old, ansi */
171*38fd1498Szrj {"le", "<=", DMGL_ANSI}, /* old, ansi */
172*38fd1498Szrj {"lt", "<", DMGL_ANSI}, /* old, ansi */
173*38fd1498Szrj {"plus", "+", 0}, /* old */
174*38fd1498Szrj {"pl", "+", DMGL_ANSI}, /* ansi */
175*38fd1498Szrj {"apl", "+=", DMGL_ANSI}, /* ansi */
176*38fd1498Szrj {"minus", "-", 0}, /* old */
177*38fd1498Szrj {"mi", "-", DMGL_ANSI}, /* ansi */
178*38fd1498Szrj {"ami", "-=", DMGL_ANSI}, /* ansi */
179*38fd1498Szrj {"mult", "*", 0}, /* old */
180*38fd1498Szrj {"ml", "*", DMGL_ANSI}, /* ansi */
181*38fd1498Szrj {"amu", "*=", DMGL_ANSI}, /* ansi (ARM/Lucid) */
182*38fd1498Szrj {"aml", "*=", DMGL_ANSI}, /* ansi (GNU/g++) */
183*38fd1498Szrj {"convert", "+", 0}, /* old (unary +) */
184*38fd1498Szrj {"negate", "-", 0}, /* old (unary -) */
185*38fd1498Szrj {"trunc_mod", "%", 0}, /* old */
186*38fd1498Szrj {"md", "%", DMGL_ANSI}, /* ansi */
187*38fd1498Szrj {"amd", "%=", DMGL_ANSI}, /* ansi */
188*38fd1498Szrj {"trunc_div", "/", 0}, /* old */
189*38fd1498Szrj {"dv", "/", DMGL_ANSI}, /* ansi */
190*38fd1498Szrj {"adv", "/=", DMGL_ANSI}, /* ansi */
191*38fd1498Szrj {"truth_andif", "&&", 0}, /* old */
192*38fd1498Szrj {"aa", "&&", DMGL_ANSI}, /* ansi */
193*38fd1498Szrj {"truth_orif", "||", 0}, /* old */
194*38fd1498Szrj {"oo", "||", DMGL_ANSI}, /* ansi */
195*38fd1498Szrj {"truth_not", "!", 0}, /* old */
196*38fd1498Szrj {"nt", "!", DMGL_ANSI}, /* ansi */
197*38fd1498Szrj {"postincrement","++", 0}, /* old */
198*38fd1498Szrj {"pp", "++", DMGL_ANSI}, /* ansi */
199*38fd1498Szrj {"postdecrement","--", 0}, /* old */
200*38fd1498Szrj {"mm", "--", DMGL_ANSI}, /* ansi */
201*38fd1498Szrj {"bit_ior", "|", 0}, /* old */
202*38fd1498Szrj {"or", "|", DMGL_ANSI}, /* ansi */
203*38fd1498Szrj {"aor", "|=", DMGL_ANSI}, /* ansi */
204*38fd1498Szrj {"bit_xor", "^", 0}, /* old */
205*38fd1498Szrj {"er", "^", DMGL_ANSI}, /* ansi */
206*38fd1498Szrj {"aer", "^=", DMGL_ANSI}, /* ansi */
207*38fd1498Szrj {"bit_and", "&", 0}, /* old */
208*38fd1498Szrj {"ad", "&", DMGL_ANSI}, /* ansi */
209*38fd1498Szrj {"aad", "&=", DMGL_ANSI}, /* ansi */
210*38fd1498Szrj {"bit_not", "~", 0}, /* old */
211*38fd1498Szrj {"co", "~", DMGL_ANSI}, /* ansi */
212*38fd1498Szrj {"call", "()", 0}, /* old */
213*38fd1498Szrj {"cl", "()", DMGL_ANSI}, /* ansi */
214*38fd1498Szrj {"alshift", "<<", 0}, /* old */
215*38fd1498Szrj {"ls", "<<", DMGL_ANSI}, /* ansi */
216*38fd1498Szrj {"als", "<<=", DMGL_ANSI}, /* ansi */
217*38fd1498Szrj {"arshift", ">>", 0}, /* old */
218*38fd1498Szrj {"rs", ">>", DMGL_ANSI}, /* ansi */
219*38fd1498Szrj {"ars", ">>=", DMGL_ANSI}, /* ansi */
220*38fd1498Szrj {"component", "->", 0}, /* old */
221*38fd1498Szrj {"pt", "->", DMGL_ANSI}, /* ansi; Lucid C++ form */
222*38fd1498Szrj {"rf", "->", DMGL_ANSI}, /* ansi; ARM/GNU form */
223*38fd1498Szrj {"indirect", "*", 0}, /* old */
224*38fd1498Szrj {"method_call", "->()", 0}, /* old */
225*38fd1498Szrj {"addr", "&", 0}, /* old (unary &) */
226*38fd1498Szrj {"array", "[]", 0}, /* old */
227*38fd1498Szrj {"vc", "[]", DMGL_ANSI}, /* ansi */
228*38fd1498Szrj {"compound", ", ", 0}, /* old */
229*38fd1498Szrj {"cm", ", ", DMGL_ANSI}, /* ansi */
230*38fd1498Szrj {"cond", "?:", 0}, /* old */
231*38fd1498Szrj {"cn", "?:", DMGL_ANSI}, /* pseudo-ansi */
232*38fd1498Szrj {"max", ">?", 0}, /* old */
233*38fd1498Szrj {"mx", ">?", DMGL_ANSI}, /* pseudo-ansi */
234*38fd1498Szrj {"min", "<?", 0}, /* old */
235*38fd1498Szrj {"mn", "<?", DMGL_ANSI}, /* pseudo-ansi */
236*38fd1498Szrj {"nop", "", 0}, /* old (for operator=) */
237*38fd1498Szrj {"rm", "->*", DMGL_ANSI}, /* ansi */
238*38fd1498Szrj {"sz", "sizeof ", DMGL_ANSI} /* pseudo-ansi */
239*38fd1498Szrj };
240*38fd1498Szrj
241*38fd1498Szrj /* These values are used to indicate the various type varieties.
242*38fd1498Szrj They are all non-zero so that they can be used as `success'
243*38fd1498Szrj values. */
244*38fd1498Szrj typedef enum type_kind_t
245*38fd1498Szrj {
246*38fd1498Szrj tk_none,
247*38fd1498Szrj tk_pointer,
248*38fd1498Szrj tk_reference,
249*38fd1498Szrj tk_rvalue_reference,
250*38fd1498Szrj tk_integral,
251*38fd1498Szrj tk_bool,
252*38fd1498Szrj tk_char,
253*38fd1498Szrj tk_real
254*38fd1498Szrj } type_kind_t;
255*38fd1498Szrj
256*38fd1498Szrj const struct demangler_engine libiberty_demanglers[] =
257*38fd1498Szrj {
258*38fd1498Szrj {
259*38fd1498Szrj NO_DEMANGLING_STYLE_STRING,
260*38fd1498Szrj no_demangling,
261*38fd1498Szrj "Demangling disabled"
262*38fd1498Szrj }
263*38fd1498Szrj ,
264*38fd1498Szrj {
265*38fd1498Szrj AUTO_DEMANGLING_STYLE_STRING,
266*38fd1498Szrj auto_demangling,
267*38fd1498Szrj "Automatic selection based on executable"
268*38fd1498Szrj }
269*38fd1498Szrj ,
270*38fd1498Szrj {
271*38fd1498Szrj GNU_DEMANGLING_STYLE_STRING,
272*38fd1498Szrj gnu_demangling,
273*38fd1498Szrj "GNU (g++) style demangling"
274*38fd1498Szrj }
275*38fd1498Szrj ,
276*38fd1498Szrj {
277*38fd1498Szrj LUCID_DEMANGLING_STYLE_STRING,
278*38fd1498Szrj lucid_demangling,
279*38fd1498Szrj "Lucid (lcc) style demangling"
280*38fd1498Szrj }
281*38fd1498Szrj ,
282*38fd1498Szrj {
283*38fd1498Szrj ARM_DEMANGLING_STYLE_STRING,
284*38fd1498Szrj arm_demangling,
285*38fd1498Szrj "ARM style demangling"
286*38fd1498Szrj }
287*38fd1498Szrj ,
288*38fd1498Szrj {
289*38fd1498Szrj HP_DEMANGLING_STYLE_STRING,
290*38fd1498Szrj hp_demangling,
291*38fd1498Szrj "HP (aCC) style demangling"
292*38fd1498Szrj }
293*38fd1498Szrj ,
294*38fd1498Szrj {
295*38fd1498Szrj EDG_DEMANGLING_STYLE_STRING,
296*38fd1498Szrj edg_demangling,
297*38fd1498Szrj "EDG style demangling"
298*38fd1498Szrj }
299*38fd1498Szrj ,
300*38fd1498Szrj {
301*38fd1498Szrj GNU_V3_DEMANGLING_STYLE_STRING,
302*38fd1498Szrj gnu_v3_demangling,
303*38fd1498Szrj "GNU (g++) V3 ABI-style demangling"
304*38fd1498Szrj }
305*38fd1498Szrj ,
306*38fd1498Szrj {
307*38fd1498Szrj JAVA_DEMANGLING_STYLE_STRING,
308*38fd1498Szrj java_demangling,
309*38fd1498Szrj "Java style demangling"
310*38fd1498Szrj }
311*38fd1498Szrj ,
312*38fd1498Szrj {
313*38fd1498Szrj GNAT_DEMANGLING_STYLE_STRING,
314*38fd1498Szrj gnat_demangling,
315*38fd1498Szrj "GNAT style demangling"
316*38fd1498Szrj }
317*38fd1498Szrj ,
318*38fd1498Szrj {
319*38fd1498Szrj DLANG_DEMANGLING_STYLE_STRING,
320*38fd1498Szrj dlang_demangling,
321*38fd1498Szrj "DLANG style demangling"
322*38fd1498Szrj }
323*38fd1498Szrj ,
324*38fd1498Szrj {
325*38fd1498Szrj RUST_DEMANGLING_STYLE_STRING,
326*38fd1498Szrj rust_demangling,
327*38fd1498Szrj "Rust style demangling"
328*38fd1498Szrj }
329*38fd1498Szrj ,
330*38fd1498Szrj {
331*38fd1498Szrj NULL, unknown_demangling, NULL
332*38fd1498Szrj }
333*38fd1498Szrj };
334*38fd1498Szrj
335*38fd1498Szrj #define STRING_EMPTY(str) ((str) -> b == (str) -> p)
336*38fd1498Szrj #define APPEND_BLANK(str) {if (!STRING_EMPTY(str)) \
337*38fd1498Szrj string_append(str, " ");}
338*38fd1498Szrj #define LEN_STRING(str) ( (STRING_EMPTY(str))?0:((str)->p - (str)->b))
339*38fd1498Szrj
340*38fd1498Szrj /* The scope separator appropriate for the language being demangled. */
341*38fd1498Szrj
342*38fd1498Szrj #define SCOPE_STRING(work) ((work->options & DMGL_JAVA) ? "." : "::")
343*38fd1498Szrj
344*38fd1498Szrj #define ARM_VTABLE_STRING "__vtbl__" /* Lucid/ARM virtual table prefix */
345*38fd1498Szrj #define ARM_VTABLE_STRLEN 8 /* strlen (ARM_VTABLE_STRING) */
346*38fd1498Szrj
347*38fd1498Szrj /* Prototypes for local functions */
348*38fd1498Szrj
349*38fd1498Szrj static void delete_work_stuff (struct work_stuff *);
350*38fd1498Szrj
351*38fd1498Szrj static void delete_non_B_K_work_stuff (struct work_stuff *);
352*38fd1498Szrj
353*38fd1498Szrj static char *mop_up (struct work_stuff *, string *, int);
354*38fd1498Szrj
355*38fd1498Szrj static void squangle_mop_up (struct work_stuff *);
356*38fd1498Szrj
357*38fd1498Szrj static void work_stuff_copy_to_from (struct work_stuff *, struct work_stuff *);
358*38fd1498Szrj
359*38fd1498Szrj #if 0
360*38fd1498Szrj static int
361*38fd1498Szrj demangle_method_args (struct work_stuff *, const char **, string *);
362*38fd1498Szrj #endif
363*38fd1498Szrj
364*38fd1498Szrj static char *
365*38fd1498Szrj internal_cplus_demangle (struct work_stuff *, const char *);
366*38fd1498Szrj
367*38fd1498Szrj static int
368*38fd1498Szrj demangle_template_template_parm (struct work_stuff *work,
369*38fd1498Szrj const char **, string *);
370*38fd1498Szrj
371*38fd1498Szrj static int
372*38fd1498Szrj demangle_template (struct work_stuff *work, const char **, string *,
373*38fd1498Szrj string *, int, int);
374*38fd1498Szrj
375*38fd1498Szrj static int
376*38fd1498Szrj arm_pt (struct work_stuff *, const char *, int, const char **,
377*38fd1498Szrj const char **);
378*38fd1498Szrj
379*38fd1498Szrj static int
380*38fd1498Szrj demangle_class_name (struct work_stuff *, const char **, string *);
381*38fd1498Szrj
382*38fd1498Szrj static int
383*38fd1498Szrj demangle_qualified (struct work_stuff *, const char **, string *,
384*38fd1498Szrj int, int);
385*38fd1498Szrj
386*38fd1498Szrj static int demangle_class (struct work_stuff *, const char **, string *);
387*38fd1498Szrj
388*38fd1498Szrj static int demangle_fund_type (struct work_stuff *, const char **, string *);
389*38fd1498Szrj
390*38fd1498Szrj static int demangle_signature (struct work_stuff *, const char **, string *);
391*38fd1498Szrj
392*38fd1498Szrj static int demangle_prefix (struct work_stuff *, const char **, string *);
393*38fd1498Szrj
394*38fd1498Szrj static int gnu_special (struct work_stuff *, const char **, string *);
395*38fd1498Szrj
396*38fd1498Szrj static int arm_special (const char **, string *);
397*38fd1498Szrj
398*38fd1498Szrj static void string_need (string *, int);
399*38fd1498Szrj
400*38fd1498Szrj static void string_delete (string *);
401*38fd1498Szrj
402*38fd1498Szrj static void
403*38fd1498Szrj string_init (string *);
404*38fd1498Szrj
405*38fd1498Szrj static void string_clear (string *);
406*38fd1498Szrj
407*38fd1498Szrj #if 0
408*38fd1498Szrj static int string_empty (string *);
409*38fd1498Szrj #endif
410*38fd1498Szrj
411*38fd1498Szrj static void string_append (string *, const char *);
412*38fd1498Szrj
413*38fd1498Szrj static void string_appends (string *, string *);
414*38fd1498Szrj
415*38fd1498Szrj static void string_appendn (string *, const char *, int);
416*38fd1498Szrj
417*38fd1498Szrj static void string_prepend (string *, const char *);
418*38fd1498Szrj
419*38fd1498Szrj static void string_prependn (string *, const char *, int);
420*38fd1498Szrj
421*38fd1498Szrj static void string_append_template_idx (string *, int);
422*38fd1498Szrj
423*38fd1498Szrj static int get_count (const char **, int *);
424*38fd1498Szrj
425*38fd1498Szrj static int consume_count (const char **);
426*38fd1498Szrj
427*38fd1498Szrj static int consume_count_with_underscores (const char**);
428*38fd1498Szrj
429*38fd1498Szrj static int demangle_args (struct work_stuff *, const char **, string *);
430*38fd1498Szrj
431*38fd1498Szrj static int demangle_nested_args (struct work_stuff*, const char**, string*);
432*38fd1498Szrj
433*38fd1498Szrj static int do_type (struct work_stuff *, const char **, string *);
434*38fd1498Szrj
435*38fd1498Szrj static int do_arg (struct work_stuff *, const char **, string *);
436*38fd1498Szrj
437*38fd1498Szrj static int
438*38fd1498Szrj demangle_function_name (struct work_stuff *, const char **, string *,
439*38fd1498Szrj const char *);
440*38fd1498Szrj
441*38fd1498Szrj static int
442*38fd1498Szrj iterate_demangle_function (struct work_stuff *,
443*38fd1498Szrj const char **, string *, const char *);
444*38fd1498Szrj
445*38fd1498Szrj static void remember_type (struct work_stuff *, const char *, int);
446*38fd1498Szrj
447*38fd1498Szrj static void push_processed_type (struct work_stuff *, int);
448*38fd1498Szrj
449*38fd1498Szrj static void pop_processed_type (struct work_stuff *);
450*38fd1498Szrj
451*38fd1498Szrj static void remember_Btype (struct work_stuff *, const char *, int, int);
452*38fd1498Szrj
453*38fd1498Szrj static int register_Btype (struct work_stuff *);
454*38fd1498Szrj
455*38fd1498Szrj static void remember_Ktype (struct work_stuff *, const char *, int);
456*38fd1498Szrj
457*38fd1498Szrj static void forget_types (struct work_stuff *);
458*38fd1498Szrj
459*38fd1498Szrj static void forget_B_and_K_types (struct work_stuff *);
460*38fd1498Szrj
461*38fd1498Szrj static void string_prepends (string *, string *);
462*38fd1498Szrj
463*38fd1498Szrj static int
464*38fd1498Szrj demangle_template_value_parm (struct work_stuff*, const char**,
465*38fd1498Szrj string*, type_kind_t);
466*38fd1498Szrj
467*38fd1498Szrj static int
468*38fd1498Szrj do_hpacc_template_const_value (struct work_stuff *, const char **, string *);
469*38fd1498Szrj
470*38fd1498Szrj static int
471*38fd1498Szrj do_hpacc_template_literal (struct work_stuff *, const char **, string *);
472*38fd1498Szrj
473*38fd1498Szrj static int snarf_numeric_literal (const char **, string *);
474*38fd1498Szrj
475*38fd1498Szrj /* There is a TYPE_QUAL value for each type qualifier. They can be
476*38fd1498Szrj combined by bitwise-or to form the complete set of qualifiers for a
477*38fd1498Szrj type. */
478*38fd1498Szrj
479*38fd1498Szrj #define TYPE_UNQUALIFIED 0x0
480*38fd1498Szrj #define TYPE_QUAL_CONST 0x1
481*38fd1498Szrj #define TYPE_QUAL_VOLATILE 0x2
482*38fd1498Szrj #define TYPE_QUAL_RESTRICT 0x4
483*38fd1498Szrj
484*38fd1498Szrj static int code_for_qualifier (int);
485*38fd1498Szrj
486*38fd1498Szrj static const char* qualifier_string (int);
487*38fd1498Szrj
488*38fd1498Szrj static const char* demangle_qualifier (int);
489*38fd1498Szrj
490*38fd1498Szrj static int demangle_expression (struct work_stuff *, const char **, string *,
491*38fd1498Szrj type_kind_t);
492*38fd1498Szrj
493*38fd1498Szrj static int
494*38fd1498Szrj demangle_integral_value (struct work_stuff *, const char **, string *);
495*38fd1498Szrj
496*38fd1498Szrj static int
497*38fd1498Szrj demangle_real_value (struct work_stuff *, const char **, string *);
498*38fd1498Szrj
499*38fd1498Szrj static void
500*38fd1498Szrj demangle_arm_hp_template (struct work_stuff *, const char **, int, string *);
501*38fd1498Szrj
502*38fd1498Szrj static void
503*38fd1498Szrj recursively_demangle (struct work_stuff *, const char **, string *, int);
504*38fd1498Szrj
505*38fd1498Szrj /* Translate count to integer, consuming tokens in the process.
506*38fd1498Szrj Conversion terminates on the first non-digit character.
507*38fd1498Szrj
508*38fd1498Szrj Trying to consume something that isn't a count results in no
509*38fd1498Szrj consumption of input and a return of -1.
510*38fd1498Szrj
511*38fd1498Szrj Overflow consumes the rest of the digits, and returns -1. */
512*38fd1498Szrj
513*38fd1498Szrj static int
consume_count(const char ** type)514*38fd1498Szrj consume_count (const char **type)
515*38fd1498Szrj {
516*38fd1498Szrj int count = 0;
517*38fd1498Szrj
518*38fd1498Szrj if (! ISDIGIT ((unsigned char)**type))
519*38fd1498Szrj return -1;
520*38fd1498Szrj
521*38fd1498Szrj while (ISDIGIT ((unsigned char)**type))
522*38fd1498Szrj {
523*38fd1498Szrj const int digit = **type - '0';
524*38fd1498Szrj /* Check for overflow. */
525*38fd1498Szrj if (count > ((INT_MAX - digit) / 10))
526*38fd1498Szrj {
527*38fd1498Szrj while (ISDIGIT ((unsigned char) **type))
528*38fd1498Szrj (*type)++;
529*38fd1498Szrj return -1;
530*38fd1498Szrj }
531*38fd1498Szrj
532*38fd1498Szrj count *= 10;
533*38fd1498Szrj count += digit;
534*38fd1498Szrj (*type)++;
535*38fd1498Szrj }
536*38fd1498Szrj
537*38fd1498Szrj if (count < 0)
538*38fd1498Szrj count = -1;
539*38fd1498Szrj
540*38fd1498Szrj return (count);
541*38fd1498Szrj }
542*38fd1498Szrj
543*38fd1498Szrj
544*38fd1498Szrj /* Like consume_count, but for counts that are preceded and followed
545*38fd1498Szrj by '_' if they are greater than 10. Also, -1 is returned for
546*38fd1498Szrj failure, since 0 can be a valid value. */
547*38fd1498Szrj
548*38fd1498Szrj static int
consume_count_with_underscores(const char ** mangled)549*38fd1498Szrj consume_count_with_underscores (const char **mangled)
550*38fd1498Szrj {
551*38fd1498Szrj int idx;
552*38fd1498Szrj
553*38fd1498Szrj if (**mangled == '_')
554*38fd1498Szrj {
555*38fd1498Szrj (*mangled)++;
556*38fd1498Szrj if (!ISDIGIT ((unsigned char)**mangled))
557*38fd1498Szrj return -1;
558*38fd1498Szrj
559*38fd1498Szrj idx = consume_count (mangled);
560*38fd1498Szrj if (**mangled != '_')
561*38fd1498Szrj /* The trailing underscore was missing. */
562*38fd1498Szrj return -1;
563*38fd1498Szrj
564*38fd1498Szrj (*mangled)++;
565*38fd1498Szrj }
566*38fd1498Szrj else
567*38fd1498Szrj {
568*38fd1498Szrj if (**mangled < '0' || **mangled > '9')
569*38fd1498Szrj return -1;
570*38fd1498Szrj
571*38fd1498Szrj idx = **mangled - '0';
572*38fd1498Szrj (*mangled)++;
573*38fd1498Szrj }
574*38fd1498Szrj
575*38fd1498Szrj return idx;
576*38fd1498Szrj }
577*38fd1498Szrj
578*38fd1498Szrj /* C is the code for a type-qualifier. Return the TYPE_QUAL
579*38fd1498Szrj corresponding to this qualifier. */
580*38fd1498Szrj
581*38fd1498Szrj static int
code_for_qualifier(int c)582*38fd1498Szrj code_for_qualifier (int c)
583*38fd1498Szrj {
584*38fd1498Szrj switch (c)
585*38fd1498Szrj {
586*38fd1498Szrj case 'C':
587*38fd1498Szrj return TYPE_QUAL_CONST;
588*38fd1498Szrj
589*38fd1498Szrj case 'V':
590*38fd1498Szrj return TYPE_QUAL_VOLATILE;
591*38fd1498Szrj
592*38fd1498Szrj case 'u':
593*38fd1498Szrj return TYPE_QUAL_RESTRICT;
594*38fd1498Szrj
595*38fd1498Szrj default:
596*38fd1498Szrj break;
597*38fd1498Szrj }
598*38fd1498Szrj
599*38fd1498Szrj /* C was an invalid qualifier. */
600*38fd1498Szrj abort ();
601*38fd1498Szrj }
602*38fd1498Szrj
603*38fd1498Szrj /* Return the string corresponding to the qualifiers given by
604*38fd1498Szrj TYPE_QUALS. */
605*38fd1498Szrj
606*38fd1498Szrj static const char*
qualifier_string(int type_quals)607*38fd1498Szrj qualifier_string (int type_quals)
608*38fd1498Szrj {
609*38fd1498Szrj switch (type_quals)
610*38fd1498Szrj {
611*38fd1498Szrj case TYPE_UNQUALIFIED:
612*38fd1498Szrj return "";
613*38fd1498Szrj
614*38fd1498Szrj case TYPE_QUAL_CONST:
615*38fd1498Szrj return "const";
616*38fd1498Szrj
617*38fd1498Szrj case TYPE_QUAL_VOLATILE:
618*38fd1498Szrj return "volatile";
619*38fd1498Szrj
620*38fd1498Szrj case TYPE_QUAL_RESTRICT:
621*38fd1498Szrj return "__restrict";
622*38fd1498Szrj
623*38fd1498Szrj case TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE:
624*38fd1498Szrj return "const volatile";
625*38fd1498Szrj
626*38fd1498Szrj case TYPE_QUAL_CONST | TYPE_QUAL_RESTRICT:
627*38fd1498Szrj return "const __restrict";
628*38fd1498Szrj
629*38fd1498Szrj case TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT:
630*38fd1498Szrj return "volatile __restrict";
631*38fd1498Szrj
632*38fd1498Szrj case TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE | TYPE_QUAL_RESTRICT:
633*38fd1498Szrj return "const volatile __restrict";
634*38fd1498Szrj
635*38fd1498Szrj default:
636*38fd1498Szrj break;
637*38fd1498Szrj }
638*38fd1498Szrj
639*38fd1498Szrj /* TYPE_QUALS was an invalid qualifier set. */
640*38fd1498Szrj abort ();
641*38fd1498Szrj }
642*38fd1498Szrj
643*38fd1498Szrj /* C is the code for a type-qualifier. Return the string
644*38fd1498Szrj corresponding to this qualifier. This function should only be
645*38fd1498Szrj called with a valid qualifier code. */
646*38fd1498Szrj
647*38fd1498Szrj static const char*
demangle_qualifier(int c)648*38fd1498Szrj demangle_qualifier (int c)
649*38fd1498Szrj {
650*38fd1498Szrj return qualifier_string (code_for_qualifier (c));
651*38fd1498Szrj }
652*38fd1498Szrj
653*38fd1498Szrj int
cplus_demangle_opname(const char * opname,char * result,int options)654*38fd1498Szrj cplus_demangle_opname (const char *opname, char *result, int options)
655*38fd1498Szrj {
656*38fd1498Szrj int len, len1, ret;
657*38fd1498Szrj string type;
658*38fd1498Szrj struct work_stuff work[1];
659*38fd1498Szrj const char *tem;
660*38fd1498Szrj
661*38fd1498Szrj len = strlen(opname);
662*38fd1498Szrj result[0] = '\0';
663*38fd1498Szrj ret = 0;
664*38fd1498Szrj memset ((char *) work, 0, sizeof (work));
665*38fd1498Szrj work->options = options;
666*38fd1498Szrj
667*38fd1498Szrj if (opname[0] == '_' && opname[1] == '_'
668*38fd1498Szrj && opname[2] == 'o' && opname[3] == 'p')
669*38fd1498Szrj {
670*38fd1498Szrj /* ANSI. */
671*38fd1498Szrj /* type conversion operator. */
672*38fd1498Szrj tem = opname + 4;
673*38fd1498Szrj if (do_type (work, &tem, &type))
674*38fd1498Szrj {
675*38fd1498Szrj strcat (result, "operator ");
676*38fd1498Szrj strncat (result, type.b, type.p - type.b);
677*38fd1498Szrj string_delete (&type);
678*38fd1498Szrj ret = 1;
679*38fd1498Szrj }
680*38fd1498Szrj }
681*38fd1498Szrj else if (opname[0] == '_' && opname[1] == '_'
682*38fd1498Szrj && ISLOWER((unsigned char)opname[2])
683*38fd1498Szrj && ISLOWER((unsigned char)opname[3]))
684*38fd1498Szrj {
685*38fd1498Szrj if (opname[4] == '\0')
686*38fd1498Szrj {
687*38fd1498Szrj /* Operator. */
688*38fd1498Szrj size_t i;
689*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
690*38fd1498Szrj {
691*38fd1498Szrj if (strlen (optable[i].in) == 2
692*38fd1498Szrj && memcmp (optable[i].in, opname + 2, 2) == 0)
693*38fd1498Szrj {
694*38fd1498Szrj strcat (result, "operator");
695*38fd1498Szrj strcat (result, optable[i].out);
696*38fd1498Szrj ret = 1;
697*38fd1498Szrj break;
698*38fd1498Szrj }
699*38fd1498Szrj }
700*38fd1498Szrj }
701*38fd1498Szrj else
702*38fd1498Szrj {
703*38fd1498Szrj if (opname[2] == 'a' && opname[5] == '\0')
704*38fd1498Szrj {
705*38fd1498Szrj /* Assignment. */
706*38fd1498Szrj size_t i;
707*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
708*38fd1498Szrj {
709*38fd1498Szrj if (strlen (optable[i].in) == 3
710*38fd1498Szrj && memcmp (optable[i].in, opname + 2, 3) == 0)
711*38fd1498Szrj {
712*38fd1498Szrj strcat (result, "operator");
713*38fd1498Szrj strcat (result, optable[i].out);
714*38fd1498Szrj ret = 1;
715*38fd1498Szrj break;
716*38fd1498Szrj }
717*38fd1498Szrj }
718*38fd1498Szrj }
719*38fd1498Szrj }
720*38fd1498Szrj }
721*38fd1498Szrj else if (len >= 3
722*38fd1498Szrj && opname[0] == 'o'
723*38fd1498Szrj && opname[1] == 'p'
724*38fd1498Szrj && strchr (cplus_markers, opname[2]) != NULL)
725*38fd1498Szrj {
726*38fd1498Szrj /* see if it's an assignment expression */
727*38fd1498Szrj if (len >= 10 /* op$assign_ */
728*38fd1498Szrj && memcmp (opname + 3, "assign_", 7) == 0)
729*38fd1498Szrj {
730*38fd1498Szrj size_t i;
731*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
732*38fd1498Szrj {
733*38fd1498Szrj len1 = len - 10;
734*38fd1498Szrj if ((int) strlen (optable[i].in) == len1
735*38fd1498Szrj && memcmp (optable[i].in, opname + 10, len1) == 0)
736*38fd1498Szrj {
737*38fd1498Szrj strcat (result, "operator");
738*38fd1498Szrj strcat (result, optable[i].out);
739*38fd1498Szrj strcat (result, "=");
740*38fd1498Szrj ret = 1;
741*38fd1498Szrj break;
742*38fd1498Szrj }
743*38fd1498Szrj }
744*38fd1498Szrj }
745*38fd1498Szrj else
746*38fd1498Szrj {
747*38fd1498Szrj size_t i;
748*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
749*38fd1498Szrj {
750*38fd1498Szrj len1 = len - 3;
751*38fd1498Szrj if ((int) strlen (optable[i].in) == len1
752*38fd1498Szrj && memcmp (optable[i].in, opname + 3, len1) == 0)
753*38fd1498Szrj {
754*38fd1498Szrj strcat (result, "operator");
755*38fd1498Szrj strcat (result, optable[i].out);
756*38fd1498Szrj ret = 1;
757*38fd1498Szrj break;
758*38fd1498Szrj }
759*38fd1498Szrj }
760*38fd1498Szrj }
761*38fd1498Szrj }
762*38fd1498Szrj else if (len >= 5 && memcmp (opname, "type", 4) == 0
763*38fd1498Szrj && strchr (cplus_markers, opname[4]) != NULL)
764*38fd1498Szrj {
765*38fd1498Szrj /* type conversion operator */
766*38fd1498Szrj tem = opname + 5;
767*38fd1498Szrj if (do_type (work, &tem, &type))
768*38fd1498Szrj {
769*38fd1498Szrj strcat (result, "operator ");
770*38fd1498Szrj strncat (result, type.b, type.p - type.b);
771*38fd1498Szrj string_delete (&type);
772*38fd1498Szrj ret = 1;
773*38fd1498Szrj }
774*38fd1498Szrj }
775*38fd1498Szrj squangle_mop_up (work);
776*38fd1498Szrj return ret;
777*38fd1498Szrj
778*38fd1498Szrj }
779*38fd1498Szrj
780*38fd1498Szrj /* Takes operator name as e.g. "++" and returns mangled
781*38fd1498Szrj operator name (e.g. "postincrement_expr"), or NULL if not found.
782*38fd1498Szrj
783*38fd1498Szrj If OPTIONS & DMGL_ANSI == 1, return the ANSI name;
784*38fd1498Szrj if OPTIONS & DMGL_ANSI == 0, return the old GNU name. */
785*38fd1498Szrj
786*38fd1498Szrj const char *
cplus_mangle_opname(const char * opname,int options)787*38fd1498Szrj cplus_mangle_opname (const char *opname, int options)
788*38fd1498Szrj {
789*38fd1498Szrj size_t i;
790*38fd1498Szrj int len;
791*38fd1498Szrj
792*38fd1498Szrj len = strlen (opname);
793*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
794*38fd1498Szrj {
795*38fd1498Szrj if ((int) strlen (optable[i].out) == len
796*38fd1498Szrj && (options & DMGL_ANSI) == (optable[i].flags & DMGL_ANSI)
797*38fd1498Szrj && memcmp (optable[i].out, opname, len) == 0)
798*38fd1498Szrj return optable[i].in;
799*38fd1498Szrj }
800*38fd1498Szrj return (0);
801*38fd1498Szrj }
802*38fd1498Szrj
803*38fd1498Szrj /* Add a routine to set the demangling style to be sure it is valid and
804*38fd1498Szrj allow for any demangler initialization that maybe necessary. */
805*38fd1498Szrj
806*38fd1498Szrj enum demangling_styles
cplus_demangle_set_style(enum demangling_styles style)807*38fd1498Szrj cplus_demangle_set_style (enum demangling_styles style)
808*38fd1498Szrj {
809*38fd1498Szrj const struct demangler_engine *demangler = libiberty_demanglers;
810*38fd1498Szrj
811*38fd1498Szrj for (; demangler->demangling_style != unknown_demangling; ++demangler)
812*38fd1498Szrj if (style == demangler->demangling_style)
813*38fd1498Szrj {
814*38fd1498Szrj current_demangling_style = style;
815*38fd1498Szrj return current_demangling_style;
816*38fd1498Szrj }
817*38fd1498Szrj
818*38fd1498Szrj return unknown_demangling;
819*38fd1498Szrj }
820*38fd1498Szrj
821*38fd1498Szrj /* Do string name to style translation */
822*38fd1498Szrj
823*38fd1498Szrj enum demangling_styles
cplus_demangle_name_to_style(const char * name)824*38fd1498Szrj cplus_demangle_name_to_style (const char *name)
825*38fd1498Szrj {
826*38fd1498Szrj const struct demangler_engine *demangler = libiberty_demanglers;
827*38fd1498Szrj
828*38fd1498Szrj for (; demangler->demangling_style != unknown_demangling; ++demangler)
829*38fd1498Szrj if (strcmp (name, demangler->demangling_style_name) == 0)
830*38fd1498Szrj return demangler->demangling_style;
831*38fd1498Szrj
832*38fd1498Szrj return unknown_demangling;
833*38fd1498Szrj }
834*38fd1498Szrj
835*38fd1498Szrj /* char *cplus_demangle (const char *mangled, int options)
836*38fd1498Szrj
837*38fd1498Szrj If MANGLED is a mangled function name produced by GNU C++, then
838*38fd1498Szrj a pointer to a @code{malloc}ed string giving a C++ representation
839*38fd1498Szrj of the name will be returned; otherwise NULL will be returned.
840*38fd1498Szrj It is the caller's responsibility to free the string which
841*38fd1498Szrj is returned.
842*38fd1498Szrj
843*38fd1498Szrj The OPTIONS arg may contain one or more of the following bits:
844*38fd1498Szrj
845*38fd1498Szrj DMGL_ANSI ANSI qualifiers such as `const' and `void' are
846*38fd1498Szrj included.
847*38fd1498Szrj DMGL_PARAMS Function parameters are included.
848*38fd1498Szrj
849*38fd1498Szrj For example,
850*38fd1498Szrj
851*38fd1498Szrj cplus_demangle ("foo__1Ai", DMGL_PARAMS) => "A::foo(int)"
852*38fd1498Szrj cplus_demangle ("foo__1Ai", DMGL_PARAMS | DMGL_ANSI) => "A::foo(int)"
853*38fd1498Szrj cplus_demangle ("foo__1Ai", 0) => "A::foo"
854*38fd1498Szrj
855*38fd1498Szrj cplus_demangle ("foo__1Afe", DMGL_PARAMS) => "A::foo(float,...)"
856*38fd1498Szrj cplus_demangle ("foo__1Afe", DMGL_PARAMS | DMGL_ANSI)=> "A::foo(float,...)"
857*38fd1498Szrj cplus_demangle ("foo__1Afe", 0) => "A::foo"
858*38fd1498Szrj
859*38fd1498Szrj Note that any leading underscores, or other such characters prepended by
860*38fd1498Szrj the compilation system, are presumed to have already been stripped from
861*38fd1498Szrj MANGLED. */
862*38fd1498Szrj
863*38fd1498Szrj char *
cplus_demangle(const char * mangled,int options)864*38fd1498Szrj cplus_demangle (const char *mangled, int options)
865*38fd1498Szrj {
866*38fd1498Szrj char *ret;
867*38fd1498Szrj struct work_stuff work[1];
868*38fd1498Szrj
869*38fd1498Szrj if (current_demangling_style == no_demangling)
870*38fd1498Szrj return xstrdup (mangled);
871*38fd1498Szrj
872*38fd1498Szrj memset ((char *) work, 0, sizeof (work));
873*38fd1498Szrj work->options = options;
874*38fd1498Szrj if ((work->options & DMGL_STYLE_MASK) == 0)
875*38fd1498Szrj work->options |= (int) current_demangling_style & DMGL_STYLE_MASK;
876*38fd1498Szrj
877*38fd1498Szrj /* The V3 ABI demangling is implemented elsewhere. */
878*38fd1498Szrj if (GNU_V3_DEMANGLING || RUST_DEMANGLING || AUTO_DEMANGLING)
879*38fd1498Szrj {
880*38fd1498Szrj ret = cplus_demangle_v3 (mangled, work->options);
881*38fd1498Szrj if (GNU_V3_DEMANGLING)
882*38fd1498Szrj return ret;
883*38fd1498Szrj
884*38fd1498Szrj if (ret)
885*38fd1498Szrj {
886*38fd1498Szrj /* Rust symbols are GNU_V3 mangled plus some extra subtitutions.
887*38fd1498Szrj The subtitutions are always smaller, so do in place changes. */
888*38fd1498Szrj if (rust_is_mangled (ret))
889*38fd1498Szrj rust_demangle_sym (ret);
890*38fd1498Szrj else if (RUST_DEMANGLING)
891*38fd1498Szrj {
892*38fd1498Szrj free (ret);
893*38fd1498Szrj ret = NULL;
894*38fd1498Szrj }
895*38fd1498Szrj }
896*38fd1498Szrj
897*38fd1498Szrj if (ret || RUST_DEMANGLING)
898*38fd1498Szrj return ret;
899*38fd1498Szrj }
900*38fd1498Szrj
901*38fd1498Szrj if (JAVA_DEMANGLING)
902*38fd1498Szrj {
903*38fd1498Szrj ret = java_demangle_v3 (mangled);
904*38fd1498Szrj if (ret)
905*38fd1498Szrj return ret;
906*38fd1498Szrj }
907*38fd1498Szrj
908*38fd1498Szrj if (GNAT_DEMANGLING)
909*38fd1498Szrj return ada_demangle (mangled, options);
910*38fd1498Szrj
911*38fd1498Szrj if (DLANG_DEMANGLING)
912*38fd1498Szrj {
913*38fd1498Szrj ret = dlang_demangle (mangled, options);
914*38fd1498Szrj if (ret)
915*38fd1498Szrj return ret;
916*38fd1498Szrj }
917*38fd1498Szrj
918*38fd1498Szrj ret = internal_cplus_demangle (work, mangled);
919*38fd1498Szrj squangle_mop_up (work);
920*38fd1498Szrj return (ret);
921*38fd1498Szrj }
922*38fd1498Szrj
923*38fd1498Szrj char *
rust_demangle(const char * mangled,int options)924*38fd1498Szrj rust_demangle (const char *mangled, int options)
925*38fd1498Szrj {
926*38fd1498Szrj /* Rust symbols are GNU_V3 mangled plus some extra subtitutions. */
927*38fd1498Szrj char *ret = cplus_demangle_v3 (mangled, options);
928*38fd1498Szrj
929*38fd1498Szrj /* The Rust subtitutions are always smaller, so do in place changes. */
930*38fd1498Szrj if (ret != NULL)
931*38fd1498Szrj {
932*38fd1498Szrj if (rust_is_mangled (ret))
933*38fd1498Szrj rust_demangle_sym (ret);
934*38fd1498Szrj else
935*38fd1498Szrj {
936*38fd1498Szrj free (ret);
937*38fd1498Szrj ret = NULL;
938*38fd1498Szrj }
939*38fd1498Szrj }
940*38fd1498Szrj
941*38fd1498Szrj return ret;
942*38fd1498Szrj }
943*38fd1498Szrj
944*38fd1498Szrj /* Demangle ada names. The encoding is documented in gcc/ada/exp_dbug.ads. */
945*38fd1498Szrj
946*38fd1498Szrj char *
ada_demangle(const char * mangled,int option ATTRIBUTE_UNUSED)947*38fd1498Szrj ada_demangle (const char *mangled, int option ATTRIBUTE_UNUSED)
948*38fd1498Szrj {
949*38fd1498Szrj int len0;
950*38fd1498Szrj const char* p;
951*38fd1498Szrj char *d;
952*38fd1498Szrj char *demangled = NULL;
953*38fd1498Szrj
954*38fd1498Szrj /* Discard leading _ada_, which is used for library level subprograms. */
955*38fd1498Szrj if (strncmp (mangled, "_ada_", 5) == 0)
956*38fd1498Szrj mangled += 5;
957*38fd1498Szrj
958*38fd1498Szrj /* All ada unit names are lower-case. */
959*38fd1498Szrj if (!ISLOWER (mangled[0]))
960*38fd1498Szrj goto unknown;
961*38fd1498Szrj
962*38fd1498Szrj /* Most of the demangling will trivially remove chars. Operator names
963*38fd1498Szrj may add one char but because they are always preceeded by '__' which is
964*38fd1498Szrj replaced by '.', they eventually never expand the size.
965*38fd1498Szrj A few special names such as '___elabs' add a few chars (at most 7), but
966*38fd1498Szrj they occur only once. */
967*38fd1498Szrj len0 = strlen (mangled) + 7 + 1;
968*38fd1498Szrj demangled = XNEWVEC (char, len0);
969*38fd1498Szrj
970*38fd1498Szrj d = demangled;
971*38fd1498Szrj p = mangled;
972*38fd1498Szrj while (1)
973*38fd1498Szrj {
974*38fd1498Szrj /* An entity names is expected. */
975*38fd1498Szrj if (ISLOWER (*p))
976*38fd1498Szrj {
977*38fd1498Szrj /* An identifier, which is always lower case. */
978*38fd1498Szrj do
979*38fd1498Szrj *d++ = *p++;
980*38fd1498Szrj while (ISLOWER(*p) || ISDIGIT (*p)
981*38fd1498Szrj || (p[0] == '_' && (ISLOWER (p[1]) || ISDIGIT (p[1]))));
982*38fd1498Szrj }
983*38fd1498Szrj else if (p[0] == 'O')
984*38fd1498Szrj {
985*38fd1498Szrj /* An operator name. */
986*38fd1498Szrj static const char * const operators[][2] =
987*38fd1498Szrj {{"Oabs", "abs"}, {"Oand", "and"}, {"Omod", "mod"},
988*38fd1498Szrj {"Onot", "not"}, {"Oor", "or"}, {"Orem", "rem"},
989*38fd1498Szrj {"Oxor", "xor"}, {"Oeq", "="}, {"One", "/="},
990*38fd1498Szrj {"Olt", "<"}, {"Ole", "<="}, {"Ogt", ">"},
991*38fd1498Szrj {"Oge", ">="}, {"Oadd", "+"}, {"Osubtract", "-"},
992*38fd1498Szrj {"Oconcat", "&"}, {"Omultiply", "*"}, {"Odivide", "/"},
993*38fd1498Szrj {"Oexpon", "**"}, {NULL, NULL}};
994*38fd1498Szrj int k;
995*38fd1498Szrj
996*38fd1498Szrj for (k = 0; operators[k][0] != NULL; k++)
997*38fd1498Szrj {
998*38fd1498Szrj size_t slen = strlen (operators[k][0]);
999*38fd1498Szrj if (strncmp (p, operators[k][0], slen) == 0)
1000*38fd1498Szrj {
1001*38fd1498Szrj p += slen;
1002*38fd1498Szrj slen = strlen (operators[k][1]);
1003*38fd1498Szrj *d++ = '"';
1004*38fd1498Szrj memcpy (d, operators[k][1], slen);
1005*38fd1498Szrj d += slen;
1006*38fd1498Szrj *d++ = '"';
1007*38fd1498Szrj break;
1008*38fd1498Szrj }
1009*38fd1498Szrj }
1010*38fd1498Szrj /* Operator not found. */
1011*38fd1498Szrj if (operators[k][0] == NULL)
1012*38fd1498Szrj goto unknown;
1013*38fd1498Szrj }
1014*38fd1498Szrj else
1015*38fd1498Szrj {
1016*38fd1498Szrj /* Not a GNAT encoding. */
1017*38fd1498Szrj goto unknown;
1018*38fd1498Szrj }
1019*38fd1498Szrj
1020*38fd1498Szrj /* The name can be directly followed by some uppercase letters. */
1021*38fd1498Szrj if (p[0] == 'T' && p[1] == 'K')
1022*38fd1498Szrj {
1023*38fd1498Szrj /* Task stuff. */
1024*38fd1498Szrj if (p[2] == 'B' && p[3] == 0)
1025*38fd1498Szrj {
1026*38fd1498Szrj /* Subprogram for task body. */
1027*38fd1498Szrj break;
1028*38fd1498Szrj }
1029*38fd1498Szrj else if (p[2] == '_' && p[3] == '_')
1030*38fd1498Szrj {
1031*38fd1498Szrj /* Inner declarations in a task. */
1032*38fd1498Szrj p += 4;
1033*38fd1498Szrj *d++ = '.';
1034*38fd1498Szrj continue;
1035*38fd1498Szrj }
1036*38fd1498Szrj else
1037*38fd1498Szrj goto unknown;
1038*38fd1498Szrj }
1039*38fd1498Szrj if (p[0] == 'E' && p[1] == 0)
1040*38fd1498Szrj {
1041*38fd1498Szrj /* Exception name. */
1042*38fd1498Szrj goto unknown;
1043*38fd1498Szrj }
1044*38fd1498Szrj if ((p[0] == 'P' || p[0] == 'N') && p[1] == 0)
1045*38fd1498Szrj {
1046*38fd1498Szrj /* Protected type subprogram. */
1047*38fd1498Szrj break;
1048*38fd1498Szrj }
1049*38fd1498Szrj if ((*p == 'N' || *p == 'S') && p[1] == 0)
1050*38fd1498Szrj {
1051*38fd1498Szrj /* Enumerated type name table. */
1052*38fd1498Szrj goto unknown;
1053*38fd1498Szrj }
1054*38fd1498Szrj if (p[0] == 'X')
1055*38fd1498Szrj {
1056*38fd1498Szrj /* Body nested. */
1057*38fd1498Szrj p++;
1058*38fd1498Szrj while (p[0] == 'n' || p[0] == 'b')
1059*38fd1498Szrj p++;
1060*38fd1498Szrj }
1061*38fd1498Szrj if (p[0] == 'S' && p[1] != 0 && (p[2] == '_' || p[2] == 0))
1062*38fd1498Szrj {
1063*38fd1498Szrj /* Stream operations. */
1064*38fd1498Szrj const char *name;
1065*38fd1498Szrj switch (p[1])
1066*38fd1498Szrj {
1067*38fd1498Szrj case 'R':
1068*38fd1498Szrj name = "'Read";
1069*38fd1498Szrj break;
1070*38fd1498Szrj case 'W':
1071*38fd1498Szrj name = "'Write";
1072*38fd1498Szrj break;
1073*38fd1498Szrj case 'I':
1074*38fd1498Szrj name = "'Input";
1075*38fd1498Szrj break;
1076*38fd1498Szrj case 'O':
1077*38fd1498Szrj name = "'Output";
1078*38fd1498Szrj break;
1079*38fd1498Szrj default:
1080*38fd1498Szrj goto unknown;
1081*38fd1498Szrj }
1082*38fd1498Szrj p += 2;
1083*38fd1498Szrj strcpy (d, name);
1084*38fd1498Szrj d += strlen (name);
1085*38fd1498Szrj }
1086*38fd1498Szrj else if (p[0] == 'D')
1087*38fd1498Szrj {
1088*38fd1498Szrj /* Controlled type operation. */
1089*38fd1498Szrj const char *name;
1090*38fd1498Szrj switch (p[1])
1091*38fd1498Szrj {
1092*38fd1498Szrj case 'F':
1093*38fd1498Szrj name = ".Finalize";
1094*38fd1498Szrj break;
1095*38fd1498Szrj case 'A':
1096*38fd1498Szrj name = ".Adjust";
1097*38fd1498Szrj break;
1098*38fd1498Szrj default:
1099*38fd1498Szrj goto unknown;
1100*38fd1498Szrj }
1101*38fd1498Szrj strcpy (d, name);
1102*38fd1498Szrj d += strlen (name);
1103*38fd1498Szrj break;
1104*38fd1498Szrj }
1105*38fd1498Szrj
1106*38fd1498Szrj if (p[0] == '_')
1107*38fd1498Szrj {
1108*38fd1498Szrj /* Separator. */
1109*38fd1498Szrj if (p[1] == '_')
1110*38fd1498Szrj {
1111*38fd1498Szrj /* Standard separator. Handled first. */
1112*38fd1498Szrj p += 2;
1113*38fd1498Szrj
1114*38fd1498Szrj if (ISDIGIT (*p))
1115*38fd1498Szrj {
1116*38fd1498Szrj /* Overloading number. */
1117*38fd1498Szrj do
1118*38fd1498Szrj p++;
1119*38fd1498Szrj while (ISDIGIT (*p) || (p[0] == '_' && ISDIGIT (p[1])));
1120*38fd1498Szrj if (*p == 'X')
1121*38fd1498Szrj {
1122*38fd1498Szrj p++;
1123*38fd1498Szrj while (p[0] == 'n' || p[0] == 'b')
1124*38fd1498Szrj p++;
1125*38fd1498Szrj }
1126*38fd1498Szrj }
1127*38fd1498Szrj else if (p[0] == '_' && p[1] != '_')
1128*38fd1498Szrj {
1129*38fd1498Szrj /* Special names. */
1130*38fd1498Szrj static const char * const special[][2] = {
1131*38fd1498Szrj { "_elabb", "'Elab_Body" },
1132*38fd1498Szrj { "_elabs", "'Elab_Spec" },
1133*38fd1498Szrj { "_size", "'Size" },
1134*38fd1498Szrj { "_alignment", "'Alignment" },
1135*38fd1498Szrj { "_assign", ".\":=\"" },
1136*38fd1498Szrj { NULL, NULL }
1137*38fd1498Szrj };
1138*38fd1498Szrj int k;
1139*38fd1498Szrj
1140*38fd1498Szrj for (k = 0; special[k][0] != NULL; k++)
1141*38fd1498Szrj {
1142*38fd1498Szrj size_t slen = strlen (special[k][0]);
1143*38fd1498Szrj if (strncmp (p, special[k][0], slen) == 0)
1144*38fd1498Szrj {
1145*38fd1498Szrj p += slen;
1146*38fd1498Szrj slen = strlen (special[k][1]);
1147*38fd1498Szrj memcpy (d, special[k][1], slen);
1148*38fd1498Szrj d += slen;
1149*38fd1498Szrj break;
1150*38fd1498Szrj }
1151*38fd1498Szrj }
1152*38fd1498Szrj if (special[k][0] != NULL)
1153*38fd1498Szrj break;
1154*38fd1498Szrj else
1155*38fd1498Szrj goto unknown;
1156*38fd1498Szrj }
1157*38fd1498Szrj else
1158*38fd1498Szrj {
1159*38fd1498Szrj *d++ = '.';
1160*38fd1498Szrj continue;
1161*38fd1498Szrj }
1162*38fd1498Szrj }
1163*38fd1498Szrj else if (p[1] == 'B' || p[1] == 'E')
1164*38fd1498Szrj {
1165*38fd1498Szrj /* Entry Body or barrier Evaluation. */
1166*38fd1498Szrj p += 2;
1167*38fd1498Szrj while (ISDIGIT (*p))
1168*38fd1498Szrj p++;
1169*38fd1498Szrj if (p[0] == 's' && p[1] == 0)
1170*38fd1498Szrj break;
1171*38fd1498Szrj else
1172*38fd1498Szrj goto unknown;
1173*38fd1498Szrj }
1174*38fd1498Szrj else
1175*38fd1498Szrj goto unknown;
1176*38fd1498Szrj }
1177*38fd1498Szrj
1178*38fd1498Szrj if (p[0] == '.' && ISDIGIT (p[1]))
1179*38fd1498Szrj {
1180*38fd1498Szrj /* Nested subprogram. */
1181*38fd1498Szrj p += 2;
1182*38fd1498Szrj while (ISDIGIT (*p))
1183*38fd1498Szrj p++;
1184*38fd1498Szrj }
1185*38fd1498Szrj if (*p == 0)
1186*38fd1498Szrj {
1187*38fd1498Szrj /* End of mangled name. */
1188*38fd1498Szrj break;
1189*38fd1498Szrj }
1190*38fd1498Szrj else
1191*38fd1498Szrj goto unknown;
1192*38fd1498Szrj }
1193*38fd1498Szrj *d = 0;
1194*38fd1498Szrj return demangled;
1195*38fd1498Szrj
1196*38fd1498Szrj unknown:
1197*38fd1498Szrj XDELETEVEC (demangled);
1198*38fd1498Szrj len0 = strlen (mangled);
1199*38fd1498Szrj demangled = XNEWVEC (char, len0 + 3);
1200*38fd1498Szrj
1201*38fd1498Szrj if (mangled[0] == '<')
1202*38fd1498Szrj strcpy (demangled, mangled);
1203*38fd1498Szrj else
1204*38fd1498Szrj sprintf (demangled, "<%s>", mangled);
1205*38fd1498Szrj
1206*38fd1498Szrj return demangled;
1207*38fd1498Szrj }
1208*38fd1498Szrj
1209*38fd1498Szrj /* This function performs most of what cplus_demangle use to do, but
1210*38fd1498Szrj to be able to demangle a name with a B, K or n code, we need to
1211*38fd1498Szrj have a longer term memory of what types have been seen. The original
1212*38fd1498Szrj now initializes and cleans up the squangle code info, while internal
1213*38fd1498Szrj calls go directly to this routine to avoid resetting that info. */
1214*38fd1498Szrj
1215*38fd1498Szrj static char *
internal_cplus_demangle(struct work_stuff * work,const char * mangled)1216*38fd1498Szrj internal_cplus_demangle (struct work_stuff *work, const char *mangled)
1217*38fd1498Szrj {
1218*38fd1498Szrj
1219*38fd1498Szrj string decl;
1220*38fd1498Szrj int success = 0;
1221*38fd1498Szrj char *demangled = NULL;
1222*38fd1498Szrj int s1, s2, s3, s4;
1223*38fd1498Szrj s1 = work->constructor;
1224*38fd1498Szrj s2 = work->destructor;
1225*38fd1498Szrj s3 = work->static_type;
1226*38fd1498Szrj s4 = work->type_quals;
1227*38fd1498Szrj work->constructor = work->destructor = 0;
1228*38fd1498Szrj work->type_quals = TYPE_UNQUALIFIED;
1229*38fd1498Szrj work->dllimported = 0;
1230*38fd1498Szrj
1231*38fd1498Szrj if ((mangled != NULL) && (*mangled != '\0'))
1232*38fd1498Szrj {
1233*38fd1498Szrj string_init (&decl);
1234*38fd1498Szrj
1235*38fd1498Szrj /* First check to see if gnu style demangling is active and if the
1236*38fd1498Szrj string to be demangled contains a CPLUS_MARKER. If so, attempt to
1237*38fd1498Szrj recognize one of the gnu special forms rather than looking for a
1238*38fd1498Szrj standard prefix. In particular, don't worry about whether there
1239*38fd1498Szrj is a "__" string in the mangled string. Consider "_$_5__foo" for
1240*38fd1498Szrj example. */
1241*38fd1498Szrj
1242*38fd1498Szrj if ((AUTO_DEMANGLING || GNU_DEMANGLING))
1243*38fd1498Szrj {
1244*38fd1498Szrj success = gnu_special (work, &mangled, &decl);
1245*38fd1498Szrj if (!success)
1246*38fd1498Szrj {
1247*38fd1498Szrj delete_work_stuff (work);
1248*38fd1498Szrj string_delete (&decl);
1249*38fd1498Szrj }
1250*38fd1498Szrj }
1251*38fd1498Szrj if (!success)
1252*38fd1498Szrj {
1253*38fd1498Szrj success = demangle_prefix (work, &mangled, &decl);
1254*38fd1498Szrj }
1255*38fd1498Szrj if (success && (*mangled != '\0'))
1256*38fd1498Szrj {
1257*38fd1498Szrj success = demangle_signature (work, &mangled, &decl);
1258*38fd1498Szrj }
1259*38fd1498Szrj if (work->constructor == 2)
1260*38fd1498Szrj {
1261*38fd1498Szrj string_prepend (&decl, "global constructors keyed to ");
1262*38fd1498Szrj work->constructor = 0;
1263*38fd1498Szrj }
1264*38fd1498Szrj else if (work->destructor == 2)
1265*38fd1498Szrj {
1266*38fd1498Szrj string_prepend (&decl, "global destructors keyed to ");
1267*38fd1498Szrj work->destructor = 0;
1268*38fd1498Szrj }
1269*38fd1498Szrj else if (work->dllimported == 1)
1270*38fd1498Szrj {
1271*38fd1498Szrj string_prepend (&decl, "import stub for ");
1272*38fd1498Szrj work->dllimported = 0;
1273*38fd1498Szrj }
1274*38fd1498Szrj demangled = mop_up (work, &decl, success);
1275*38fd1498Szrj }
1276*38fd1498Szrj work->constructor = s1;
1277*38fd1498Szrj work->destructor = s2;
1278*38fd1498Szrj work->static_type = s3;
1279*38fd1498Szrj work->type_quals = s4;
1280*38fd1498Szrj return demangled;
1281*38fd1498Szrj }
1282*38fd1498Szrj
1283*38fd1498Szrj
1284*38fd1498Szrj /* Clear out and squangling related storage */
1285*38fd1498Szrj static void
squangle_mop_up(struct work_stuff * work)1286*38fd1498Szrj squangle_mop_up (struct work_stuff *work)
1287*38fd1498Szrj {
1288*38fd1498Szrj /* clean up the B and K type mangling types. */
1289*38fd1498Szrj forget_B_and_K_types (work);
1290*38fd1498Szrj if (work -> btypevec != NULL)
1291*38fd1498Szrj {
1292*38fd1498Szrj free ((char *) work -> btypevec);
1293*38fd1498Szrj work->btypevec = NULL;
1294*38fd1498Szrj work->bsize = 0;
1295*38fd1498Szrj }
1296*38fd1498Szrj if (work -> ktypevec != NULL)
1297*38fd1498Szrj {
1298*38fd1498Szrj free ((char *) work -> ktypevec);
1299*38fd1498Szrj work->ktypevec = NULL;
1300*38fd1498Szrj work->ksize = 0;
1301*38fd1498Szrj }
1302*38fd1498Szrj }
1303*38fd1498Szrj
1304*38fd1498Szrj
1305*38fd1498Szrj /* Copy the work state and storage. */
1306*38fd1498Szrj
1307*38fd1498Szrj static void
work_stuff_copy_to_from(struct work_stuff * to,struct work_stuff * from)1308*38fd1498Szrj work_stuff_copy_to_from (struct work_stuff *to, struct work_stuff *from)
1309*38fd1498Szrj {
1310*38fd1498Szrj int i;
1311*38fd1498Szrj
1312*38fd1498Szrj delete_work_stuff (to);
1313*38fd1498Szrj
1314*38fd1498Szrj /* Shallow-copy scalars. */
1315*38fd1498Szrj memcpy (to, from, sizeof (*to));
1316*38fd1498Szrj
1317*38fd1498Szrj /* Deep-copy dynamic storage. */
1318*38fd1498Szrj if (from->typevec_size)
1319*38fd1498Szrj to->typevec = XNEWVEC (char *, from->typevec_size);
1320*38fd1498Szrj
1321*38fd1498Szrj for (i = 0; i < from->ntypes; i++)
1322*38fd1498Szrj {
1323*38fd1498Szrj int len = strlen (from->typevec[i]) + 1;
1324*38fd1498Szrj
1325*38fd1498Szrj to->typevec[i] = XNEWVEC (char, len);
1326*38fd1498Szrj memcpy (to->typevec[i], from->typevec[i], len);
1327*38fd1498Szrj }
1328*38fd1498Szrj
1329*38fd1498Szrj if (from->ksize)
1330*38fd1498Szrj to->ktypevec = XNEWVEC (char *, from->ksize);
1331*38fd1498Szrj
1332*38fd1498Szrj for (i = 0; i < from->numk; i++)
1333*38fd1498Szrj {
1334*38fd1498Szrj int len = strlen (from->ktypevec[i]) + 1;
1335*38fd1498Szrj
1336*38fd1498Szrj to->ktypevec[i] = XNEWVEC (char, len);
1337*38fd1498Szrj memcpy (to->ktypevec[i], from->ktypevec[i], len);
1338*38fd1498Szrj }
1339*38fd1498Szrj
1340*38fd1498Szrj if (from->bsize)
1341*38fd1498Szrj to->btypevec = XNEWVEC (char *, from->bsize);
1342*38fd1498Szrj
1343*38fd1498Szrj for (i = 0; i < from->numb; i++)
1344*38fd1498Szrj {
1345*38fd1498Szrj int len = strlen (from->btypevec[i]) + 1;
1346*38fd1498Szrj
1347*38fd1498Szrj to->btypevec[i] = XNEWVEC (char , len);
1348*38fd1498Szrj memcpy (to->btypevec[i], from->btypevec[i], len);
1349*38fd1498Szrj }
1350*38fd1498Szrj
1351*38fd1498Szrj if (from->proctypevec)
1352*38fd1498Szrj to->proctypevec =
1353*38fd1498Szrj XDUPVEC (int, from->proctypevec, from->proctypevec_size);
1354*38fd1498Szrj
1355*38fd1498Szrj if (from->ntmpl_args)
1356*38fd1498Szrj to->tmpl_argvec = XNEWVEC (char *, from->ntmpl_args);
1357*38fd1498Szrj
1358*38fd1498Szrj for (i = 0; i < from->ntmpl_args; i++)
1359*38fd1498Szrj {
1360*38fd1498Szrj int len = strlen (from->tmpl_argvec[i]) + 1;
1361*38fd1498Szrj
1362*38fd1498Szrj to->tmpl_argvec[i] = XNEWVEC (char, len);
1363*38fd1498Szrj memcpy (to->tmpl_argvec[i], from->tmpl_argvec[i], len);
1364*38fd1498Szrj }
1365*38fd1498Szrj
1366*38fd1498Szrj if (from->previous_argument)
1367*38fd1498Szrj {
1368*38fd1498Szrj to->previous_argument = XNEW (string);
1369*38fd1498Szrj string_init (to->previous_argument);
1370*38fd1498Szrj string_appends (to->previous_argument, from->previous_argument);
1371*38fd1498Szrj }
1372*38fd1498Szrj }
1373*38fd1498Szrj
1374*38fd1498Szrj
1375*38fd1498Szrj /* Delete dynamic stuff in work_stuff that is not to be re-used. */
1376*38fd1498Szrj
1377*38fd1498Szrj static void
delete_non_B_K_work_stuff(struct work_stuff * work)1378*38fd1498Szrj delete_non_B_K_work_stuff (struct work_stuff *work)
1379*38fd1498Szrj {
1380*38fd1498Szrj /* Discard the remembered types, if any. */
1381*38fd1498Szrj
1382*38fd1498Szrj forget_types (work);
1383*38fd1498Szrj if (work->typevec != NULL)
1384*38fd1498Szrj {
1385*38fd1498Szrj free ((char *) work->typevec);
1386*38fd1498Szrj work->typevec = NULL;
1387*38fd1498Szrj work->typevec_size = 0;
1388*38fd1498Szrj }
1389*38fd1498Szrj if (work->proctypevec != NULL)
1390*38fd1498Szrj {
1391*38fd1498Szrj free (work->proctypevec);
1392*38fd1498Szrj work->proctypevec = NULL;
1393*38fd1498Szrj work->proctypevec_size = 0;
1394*38fd1498Szrj }
1395*38fd1498Szrj if (work->tmpl_argvec)
1396*38fd1498Szrj {
1397*38fd1498Szrj int i;
1398*38fd1498Szrj
1399*38fd1498Szrj for (i = 0; i < work->ntmpl_args; i++)
1400*38fd1498Szrj free ((char*) work->tmpl_argvec[i]);
1401*38fd1498Szrj
1402*38fd1498Szrj free ((char*) work->tmpl_argvec);
1403*38fd1498Szrj work->tmpl_argvec = NULL;
1404*38fd1498Szrj }
1405*38fd1498Szrj if (work->previous_argument)
1406*38fd1498Szrj {
1407*38fd1498Szrj string_delete (work->previous_argument);
1408*38fd1498Szrj free ((char*) work->previous_argument);
1409*38fd1498Szrj work->previous_argument = NULL;
1410*38fd1498Szrj }
1411*38fd1498Szrj }
1412*38fd1498Szrj
1413*38fd1498Szrj
1414*38fd1498Szrj /* Delete all dynamic storage in work_stuff. */
1415*38fd1498Szrj static void
delete_work_stuff(struct work_stuff * work)1416*38fd1498Szrj delete_work_stuff (struct work_stuff *work)
1417*38fd1498Szrj {
1418*38fd1498Szrj delete_non_B_K_work_stuff (work);
1419*38fd1498Szrj squangle_mop_up (work);
1420*38fd1498Szrj }
1421*38fd1498Szrj
1422*38fd1498Szrj
1423*38fd1498Szrj /* Clear out any mangled storage */
1424*38fd1498Szrj
1425*38fd1498Szrj static char *
mop_up(struct work_stuff * work,string * declp,int success)1426*38fd1498Szrj mop_up (struct work_stuff *work, string *declp, int success)
1427*38fd1498Szrj {
1428*38fd1498Szrj char *demangled = NULL;
1429*38fd1498Szrj
1430*38fd1498Szrj delete_non_B_K_work_stuff (work);
1431*38fd1498Szrj
1432*38fd1498Szrj /* If demangling was successful, ensure that the demangled string is null
1433*38fd1498Szrj terminated and return it. Otherwise, free the demangling decl. */
1434*38fd1498Szrj
1435*38fd1498Szrj if (!success)
1436*38fd1498Szrj {
1437*38fd1498Szrj string_delete (declp);
1438*38fd1498Szrj }
1439*38fd1498Szrj else
1440*38fd1498Szrj {
1441*38fd1498Szrj string_appendn (declp, "", 1);
1442*38fd1498Szrj demangled = declp->b;
1443*38fd1498Szrj }
1444*38fd1498Szrj return (demangled);
1445*38fd1498Szrj }
1446*38fd1498Szrj
1447*38fd1498Szrj /*
1448*38fd1498Szrj
1449*38fd1498Szrj LOCAL FUNCTION
1450*38fd1498Szrj
1451*38fd1498Szrj demangle_signature -- demangle the signature part of a mangled name
1452*38fd1498Szrj
1453*38fd1498Szrj SYNOPSIS
1454*38fd1498Szrj
1455*38fd1498Szrj static int
1456*38fd1498Szrj demangle_signature (struct work_stuff *work, const char **mangled,
1457*38fd1498Szrj string *declp);
1458*38fd1498Szrj
1459*38fd1498Szrj DESCRIPTION
1460*38fd1498Szrj
1461*38fd1498Szrj Consume and demangle the signature portion of the mangled name.
1462*38fd1498Szrj
1463*38fd1498Szrj DECLP is the string where demangled output is being built. At
1464*38fd1498Szrj entry it contains the demangled root name from the mangled name
1465*38fd1498Szrj prefix. I.E. either a demangled operator name or the root function
1466*38fd1498Szrj name. In some special cases, it may contain nothing.
1467*38fd1498Szrj
1468*38fd1498Szrj *MANGLED points to the current unconsumed location in the mangled
1469*38fd1498Szrj name. As tokens are consumed and demangling is performed, the
1470*38fd1498Szrj pointer is updated to continuously point at the next token to
1471*38fd1498Szrj be consumed.
1472*38fd1498Szrj
1473*38fd1498Szrj Demangling GNU style mangled names is nasty because there is no
1474*38fd1498Szrj explicit token that marks the start of the outermost function
1475*38fd1498Szrj argument list. */
1476*38fd1498Szrj
1477*38fd1498Szrj static int
demangle_signature(struct work_stuff * work,const char ** mangled,string * declp)1478*38fd1498Szrj demangle_signature (struct work_stuff *work,
1479*38fd1498Szrj const char **mangled, string *declp)
1480*38fd1498Szrj {
1481*38fd1498Szrj int success = 1;
1482*38fd1498Szrj int func_done = 0;
1483*38fd1498Szrj int expect_func = 0;
1484*38fd1498Szrj int expect_return_type = 0;
1485*38fd1498Szrj const char *oldmangled = NULL;
1486*38fd1498Szrj string trawname;
1487*38fd1498Szrj string tname;
1488*38fd1498Szrj
1489*38fd1498Szrj while (success && (**mangled != '\0'))
1490*38fd1498Szrj {
1491*38fd1498Szrj switch (**mangled)
1492*38fd1498Szrj {
1493*38fd1498Szrj case 'Q':
1494*38fd1498Szrj oldmangled = *mangled;
1495*38fd1498Szrj success = demangle_qualified (work, mangled, declp, 1, 0);
1496*38fd1498Szrj if (success)
1497*38fd1498Szrj remember_type (work, oldmangled, *mangled - oldmangled);
1498*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING)
1499*38fd1498Szrj expect_func = 1;
1500*38fd1498Szrj oldmangled = NULL;
1501*38fd1498Szrj break;
1502*38fd1498Szrj
1503*38fd1498Szrj case 'K':
1504*38fd1498Szrj oldmangled = *mangled;
1505*38fd1498Szrj success = demangle_qualified (work, mangled, declp, 1, 0);
1506*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING)
1507*38fd1498Szrj {
1508*38fd1498Szrj expect_func = 1;
1509*38fd1498Szrj }
1510*38fd1498Szrj oldmangled = NULL;
1511*38fd1498Szrj break;
1512*38fd1498Szrj
1513*38fd1498Szrj case 'S':
1514*38fd1498Szrj /* Static member function */
1515*38fd1498Szrj if (oldmangled == NULL)
1516*38fd1498Szrj {
1517*38fd1498Szrj oldmangled = *mangled;
1518*38fd1498Szrj }
1519*38fd1498Szrj (*mangled)++;
1520*38fd1498Szrj work -> static_type = 1;
1521*38fd1498Szrj break;
1522*38fd1498Szrj
1523*38fd1498Szrj case 'C':
1524*38fd1498Szrj case 'V':
1525*38fd1498Szrj case 'u':
1526*38fd1498Szrj work->type_quals |= code_for_qualifier (**mangled);
1527*38fd1498Szrj
1528*38fd1498Szrj /* a qualified member function */
1529*38fd1498Szrj if (oldmangled == NULL)
1530*38fd1498Szrj oldmangled = *mangled;
1531*38fd1498Szrj (*mangled)++;
1532*38fd1498Szrj break;
1533*38fd1498Szrj
1534*38fd1498Szrj case 'L':
1535*38fd1498Szrj /* Local class name follows after "Lnnn_" */
1536*38fd1498Szrj if (HP_DEMANGLING)
1537*38fd1498Szrj {
1538*38fd1498Szrj while (**mangled && (**mangled != '_'))
1539*38fd1498Szrj (*mangled)++;
1540*38fd1498Szrj if (!**mangled)
1541*38fd1498Szrj success = 0;
1542*38fd1498Szrj else
1543*38fd1498Szrj (*mangled)++;
1544*38fd1498Szrj }
1545*38fd1498Szrj else
1546*38fd1498Szrj success = 0;
1547*38fd1498Szrj break;
1548*38fd1498Szrj
1549*38fd1498Szrj case '0': case '1': case '2': case '3': case '4':
1550*38fd1498Szrj case '5': case '6': case '7': case '8': case '9':
1551*38fd1498Szrj if (oldmangled == NULL)
1552*38fd1498Szrj {
1553*38fd1498Szrj oldmangled = *mangled;
1554*38fd1498Szrj }
1555*38fd1498Szrj work->temp_start = -1; /* uppermost call to demangle_class */
1556*38fd1498Szrj success = demangle_class (work, mangled, declp);
1557*38fd1498Szrj if (success)
1558*38fd1498Szrj {
1559*38fd1498Szrj remember_type (work, oldmangled, *mangled - oldmangled);
1560*38fd1498Szrj }
1561*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING || EDG_DEMANGLING)
1562*38fd1498Szrj {
1563*38fd1498Szrj /* EDG and others will have the "F", so we let the loop cycle
1564*38fd1498Szrj if we are looking at one. */
1565*38fd1498Szrj if (**mangled != 'F')
1566*38fd1498Szrj expect_func = 1;
1567*38fd1498Szrj }
1568*38fd1498Szrj oldmangled = NULL;
1569*38fd1498Szrj break;
1570*38fd1498Szrj
1571*38fd1498Szrj case 'B':
1572*38fd1498Szrj {
1573*38fd1498Szrj string s;
1574*38fd1498Szrj success = do_type (work, mangled, &s);
1575*38fd1498Szrj if (success)
1576*38fd1498Szrj {
1577*38fd1498Szrj string_append (&s, SCOPE_STRING (work));
1578*38fd1498Szrj string_prepends (declp, &s);
1579*38fd1498Szrj string_delete (&s);
1580*38fd1498Szrj }
1581*38fd1498Szrj oldmangled = NULL;
1582*38fd1498Szrj expect_func = 1;
1583*38fd1498Szrj }
1584*38fd1498Szrj break;
1585*38fd1498Szrj
1586*38fd1498Szrj case 'F':
1587*38fd1498Szrj /* Function */
1588*38fd1498Szrj /* ARM/HP style demangling includes a specific 'F' character after
1589*38fd1498Szrj the class name. For GNU style, it is just implied. So we can
1590*38fd1498Szrj safely just consume any 'F' at this point and be compatible
1591*38fd1498Szrj with either style. */
1592*38fd1498Szrj
1593*38fd1498Szrj oldmangled = NULL;
1594*38fd1498Szrj func_done = 1;
1595*38fd1498Szrj (*mangled)++;
1596*38fd1498Szrj
1597*38fd1498Szrj /* For lucid/ARM/HP style we have to forget any types we might
1598*38fd1498Szrj have remembered up to this point, since they were not argument
1599*38fd1498Szrj types. GNU style considers all types seen as available for
1600*38fd1498Szrj back references. See comment in demangle_args() */
1601*38fd1498Szrj
1602*38fd1498Szrj if (LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
1603*38fd1498Szrj {
1604*38fd1498Szrj forget_types (work);
1605*38fd1498Szrj }
1606*38fd1498Szrj success = demangle_args (work, mangled, declp);
1607*38fd1498Szrj /* After picking off the function args, we expect to either
1608*38fd1498Szrj find the function return type (preceded by an '_') or the
1609*38fd1498Szrj end of the string. */
1610*38fd1498Szrj if (success && (AUTO_DEMANGLING || EDG_DEMANGLING) && **mangled == '_')
1611*38fd1498Szrj {
1612*38fd1498Szrj ++(*mangled);
1613*38fd1498Szrj /* At this level, we do not care about the return type. */
1614*38fd1498Szrj success = do_type (work, mangled, &tname);
1615*38fd1498Szrj string_delete (&tname);
1616*38fd1498Szrj }
1617*38fd1498Szrj
1618*38fd1498Szrj break;
1619*38fd1498Szrj
1620*38fd1498Szrj case 't':
1621*38fd1498Szrj /* G++ Template */
1622*38fd1498Szrj string_init(&trawname);
1623*38fd1498Szrj string_init(&tname);
1624*38fd1498Szrj if (oldmangled == NULL)
1625*38fd1498Szrj {
1626*38fd1498Szrj oldmangled = *mangled;
1627*38fd1498Szrj }
1628*38fd1498Szrj success = demangle_template (work, mangled, &tname,
1629*38fd1498Szrj &trawname, 1, 1);
1630*38fd1498Szrj if (success)
1631*38fd1498Szrj {
1632*38fd1498Szrj remember_type (work, oldmangled, *mangled - oldmangled);
1633*38fd1498Szrj }
1634*38fd1498Szrj string_append (&tname, SCOPE_STRING (work));
1635*38fd1498Szrj
1636*38fd1498Szrj string_prepends(declp, &tname);
1637*38fd1498Szrj if (work -> destructor & 1)
1638*38fd1498Szrj {
1639*38fd1498Szrj string_prepend (&trawname, "~");
1640*38fd1498Szrj string_appends (declp, &trawname);
1641*38fd1498Szrj work->destructor -= 1;
1642*38fd1498Szrj }
1643*38fd1498Szrj if ((work->constructor & 1) || (work->destructor & 1))
1644*38fd1498Szrj {
1645*38fd1498Szrj string_appends (declp, &trawname);
1646*38fd1498Szrj work->constructor -= 1;
1647*38fd1498Szrj }
1648*38fd1498Szrj string_delete(&trawname);
1649*38fd1498Szrj string_delete(&tname);
1650*38fd1498Szrj oldmangled = NULL;
1651*38fd1498Szrj expect_func = 1;
1652*38fd1498Szrj break;
1653*38fd1498Szrj
1654*38fd1498Szrj case '_':
1655*38fd1498Szrj if ((AUTO_DEMANGLING || GNU_DEMANGLING) && expect_return_type)
1656*38fd1498Szrj {
1657*38fd1498Szrj /* Read the return type. */
1658*38fd1498Szrj string return_type;
1659*38fd1498Szrj
1660*38fd1498Szrj (*mangled)++;
1661*38fd1498Szrj success = do_type (work, mangled, &return_type);
1662*38fd1498Szrj APPEND_BLANK (&return_type);
1663*38fd1498Szrj
1664*38fd1498Szrj string_prepends (declp, &return_type);
1665*38fd1498Szrj string_delete (&return_type);
1666*38fd1498Szrj break;
1667*38fd1498Szrj }
1668*38fd1498Szrj else
1669*38fd1498Szrj /* At the outermost level, we cannot have a return type specified,
1670*38fd1498Szrj so if we run into another '_' at this point we are dealing with
1671*38fd1498Szrj a mangled name that is either bogus, or has been mangled by
1672*38fd1498Szrj some algorithm we don't know how to deal with. So just
1673*38fd1498Szrj reject the entire demangling. */
1674*38fd1498Szrj /* However, "_nnn" is an expected suffix for alternate entry point
1675*38fd1498Szrj numbered nnn for a function, with HP aCC, so skip over that
1676*38fd1498Szrj without reporting failure. pai/1997-09-04 */
1677*38fd1498Szrj if (HP_DEMANGLING)
1678*38fd1498Szrj {
1679*38fd1498Szrj (*mangled)++;
1680*38fd1498Szrj while (**mangled && ISDIGIT ((unsigned char)**mangled))
1681*38fd1498Szrj (*mangled)++;
1682*38fd1498Szrj }
1683*38fd1498Szrj else
1684*38fd1498Szrj success = 0;
1685*38fd1498Szrj break;
1686*38fd1498Szrj
1687*38fd1498Szrj case 'H':
1688*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING)
1689*38fd1498Szrj {
1690*38fd1498Szrj /* A G++ template function. Read the template arguments. */
1691*38fd1498Szrj success = demangle_template (work, mangled, declp, 0, 0,
1692*38fd1498Szrj 0);
1693*38fd1498Szrj if (!(work->constructor & 1))
1694*38fd1498Szrj expect_return_type = 1;
1695*38fd1498Szrj if (!**mangled)
1696*38fd1498Szrj success = 0;
1697*38fd1498Szrj else
1698*38fd1498Szrj (*mangled)++;
1699*38fd1498Szrj break;
1700*38fd1498Szrj }
1701*38fd1498Szrj /* fall through */
1702*38fd1498Szrj
1703*38fd1498Szrj default:
1704*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING)
1705*38fd1498Szrj {
1706*38fd1498Szrj /* Assume we have stumbled onto the first outermost function
1707*38fd1498Szrj argument token, and start processing args. */
1708*38fd1498Szrj func_done = 1;
1709*38fd1498Szrj success = demangle_args (work, mangled, declp);
1710*38fd1498Szrj }
1711*38fd1498Szrj else
1712*38fd1498Szrj {
1713*38fd1498Szrj /* Non-GNU demanglers use a specific token to mark the start
1714*38fd1498Szrj of the outermost function argument tokens. Typically 'F',
1715*38fd1498Szrj for ARM/HP-demangling, for example. So if we find something
1716*38fd1498Szrj we are not prepared for, it must be an error. */
1717*38fd1498Szrj success = 0;
1718*38fd1498Szrj }
1719*38fd1498Szrj break;
1720*38fd1498Szrj }
1721*38fd1498Szrj /*
1722*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING)
1723*38fd1498Szrj */
1724*38fd1498Szrj {
1725*38fd1498Szrj if (success && expect_func)
1726*38fd1498Szrj {
1727*38fd1498Szrj func_done = 1;
1728*38fd1498Szrj if (LUCID_DEMANGLING || ARM_DEMANGLING || EDG_DEMANGLING)
1729*38fd1498Szrj {
1730*38fd1498Szrj forget_types (work);
1731*38fd1498Szrj }
1732*38fd1498Szrj success = demangle_args (work, mangled, declp);
1733*38fd1498Szrj /* Since template include the mangling of their return types,
1734*38fd1498Szrj we must set expect_func to 0 so that we don't try do
1735*38fd1498Szrj demangle more arguments the next time we get here. */
1736*38fd1498Szrj expect_func = 0;
1737*38fd1498Szrj }
1738*38fd1498Szrj }
1739*38fd1498Szrj }
1740*38fd1498Szrj if (success && !func_done)
1741*38fd1498Szrj {
1742*38fd1498Szrj if (AUTO_DEMANGLING || GNU_DEMANGLING)
1743*38fd1498Szrj {
1744*38fd1498Szrj /* With GNU style demangling, bar__3foo is 'foo::bar(void)', and
1745*38fd1498Szrj bar__3fooi is 'foo::bar(int)'. We get here when we find the
1746*38fd1498Szrj first case, and need to ensure that the '(void)' gets added to
1747*38fd1498Szrj the current declp. Note that with ARM/HP, the first case
1748*38fd1498Szrj represents the name of a static data member 'foo::bar',
1749*38fd1498Szrj which is in the current declp, so we leave it alone. */
1750*38fd1498Szrj success = demangle_args (work, mangled, declp);
1751*38fd1498Szrj }
1752*38fd1498Szrj }
1753*38fd1498Szrj if (success && PRINT_ARG_TYPES)
1754*38fd1498Szrj {
1755*38fd1498Szrj if (work->static_type)
1756*38fd1498Szrj string_append (declp, " static");
1757*38fd1498Szrj if (work->type_quals != TYPE_UNQUALIFIED)
1758*38fd1498Szrj {
1759*38fd1498Szrj APPEND_BLANK (declp);
1760*38fd1498Szrj string_append (declp, qualifier_string (work->type_quals));
1761*38fd1498Szrj }
1762*38fd1498Szrj }
1763*38fd1498Szrj
1764*38fd1498Szrj return (success);
1765*38fd1498Szrj }
1766*38fd1498Szrj
1767*38fd1498Szrj #if 0
1768*38fd1498Szrj
1769*38fd1498Szrj static int
1770*38fd1498Szrj demangle_method_args (struct work_stuff *work, const char **mangled,
1771*38fd1498Szrj string *declp)
1772*38fd1498Szrj {
1773*38fd1498Szrj int success = 0;
1774*38fd1498Szrj
1775*38fd1498Szrj if (work -> static_type)
1776*38fd1498Szrj {
1777*38fd1498Szrj string_append (declp, *mangled + 1);
1778*38fd1498Szrj *mangled += strlen (*mangled);
1779*38fd1498Szrj success = 1;
1780*38fd1498Szrj }
1781*38fd1498Szrj else
1782*38fd1498Szrj {
1783*38fd1498Szrj success = demangle_args (work, mangled, declp);
1784*38fd1498Szrj }
1785*38fd1498Szrj return (success);
1786*38fd1498Szrj }
1787*38fd1498Szrj
1788*38fd1498Szrj #endif
1789*38fd1498Szrj
1790*38fd1498Szrj static int
demangle_template_template_parm(struct work_stuff * work,const char ** mangled,string * tname)1791*38fd1498Szrj demangle_template_template_parm (struct work_stuff *work,
1792*38fd1498Szrj const char **mangled, string *tname)
1793*38fd1498Szrj {
1794*38fd1498Szrj int i;
1795*38fd1498Szrj int r;
1796*38fd1498Szrj int need_comma = 0;
1797*38fd1498Szrj int success = 1;
1798*38fd1498Szrj string temp;
1799*38fd1498Szrj
1800*38fd1498Szrj string_append (tname, "template <");
1801*38fd1498Szrj /* get size of template parameter list */
1802*38fd1498Szrj if (get_count (mangled, &r))
1803*38fd1498Szrj {
1804*38fd1498Szrj for (i = 0; i < r; i++)
1805*38fd1498Szrj {
1806*38fd1498Szrj if (need_comma)
1807*38fd1498Szrj {
1808*38fd1498Szrj string_append (tname, ", ");
1809*38fd1498Szrj }
1810*38fd1498Szrj
1811*38fd1498Szrj /* Z for type parameters */
1812*38fd1498Szrj if (**mangled == 'Z')
1813*38fd1498Szrj {
1814*38fd1498Szrj (*mangled)++;
1815*38fd1498Szrj string_append (tname, "class");
1816*38fd1498Szrj }
1817*38fd1498Szrj /* z for template parameters */
1818*38fd1498Szrj else if (**mangled == 'z')
1819*38fd1498Szrj {
1820*38fd1498Szrj (*mangled)++;
1821*38fd1498Szrj success =
1822*38fd1498Szrj demangle_template_template_parm (work, mangled, tname);
1823*38fd1498Szrj if (!success)
1824*38fd1498Szrj {
1825*38fd1498Szrj break;
1826*38fd1498Szrj }
1827*38fd1498Szrj }
1828*38fd1498Szrj else
1829*38fd1498Szrj {
1830*38fd1498Szrj /* temp is initialized in do_type */
1831*38fd1498Szrj success = do_type (work, mangled, &temp);
1832*38fd1498Szrj if (success)
1833*38fd1498Szrj {
1834*38fd1498Szrj string_appends (tname, &temp);
1835*38fd1498Szrj }
1836*38fd1498Szrj string_delete(&temp);
1837*38fd1498Szrj if (!success)
1838*38fd1498Szrj {
1839*38fd1498Szrj break;
1840*38fd1498Szrj }
1841*38fd1498Szrj }
1842*38fd1498Szrj need_comma = 1;
1843*38fd1498Szrj }
1844*38fd1498Szrj
1845*38fd1498Szrj }
1846*38fd1498Szrj if (tname->p[-1] == '>')
1847*38fd1498Szrj string_append (tname, " ");
1848*38fd1498Szrj string_append (tname, "> class");
1849*38fd1498Szrj return (success);
1850*38fd1498Szrj }
1851*38fd1498Szrj
1852*38fd1498Szrj static int
demangle_expression(struct work_stuff * work,const char ** mangled,string * s,type_kind_t tk)1853*38fd1498Szrj demangle_expression (struct work_stuff *work, const char **mangled,
1854*38fd1498Szrj string *s, type_kind_t tk)
1855*38fd1498Szrj {
1856*38fd1498Szrj int need_operator = 0;
1857*38fd1498Szrj int success;
1858*38fd1498Szrj
1859*38fd1498Szrj success = 1;
1860*38fd1498Szrj string_appendn (s, "(", 1);
1861*38fd1498Szrj (*mangled)++;
1862*38fd1498Szrj while (success && **mangled != 'W' && **mangled != '\0')
1863*38fd1498Szrj {
1864*38fd1498Szrj if (need_operator)
1865*38fd1498Szrj {
1866*38fd1498Szrj size_t i;
1867*38fd1498Szrj size_t len;
1868*38fd1498Szrj
1869*38fd1498Szrj success = 0;
1870*38fd1498Szrj
1871*38fd1498Szrj len = strlen (*mangled);
1872*38fd1498Szrj
1873*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); ++i)
1874*38fd1498Szrj {
1875*38fd1498Szrj size_t l = strlen (optable[i].in);
1876*38fd1498Szrj
1877*38fd1498Szrj if (l <= len
1878*38fd1498Szrj && memcmp (optable[i].in, *mangled, l) == 0)
1879*38fd1498Szrj {
1880*38fd1498Szrj string_appendn (s, " ", 1);
1881*38fd1498Szrj string_append (s, optable[i].out);
1882*38fd1498Szrj string_appendn (s, " ", 1);
1883*38fd1498Szrj success = 1;
1884*38fd1498Szrj (*mangled) += l;
1885*38fd1498Szrj break;
1886*38fd1498Szrj }
1887*38fd1498Szrj }
1888*38fd1498Szrj
1889*38fd1498Szrj if (!success)
1890*38fd1498Szrj break;
1891*38fd1498Szrj }
1892*38fd1498Szrj else
1893*38fd1498Szrj need_operator = 1;
1894*38fd1498Szrj
1895*38fd1498Szrj success = demangle_template_value_parm (work, mangled, s, tk);
1896*38fd1498Szrj }
1897*38fd1498Szrj
1898*38fd1498Szrj if (**mangled != 'W')
1899*38fd1498Szrj success = 0;
1900*38fd1498Szrj else
1901*38fd1498Szrj {
1902*38fd1498Szrj string_appendn (s, ")", 1);
1903*38fd1498Szrj (*mangled)++;
1904*38fd1498Szrj }
1905*38fd1498Szrj
1906*38fd1498Szrj return success;
1907*38fd1498Szrj }
1908*38fd1498Szrj
1909*38fd1498Szrj static int
demangle_integral_value(struct work_stuff * work,const char ** mangled,string * s)1910*38fd1498Szrj demangle_integral_value (struct work_stuff *work,
1911*38fd1498Szrj const char **mangled, string *s)
1912*38fd1498Szrj {
1913*38fd1498Szrj int success;
1914*38fd1498Szrj
1915*38fd1498Szrj if (**mangled == 'E')
1916*38fd1498Szrj success = demangle_expression (work, mangled, s, tk_integral);
1917*38fd1498Szrj else if (**mangled == 'Q' || **mangled == 'K')
1918*38fd1498Szrj success = demangle_qualified (work, mangled, s, 0, 1);
1919*38fd1498Szrj else
1920*38fd1498Szrj {
1921*38fd1498Szrj int value;
1922*38fd1498Szrj
1923*38fd1498Szrj /* By default, we let the number decide whether we shall consume an
1924*38fd1498Szrj underscore. */
1925*38fd1498Szrj int multidigit_without_leading_underscore = 0;
1926*38fd1498Szrj int leave_following_underscore = 0;
1927*38fd1498Szrj
1928*38fd1498Szrj success = 0;
1929*38fd1498Szrj
1930*38fd1498Szrj if (**mangled == '_')
1931*38fd1498Szrj {
1932*38fd1498Szrj if (mangled[0][1] == 'm')
1933*38fd1498Szrj {
1934*38fd1498Szrj /* Since consume_count_with_underscores does not handle the
1935*38fd1498Szrj `m'-prefix we must do it here, using consume_count and
1936*38fd1498Szrj adjusting underscores: we have to consume the underscore
1937*38fd1498Szrj matching the prepended one. */
1938*38fd1498Szrj multidigit_without_leading_underscore = 1;
1939*38fd1498Szrj string_appendn (s, "-", 1);
1940*38fd1498Szrj (*mangled) += 2;
1941*38fd1498Szrj }
1942*38fd1498Szrj else
1943*38fd1498Szrj {
1944*38fd1498Szrj /* Do not consume a following underscore;
1945*38fd1498Szrj consume_count_with_underscores will consume what
1946*38fd1498Szrj should be consumed. */
1947*38fd1498Szrj leave_following_underscore = 1;
1948*38fd1498Szrj }
1949*38fd1498Szrj }
1950*38fd1498Szrj else
1951*38fd1498Szrj {
1952*38fd1498Szrj /* Negative numbers are indicated with a leading `m'. */
1953*38fd1498Szrj if (**mangled == 'm')
1954*38fd1498Szrj {
1955*38fd1498Szrj string_appendn (s, "-", 1);
1956*38fd1498Szrj (*mangled)++;
1957*38fd1498Szrj }
1958*38fd1498Szrj /* Since consume_count_with_underscores does not handle
1959*38fd1498Szrj multi-digit numbers that do not start with an underscore,
1960*38fd1498Szrj and this number can be an integer template parameter,
1961*38fd1498Szrj we have to call consume_count. */
1962*38fd1498Szrj multidigit_without_leading_underscore = 1;
1963*38fd1498Szrj /* These multi-digit numbers never end on an underscore,
1964*38fd1498Szrj so if there is one then don't eat it. */
1965*38fd1498Szrj leave_following_underscore = 1;
1966*38fd1498Szrj }
1967*38fd1498Szrj
1968*38fd1498Szrj /* We must call consume_count if we expect to remove a trailing
1969*38fd1498Szrj underscore, since consume_count_with_underscores expects
1970*38fd1498Szrj the leading underscore (that we consumed) if it is to handle
1971*38fd1498Szrj multi-digit numbers. */
1972*38fd1498Szrj if (multidigit_without_leading_underscore)
1973*38fd1498Szrj value = consume_count (mangled);
1974*38fd1498Szrj else
1975*38fd1498Szrj value = consume_count_with_underscores (mangled);
1976*38fd1498Szrj
1977*38fd1498Szrj if (value != -1)
1978*38fd1498Szrj {
1979*38fd1498Szrj char buf[INTBUF_SIZE];
1980*38fd1498Szrj sprintf (buf, "%d", value);
1981*38fd1498Szrj string_append (s, buf);
1982*38fd1498Szrj
1983*38fd1498Szrj /* Numbers not otherwise delimited, might have an underscore
1984*38fd1498Szrj appended as a delimeter, which we should skip.
1985*38fd1498Szrj
1986*38fd1498Szrj ??? This used to always remove a following underscore, which
1987*38fd1498Szrj is wrong. If other (arbitrary) cases are followed by an
1988*38fd1498Szrj underscore, we need to do something more radical. */
1989*38fd1498Szrj
1990*38fd1498Szrj if ((value > 9 || multidigit_without_leading_underscore)
1991*38fd1498Szrj && ! leave_following_underscore
1992*38fd1498Szrj && **mangled == '_')
1993*38fd1498Szrj (*mangled)++;
1994*38fd1498Szrj
1995*38fd1498Szrj /* All is well. */
1996*38fd1498Szrj success = 1;
1997*38fd1498Szrj }
1998*38fd1498Szrj }
1999*38fd1498Szrj
2000*38fd1498Szrj return success;
2001*38fd1498Szrj }
2002*38fd1498Szrj
2003*38fd1498Szrj /* Demangle the real value in MANGLED. */
2004*38fd1498Szrj
2005*38fd1498Szrj static int
demangle_real_value(struct work_stuff * work,const char ** mangled,string * s)2006*38fd1498Szrj demangle_real_value (struct work_stuff *work,
2007*38fd1498Szrj const char **mangled, string *s)
2008*38fd1498Szrj {
2009*38fd1498Szrj if (**mangled == 'E')
2010*38fd1498Szrj return demangle_expression (work, mangled, s, tk_real);
2011*38fd1498Szrj
2012*38fd1498Szrj if (**mangled == 'm')
2013*38fd1498Szrj {
2014*38fd1498Szrj string_appendn (s, "-", 1);
2015*38fd1498Szrj (*mangled)++;
2016*38fd1498Szrj }
2017*38fd1498Szrj while (ISDIGIT ((unsigned char)**mangled))
2018*38fd1498Szrj {
2019*38fd1498Szrj string_appendn (s, *mangled, 1);
2020*38fd1498Szrj (*mangled)++;
2021*38fd1498Szrj }
2022*38fd1498Szrj if (**mangled == '.') /* fraction */
2023*38fd1498Szrj {
2024*38fd1498Szrj string_appendn (s, ".", 1);
2025*38fd1498Szrj (*mangled)++;
2026*38fd1498Szrj while (ISDIGIT ((unsigned char)**mangled))
2027*38fd1498Szrj {
2028*38fd1498Szrj string_appendn (s, *mangled, 1);
2029*38fd1498Szrj (*mangled)++;
2030*38fd1498Szrj }
2031*38fd1498Szrj }
2032*38fd1498Szrj if (**mangled == 'e') /* exponent */
2033*38fd1498Szrj {
2034*38fd1498Szrj string_appendn (s, "e", 1);
2035*38fd1498Szrj (*mangled)++;
2036*38fd1498Szrj while (ISDIGIT ((unsigned char)**mangled))
2037*38fd1498Szrj {
2038*38fd1498Szrj string_appendn (s, *mangled, 1);
2039*38fd1498Szrj (*mangled)++;
2040*38fd1498Szrj }
2041*38fd1498Szrj }
2042*38fd1498Szrj
2043*38fd1498Szrj return 1;
2044*38fd1498Szrj }
2045*38fd1498Szrj
2046*38fd1498Szrj static int
demangle_template_value_parm(struct work_stuff * work,const char ** mangled,string * s,type_kind_t tk)2047*38fd1498Szrj demangle_template_value_parm (struct work_stuff *work, const char **mangled,
2048*38fd1498Szrj string *s, type_kind_t tk)
2049*38fd1498Szrj {
2050*38fd1498Szrj int success = 1;
2051*38fd1498Szrj
2052*38fd1498Szrj if (**mangled == 'Y')
2053*38fd1498Szrj {
2054*38fd1498Szrj /* The next argument is a template parameter. */
2055*38fd1498Szrj int idx;
2056*38fd1498Szrj
2057*38fd1498Szrj (*mangled)++;
2058*38fd1498Szrj idx = consume_count_with_underscores (mangled);
2059*38fd1498Szrj if (idx == -1
2060*38fd1498Szrj || (work->tmpl_argvec && idx >= work->ntmpl_args)
2061*38fd1498Szrj || consume_count_with_underscores (mangled) == -1)
2062*38fd1498Szrj return -1;
2063*38fd1498Szrj if (work->tmpl_argvec)
2064*38fd1498Szrj string_append (s, work->tmpl_argvec[idx]);
2065*38fd1498Szrj else
2066*38fd1498Szrj string_append_template_idx (s, idx);
2067*38fd1498Szrj }
2068*38fd1498Szrj else if (tk == tk_integral)
2069*38fd1498Szrj success = demangle_integral_value (work, mangled, s);
2070*38fd1498Szrj else if (tk == tk_char)
2071*38fd1498Szrj {
2072*38fd1498Szrj char tmp[2];
2073*38fd1498Szrj int val;
2074*38fd1498Szrj if (**mangled == 'm')
2075*38fd1498Szrj {
2076*38fd1498Szrj string_appendn (s, "-", 1);
2077*38fd1498Szrj (*mangled)++;
2078*38fd1498Szrj }
2079*38fd1498Szrj string_appendn (s, "'", 1);
2080*38fd1498Szrj val = consume_count(mangled);
2081*38fd1498Szrj if (val <= 0)
2082*38fd1498Szrj success = 0;
2083*38fd1498Szrj else
2084*38fd1498Szrj {
2085*38fd1498Szrj tmp[0] = (char)val;
2086*38fd1498Szrj tmp[1] = '\0';
2087*38fd1498Szrj string_appendn (s, &tmp[0], 1);
2088*38fd1498Szrj string_appendn (s, "'", 1);
2089*38fd1498Szrj }
2090*38fd1498Szrj }
2091*38fd1498Szrj else if (tk == tk_bool)
2092*38fd1498Szrj {
2093*38fd1498Szrj int val = consume_count (mangled);
2094*38fd1498Szrj if (val == 0)
2095*38fd1498Szrj string_appendn (s, "false", 5);
2096*38fd1498Szrj else if (val == 1)
2097*38fd1498Szrj string_appendn (s, "true", 4);
2098*38fd1498Szrj else
2099*38fd1498Szrj success = 0;
2100*38fd1498Szrj }
2101*38fd1498Szrj else if (tk == tk_real)
2102*38fd1498Szrj success = demangle_real_value (work, mangled, s);
2103*38fd1498Szrj else if (tk == tk_pointer || tk == tk_reference
2104*38fd1498Szrj || tk == tk_rvalue_reference)
2105*38fd1498Szrj {
2106*38fd1498Szrj if (**mangled == 'Q')
2107*38fd1498Szrj success = demangle_qualified (work, mangled, s,
2108*38fd1498Szrj /*isfuncname=*/0,
2109*38fd1498Szrj /*append=*/1);
2110*38fd1498Szrj else
2111*38fd1498Szrj {
2112*38fd1498Szrj int symbol_len = consume_count (mangled);
2113*38fd1498Szrj if (symbol_len == -1
2114*38fd1498Szrj || symbol_len > (long) strlen (*mangled))
2115*38fd1498Szrj return -1;
2116*38fd1498Szrj if (symbol_len == 0)
2117*38fd1498Szrj string_appendn (s, "0", 1);
2118*38fd1498Szrj else
2119*38fd1498Szrj {
2120*38fd1498Szrj char *p = XNEWVEC (char, symbol_len + 1), *q;
2121*38fd1498Szrj strncpy (p, *mangled, symbol_len);
2122*38fd1498Szrj p [symbol_len] = '\0';
2123*38fd1498Szrj /* We use cplus_demangle here, rather than
2124*38fd1498Szrj internal_cplus_demangle, because the name of the entity
2125*38fd1498Szrj mangled here does not make use of any of the squangling
2126*38fd1498Szrj or type-code information we have built up thus far; it is
2127*38fd1498Szrj mangled independently. */
2128*38fd1498Szrj q = cplus_demangle (p, work->options);
2129*38fd1498Szrj if (tk == tk_pointer)
2130*38fd1498Szrj string_appendn (s, "&", 1);
2131*38fd1498Szrj /* FIXME: Pointer-to-member constants should get a
2132*38fd1498Szrj qualifying class name here. */
2133*38fd1498Szrj if (q)
2134*38fd1498Szrj {
2135*38fd1498Szrj string_append (s, q);
2136*38fd1498Szrj free (q);
2137*38fd1498Szrj }
2138*38fd1498Szrj else
2139*38fd1498Szrj string_append (s, p);
2140*38fd1498Szrj free (p);
2141*38fd1498Szrj }
2142*38fd1498Szrj *mangled += symbol_len;
2143*38fd1498Szrj }
2144*38fd1498Szrj }
2145*38fd1498Szrj
2146*38fd1498Szrj return success;
2147*38fd1498Szrj }
2148*38fd1498Szrj
2149*38fd1498Szrj /* Demangle the template name in MANGLED. The full name of the
2150*38fd1498Szrj template (e.g., S<int>) is placed in TNAME. The name without the
2151*38fd1498Szrj template parameters (e.g. S) is placed in TRAWNAME if TRAWNAME is
2152*38fd1498Szrj non-NULL. If IS_TYPE is nonzero, this template is a type template,
2153*38fd1498Szrj not a function template. If both IS_TYPE and REMEMBER are nonzero,
2154*38fd1498Szrj the template is remembered in the list of back-referenceable
2155*38fd1498Szrj types. */
2156*38fd1498Szrj
2157*38fd1498Szrj static int
demangle_template(struct work_stuff * work,const char ** mangled,string * tname,string * trawname,int is_type,int remember)2158*38fd1498Szrj demangle_template (struct work_stuff *work, const char **mangled,
2159*38fd1498Szrj string *tname, string *trawname,
2160*38fd1498Szrj int is_type, int remember)
2161*38fd1498Szrj {
2162*38fd1498Szrj int i;
2163*38fd1498Szrj int r;
2164*38fd1498Szrj int need_comma = 0;
2165*38fd1498Szrj int success = 0;
2166*38fd1498Szrj int is_java_array = 0;
2167*38fd1498Szrj string temp;
2168*38fd1498Szrj
2169*38fd1498Szrj (*mangled)++;
2170*38fd1498Szrj if (is_type)
2171*38fd1498Szrj {
2172*38fd1498Szrj /* get template name */
2173*38fd1498Szrj if (**mangled == 'z')
2174*38fd1498Szrj {
2175*38fd1498Szrj int idx;
2176*38fd1498Szrj (*mangled)++;
2177*38fd1498Szrj if (**mangled == '\0')
2178*38fd1498Szrj return (0);
2179*38fd1498Szrj (*mangled)++;
2180*38fd1498Szrj
2181*38fd1498Szrj idx = consume_count_with_underscores (mangled);
2182*38fd1498Szrj if (idx == -1
2183*38fd1498Szrj || (work->tmpl_argvec && idx >= work->ntmpl_args)
2184*38fd1498Szrj || consume_count_with_underscores (mangled) == -1)
2185*38fd1498Szrj return (0);
2186*38fd1498Szrj
2187*38fd1498Szrj if (work->tmpl_argvec)
2188*38fd1498Szrj {
2189*38fd1498Szrj string_append (tname, work->tmpl_argvec[idx]);
2190*38fd1498Szrj if (trawname)
2191*38fd1498Szrj string_append (trawname, work->tmpl_argvec[idx]);
2192*38fd1498Szrj }
2193*38fd1498Szrj else
2194*38fd1498Szrj {
2195*38fd1498Szrj string_append_template_idx (tname, idx);
2196*38fd1498Szrj if (trawname)
2197*38fd1498Szrj string_append_template_idx (trawname, idx);
2198*38fd1498Szrj }
2199*38fd1498Szrj }
2200*38fd1498Szrj else
2201*38fd1498Szrj {
2202*38fd1498Szrj if ((r = consume_count (mangled)) <= 0
2203*38fd1498Szrj || (int) strlen (*mangled) < r)
2204*38fd1498Szrj {
2205*38fd1498Szrj return (0);
2206*38fd1498Szrj }
2207*38fd1498Szrj is_java_array = (work -> options & DMGL_JAVA)
2208*38fd1498Szrj && strncmp (*mangled, "JArray1Z", 8) == 0;
2209*38fd1498Szrj if (! is_java_array)
2210*38fd1498Szrj {
2211*38fd1498Szrj string_appendn (tname, *mangled, r);
2212*38fd1498Szrj }
2213*38fd1498Szrj if (trawname)
2214*38fd1498Szrj string_appendn (trawname, *mangled, r);
2215*38fd1498Szrj *mangled += r;
2216*38fd1498Szrj }
2217*38fd1498Szrj }
2218*38fd1498Szrj if (!is_java_array)
2219*38fd1498Szrj string_append (tname, "<");
2220*38fd1498Szrj /* get size of template parameter list */
2221*38fd1498Szrj if (!get_count (mangled, &r))
2222*38fd1498Szrj {
2223*38fd1498Szrj return (0);
2224*38fd1498Szrj }
2225*38fd1498Szrj if (!is_type)
2226*38fd1498Szrj {
2227*38fd1498Szrj /* Create an array for saving the template argument values. */
2228*38fd1498Szrj work->tmpl_argvec = XNEWVEC (char *, r);
2229*38fd1498Szrj work->ntmpl_args = r;
2230*38fd1498Szrj for (i = 0; i < r; i++)
2231*38fd1498Szrj work->tmpl_argvec[i] = 0;
2232*38fd1498Szrj }
2233*38fd1498Szrj for (i = 0; i < r; i++)
2234*38fd1498Szrj {
2235*38fd1498Szrj if (need_comma)
2236*38fd1498Szrj {
2237*38fd1498Szrj string_append (tname, ", ");
2238*38fd1498Szrj }
2239*38fd1498Szrj /* Z for type parameters */
2240*38fd1498Szrj if (**mangled == 'Z')
2241*38fd1498Szrj {
2242*38fd1498Szrj (*mangled)++;
2243*38fd1498Szrj /* temp is initialized in do_type */
2244*38fd1498Szrj success = do_type (work, mangled, &temp);
2245*38fd1498Szrj if (success)
2246*38fd1498Szrj {
2247*38fd1498Szrj string_appends (tname, &temp);
2248*38fd1498Szrj
2249*38fd1498Szrj if (!is_type)
2250*38fd1498Szrj {
2251*38fd1498Szrj /* Save the template argument. */
2252*38fd1498Szrj int len = temp.p - temp.b;
2253*38fd1498Szrj work->tmpl_argvec[i] = XNEWVEC (char, len + 1);
2254*38fd1498Szrj memcpy (work->tmpl_argvec[i], temp.b, len);
2255*38fd1498Szrj work->tmpl_argvec[i][len] = '\0';
2256*38fd1498Szrj }
2257*38fd1498Szrj }
2258*38fd1498Szrj string_delete(&temp);
2259*38fd1498Szrj if (!success)
2260*38fd1498Szrj {
2261*38fd1498Szrj break;
2262*38fd1498Szrj }
2263*38fd1498Szrj }
2264*38fd1498Szrj /* z for template parameters */
2265*38fd1498Szrj else if (**mangled == 'z')
2266*38fd1498Szrj {
2267*38fd1498Szrj int r2;
2268*38fd1498Szrj (*mangled)++;
2269*38fd1498Szrj success = demangle_template_template_parm (work, mangled, tname);
2270*38fd1498Szrj
2271*38fd1498Szrj if (success
2272*38fd1498Szrj && (r2 = consume_count (mangled)) > 0
2273*38fd1498Szrj && (int) strlen (*mangled) >= r2)
2274*38fd1498Szrj {
2275*38fd1498Szrj string_append (tname, " ");
2276*38fd1498Szrj string_appendn (tname, *mangled, r2);
2277*38fd1498Szrj if (!is_type)
2278*38fd1498Szrj {
2279*38fd1498Szrj /* Save the template argument. */
2280*38fd1498Szrj int len = r2;
2281*38fd1498Szrj work->tmpl_argvec[i] = XNEWVEC (char, len + 1);
2282*38fd1498Szrj memcpy (work->tmpl_argvec[i], *mangled, len);
2283*38fd1498Szrj work->tmpl_argvec[i][len] = '\0';
2284*38fd1498Szrj }
2285*38fd1498Szrj *mangled += r2;
2286*38fd1498Szrj }
2287*38fd1498Szrj if (!success)
2288*38fd1498Szrj {
2289*38fd1498Szrj break;
2290*38fd1498Szrj }
2291*38fd1498Szrj }
2292*38fd1498Szrj else
2293*38fd1498Szrj {
2294*38fd1498Szrj string param;
2295*38fd1498Szrj string* s;
2296*38fd1498Szrj
2297*38fd1498Szrj /* otherwise, value parameter */
2298*38fd1498Szrj
2299*38fd1498Szrj /* temp is initialized in do_type */
2300*38fd1498Szrj success = do_type (work, mangled, &temp);
2301*38fd1498Szrj string_delete(&temp);
2302*38fd1498Szrj if (!success)
2303*38fd1498Szrj break;
2304*38fd1498Szrj
2305*38fd1498Szrj if (!is_type)
2306*38fd1498Szrj {
2307*38fd1498Szrj s = ¶m;
2308*38fd1498Szrj string_init (s);
2309*38fd1498Szrj }
2310*38fd1498Szrj else
2311*38fd1498Szrj s = tname;
2312*38fd1498Szrj
2313*38fd1498Szrj success = demangle_template_value_parm (work, mangled, s,
2314*38fd1498Szrj (type_kind_t) success);
2315*38fd1498Szrj
2316*38fd1498Szrj if (!success)
2317*38fd1498Szrj {
2318*38fd1498Szrj if (!is_type)
2319*38fd1498Szrj string_delete (s);
2320*38fd1498Szrj success = 0;
2321*38fd1498Szrj break;
2322*38fd1498Szrj }
2323*38fd1498Szrj
2324*38fd1498Szrj if (!is_type)
2325*38fd1498Szrj {
2326*38fd1498Szrj int len = s->p - s->b;
2327*38fd1498Szrj work->tmpl_argvec[i] = XNEWVEC (char, len + 1);
2328*38fd1498Szrj memcpy (work->tmpl_argvec[i], s->b, len);
2329*38fd1498Szrj work->tmpl_argvec[i][len] = '\0';
2330*38fd1498Szrj
2331*38fd1498Szrj string_appends (tname, s);
2332*38fd1498Szrj string_delete (s);
2333*38fd1498Szrj }
2334*38fd1498Szrj }
2335*38fd1498Szrj need_comma = 1;
2336*38fd1498Szrj }
2337*38fd1498Szrj if (is_java_array)
2338*38fd1498Szrj {
2339*38fd1498Szrj string_append (tname, "[]");
2340*38fd1498Szrj }
2341*38fd1498Szrj else
2342*38fd1498Szrj {
2343*38fd1498Szrj if (tname->p[-1] == '>')
2344*38fd1498Szrj string_append (tname, " ");
2345*38fd1498Szrj string_append (tname, ">");
2346*38fd1498Szrj }
2347*38fd1498Szrj
2348*38fd1498Szrj if (is_type && remember)
2349*38fd1498Szrj {
2350*38fd1498Szrj const int bindex = register_Btype (work);
2351*38fd1498Szrj remember_Btype (work, tname->b, LEN_STRING (tname), bindex);
2352*38fd1498Szrj }
2353*38fd1498Szrj
2354*38fd1498Szrj /*
2355*38fd1498Szrj if (work -> static_type)
2356*38fd1498Szrj {
2357*38fd1498Szrj string_append (declp, *mangled + 1);
2358*38fd1498Szrj *mangled += strlen (*mangled);
2359*38fd1498Szrj success = 1;
2360*38fd1498Szrj }
2361*38fd1498Szrj else
2362*38fd1498Szrj {
2363*38fd1498Szrj success = demangle_args (work, mangled, declp);
2364*38fd1498Szrj }
2365*38fd1498Szrj }
2366*38fd1498Szrj */
2367*38fd1498Szrj return (success);
2368*38fd1498Szrj }
2369*38fd1498Szrj
2370*38fd1498Szrj static int
arm_pt(struct work_stuff * work,const char * mangled,int n,const char ** anchor,const char ** args)2371*38fd1498Szrj arm_pt (struct work_stuff *work, const char *mangled,
2372*38fd1498Szrj int n, const char **anchor, const char **args)
2373*38fd1498Szrj {
2374*38fd1498Szrj /* Check if ARM template with "__pt__" in it ("parameterized type") */
2375*38fd1498Szrj /* Allow HP also here, because HP's cfront compiler follows ARM to some extent */
2376*38fd1498Szrj if ((ARM_DEMANGLING || HP_DEMANGLING) && (*anchor = strstr (mangled, "__pt__")))
2377*38fd1498Szrj {
2378*38fd1498Szrj int len;
2379*38fd1498Szrj *args = *anchor + 6;
2380*38fd1498Szrj len = consume_count (args);
2381*38fd1498Szrj if (len == -1)
2382*38fd1498Szrj return 0;
2383*38fd1498Szrj if (*args + len == mangled + n && **args == '_')
2384*38fd1498Szrj {
2385*38fd1498Szrj ++*args;
2386*38fd1498Szrj return 1;
2387*38fd1498Szrj }
2388*38fd1498Szrj }
2389*38fd1498Szrj if (AUTO_DEMANGLING || EDG_DEMANGLING)
2390*38fd1498Szrj {
2391*38fd1498Szrj if ((*anchor = strstr (mangled, "__tm__"))
2392*38fd1498Szrj || (*anchor = strstr (mangled, "__ps__"))
2393*38fd1498Szrj || (*anchor = strstr (mangled, "__pt__")))
2394*38fd1498Szrj {
2395*38fd1498Szrj int len;
2396*38fd1498Szrj *args = *anchor + 6;
2397*38fd1498Szrj len = consume_count (args);
2398*38fd1498Szrj if (len == -1)
2399*38fd1498Szrj return 0;
2400*38fd1498Szrj if (*args + len == mangled + n && **args == '_')
2401*38fd1498Szrj {
2402*38fd1498Szrj ++*args;
2403*38fd1498Szrj return 1;
2404*38fd1498Szrj }
2405*38fd1498Szrj }
2406*38fd1498Szrj else if ((*anchor = strstr (mangled, "__S")))
2407*38fd1498Szrj {
2408*38fd1498Szrj int len;
2409*38fd1498Szrj *args = *anchor + 3;
2410*38fd1498Szrj len = consume_count (args);
2411*38fd1498Szrj if (len == -1)
2412*38fd1498Szrj return 0;
2413*38fd1498Szrj if (*args + len == mangled + n && **args == '_')
2414*38fd1498Szrj {
2415*38fd1498Szrj ++*args;
2416*38fd1498Szrj return 1;
2417*38fd1498Szrj }
2418*38fd1498Szrj }
2419*38fd1498Szrj }
2420*38fd1498Szrj
2421*38fd1498Szrj return 0;
2422*38fd1498Szrj }
2423*38fd1498Szrj
2424*38fd1498Szrj static void
demangle_arm_hp_template(struct work_stuff * work,const char ** mangled,int n,string * declp)2425*38fd1498Szrj demangle_arm_hp_template (struct work_stuff *work, const char **mangled,
2426*38fd1498Szrj int n, string *declp)
2427*38fd1498Szrj {
2428*38fd1498Szrj const char *p;
2429*38fd1498Szrj const char *args;
2430*38fd1498Szrj const char *e = *mangled + n;
2431*38fd1498Szrj string arg;
2432*38fd1498Szrj
2433*38fd1498Szrj /* Check for HP aCC template spec: classXt1t2 where t1, t2 are
2434*38fd1498Szrj template args */
2435*38fd1498Szrj if (HP_DEMANGLING && ((*mangled)[n] == 'X'))
2436*38fd1498Szrj {
2437*38fd1498Szrj char *start_spec_args = NULL;
2438*38fd1498Szrj int hold_options;
2439*38fd1498Szrj
2440*38fd1498Szrj /* First check for and omit template specialization pseudo-arguments,
2441*38fd1498Szrj such as in "Spec<#1,#1.*>" */
2442*38fd1498Szrj start_spec_args = strchr (*mangled, '<');
2443*38fd1498Szrj if (start_spec_args && (start_spec_args - *mangled < n))
2444*38fd1498Szrj string_appendn (declp, *mangled, start_spec_args - *mangled);
2445*38fd1498Szrj else
2446*38fd1498Szrj string_appendn (declp, *mangled, n);
2447*38fd1498Szrj (*mangled) += n + 1;
2448*38fd1498Szrj string_init (&arg);
2449*38fd1498Szrj if (work->temp_start == -1) /* non-recursive call */
2450*38fd1498Szrj work->temp_start = declp->p - declp->b;
2451*38fd1498Szrj
2452*38fd1498Szrj /* We want to unconditionally demangle parameter types in
2453*38fd1498Szrj template parameters. */
2454*38fd1498Szrj hold_options = work->options;
2455*38fd1498Szrj work->options |= DMGL_PARAMS;
2456*38fd1498Szrj
2457*38fd1498Szrj string_append (declp, "<");
2458*38fd1498Szrj while (1)
2459*38fd1498Szrj {
2460*38fd1498Szrj string_delete (&arg);
2461*38fd1498Szrj switch (**mangled)
2462*38fd1498Szrj {
2463*38fd1498Szrj case 'T':
2464*38fd1498Szrj /* 'T' signals a type parameter */
2465*38fd1498Szrj (*mangled)++;
2466*38fd1498Szrj if (!do_type (work, mangled, &arg))
2467*38fd1498Szrj goto hpacc_template_args_done;
2468*38fd1498Szrj break;
2469*38fd1498Szrj
2470*38fd1498Szrj case 'U':
2471*38fd1498Szrj case 'S':
2472*38fd1498Szrj /* 'U' or 'S' signals an integral value */
2473*38fd1498Szrj if (!do_hpacc_template_const_value (work, mangled, &arg))
2474*38fd1498Szrj goto hpacc_template_args_done;
2475*38fd1498Szrj break;
2476*38fd1498Szrj
2477*38fd1498Szrj case 'A':
2478*38fd1498Szrj /* 'A' signals a named constant expression (literal) */
2479*38fd1498Szrj if (!do_hpacc_template_literal (work, mangled, &arg))
2480*38fd1498Szrj goto hpacc_template_args_done;
2481*38fd1498Szrj break;
2482*38fd1498Szrj
2483*38fd1498Szrj default:
2484*38fd1498Szrj /* Today, 1997-09-03, we have only the above types
2485*38fd1498Szrj of template parameters */
2486*38fd1498Szrj /* FIXME: maybe this should fail and return null */
2487*38fd1498Szrj goto hpacc_template_args_done;
2488*38fd1498Szrj }
2489*38fd1498Szrj string_appends (declp, &arg);
2490*38fd1498Szrj /* Check if we're at the end of template args.
2491*38fd1498Szrj 0 if at end of static member of template class,
2492*38fd1498Szrj _ if done with template args for a function */
2493*38fd1498Szrj if ((**mangled == '\000') || (**mangled == '_'))
2494*38fd1498Szrj break;
2495*38fd1498Szrj else
2496*38fd1498Szrj string_append (declp, ",");
2497*38fd1498Szrj }
2498*38fd1498Szrj hpacc_template_args_done:
2499*38fd1498Szrj string_append (declp, ">");
2500*38fd1498Szrj string_delete (&arg);
2501*38fd1498Szrj if (**mangled == '_')
2502*38fd1498Szrj (*mangled)++;
2503*38fd1498Szrj work->options = hold_options;
2504*38fd1498Szrj return;
2505*38fd1498Szrj }
2506*38fd1498Szrj /* ARM template? (Also handles HP cfront extensions) */
2507*38fd1498Szrj else if (arm_pt (work, *mangled, n, &p, &args))
2508*38fd1498Szrj {
2509*38fd1498Szrj int hold_options;
2510*38fd1498Szrj string type_str;
2511*38fd1498Szrj
2512*38fd1498Szrj string_init (&arg);
2513*38fd1498Szrj string_appendn (declp, *mangled, p - *mangled);
2514*38fd1498Szrj if (work->temp_start == -1) /* non-recursive call */
2515*38fd1498Szrj work->temp_start = declp->p - declp->b;
2516*38fd1498Szrj
2517*38fd1498Szrj /* We want to unconditionally demangle parameter types in
2518*38fd1498Szrj template parameters. */
2519*38fd1498Szrj hold_options = work->options;
2520*38fd1498Szrj work->options |= DMGL_PARAMS;
2521*38fd1498Szrj
2522*38fd1498Szrj string_append (declp, "<");
2523*38fd1498Szrj /* should do error checking here */
2524*38fd1498Szrj while (args < e) {
2525*38fd1498Szrj string_delete (&arg);
2526*38fd1498Szrj
2527*38fd1498Szrj /* Check for type or literal here */
2528*38fd1498Szrj switch (*args)
2529*38fd1498Szrj {
2530*38fd1498Szrj /* HP cfront extensions to ARM for template args */
2531*38fd1498Szrj /* spec: Xt1Lv1 where t1 is a type, v1 is a literal value */
2532*38fd1498Szrj /* FIXME: We handle only numeric literals for HP cfront */
2533*38fd1498Szrj case 'X':
2534*38fd1498Szrj /* A typed constant value follows */
2535*38fd1498Szrj args++;
2536*38fd1498Szrj if (!do_type (work, &args, &type_str))
2537*38fd1498Szrj goto cfront_template_args_done;
2538*38fd1498Szrj string_append (&arg, "(");
2539*38fd1498Szrj string_appends (&arg, &type_str);
2540*38fd1498Szrj string_delete (&type_str);
2541*38fd1498Szrj string_append (&arg, ")");
2542*38fd1498Szrj if (*args != 'L')
2543*38fd1498Szrj goto cfront_template_args_done;
2544*38fd1498Szrj args++;
2545*38fd1498Szrj /* Now snarf a literal value following 'L' */
2546*38fd1498Szrj if (!snarf_numeric_literal (&args, &arg))
2547*38fd1498Szrj goto cfront_template_args_done;
2548*38fd1498Szrj break;
2549*38fd1498Szrj
2550*38fd1498Szrj case 'L':
2551*38fd1498Szrj /* Snarf a literal following 'L' */
2552*38fd1498Szrj args++;
2553*38fd1498Szrj if (!snarf_numeric_literal (&args, &arg))
2554*38fd1498Szrj goto cfront_template_args_done;
2555*38fd1498Szrj break;
2556*38fd1498Szrj default:
2557*38fd1498Szrj /* Not handling other HP cfront stuff */
2558*38fd1498Szrj {
2559*38fd1498Szrj const char* old_args = args;
2560*38fd1498Szrj if (!do_type (work, &args, &arg))
2561*38fd1498Szrj goto cfront_template_args_done;
2562*38fd1498Szrj
2563*38fd1498Szrj /* Fail if we didn't make any progress: prevent infinite loop. */
2564*38fd1498Szrj if (args == old_args)
2565*38fd1498Szrj {
2566*38fd1498Szrj work->options = hold_options;
2567*38fd1498Szrj return;
2568*38fd1498Szrj }
2569*38fd1498Szrj }
2570*38fd1498Szrj }
2571*38fd1498Szrj string_appends (declp, &arg);
2572*38fd1498Szrj string_append (declp, ",");
2573*38fd1498Szrj }
2574*38fd1498Szrj cfront_template_args_done:
2575*38fd1498Szrj string_delete (&arg);
2576*38fd1498Szrj if (args >= e)
2577*38fd1498Szrj --declp->p; /* remove extra comma */
2578*38fd1498Szrj string_append (declp, ">");
2579*38fd1498Szrj work->options = hold_options;
2580*38fd1498Szrj }
2581*38fd1498Szrj else if (n>10 && strncmp (*mangled, "_GLOBAL_", 8) == 0
2582*38fd1498Szrj && (*mangled)[9] == 'N'
2583*38fd1498Szrj && (*mangled)[8] == (*mangled)[10]
2584*38fd1498Szrj && strchr (cplus_markers, (*mangled)[8]))
2585*38fd1498Szrj {
2586*38fd1498Szrj /* A member of the anonymous namespace. */
2587*38fd1498Szrj string_append (declp, "{anonymous}");
2588*38fd1498Szrj }
2589*38fd1498Szrj else
2590*38fd1498Szrj {
2591*38fd1498Szrj if (work->temp_start == -1) /* non-recursive call only */
2592*38fd1498Szrj work->temp_start = 0; /* disable in recursive calls */
2593*38fd1498Szrj string_appendn (declp, *mangled, n);
2594*38fd1498Szrj }
2595*38fd1498Szrj *mangled += n;
2596*38fd1498Szrj }
2597*38fd1498Szrj
2598*38fd1498Szrj /* Extract a class name, possibly a template with arguments, from the
2599*38fd1498Szrj mangled string; qualifiers, local class indicators, etc. have
2600*38fd1498Szrj already been dealt with */
2601*38fd1498Szrj
2602*38fd1498Szrj static int
demangle_class_name(struct work_stuff * work,const char ** mangled,string * declp)2603*38fd1498Szrj demangle_class_name (struct work_stuff *work, const char **mangled,
2604*38fd1498Szrj string *declp)
2605*38fd1498Szrj {
2606*38fd1498Szrj int n;
2607*38fd1498Szrj int success = 0;
2608*38fd1498Szrj
2609*38fd1498Szrj n = consume_count (mangled);
2610*38fd1498Szrj if (n == -1)
2611*38fd1498Szrj return 0;
2612*38fd1498Szrj if ((int) strlen (*mangled) >= n)
2613*38fd1498Szrj {
2614*38fd1498Szrj demangle_arm_hp_template (work, mangled, n, declp);
2615*38fd1498Szrj success = 1;
2616*38fd1498Szrj }
2617*38fd1498Szrj
2618*38fd1498Szrj return (success);
2619*38fd1498Szrj }
2620*38fd1498Szrj
2621*38fd1498Szrj /*
2622*38fd1498Szrj
2623*38fd1498Szrj LOCAL FUNCTION
2624*38fd1498Szrj
2625*38fd1498Szrj demangle_class -- demangle a mangled class sequence
2626*38fd1498Szrj
2627*38fd1498Szrj SYNOPSIS
2628*38fd1498Szrj
2629*38fd1498Szrj static int
2630*38fd1498Szrj demangle_class (struct work_stuff *work, const char **mangled,
2631*38fd1498Szrj strint *declp)
2632*38fd1498Szrj
2633*38fd1498Szrj DESCRIPTION
2634*38fd1498Szrj
2635*38fd1498Szrj DECLP points to the buffer into which demangling is being done.
2636*38fd1498Szrj
2637*38fd1498Szrj *MANGLED points to the current token to be demangled. On input,
2638*38fd1498Szrj it points to a mangled class (I.E. "3foo", "13verylongclass", etc.)
2639*38fd1498Szrj On exit, it points to the next token after the mangled class on
2640*38fd1498Szrj success, or the first unconsumed token on failure.
2641*38fd1498Szrj
2642*38fd1498Szrj If the CONSTRUCTOR or DESTRUCTOR flags are set in WORK, then
2643*38fd1498Szrj we are demangling a constructor or destructor. In this case
2644*38fd1498Szrj we prepend "class::class" or "class::~class" to DECLP.
2645*38fd1498Szrj
2646*38fd1498Szrj Otherwise, we prepend "class::" to the current DECLP.
2647*38fd1498Szrj
2648*38fd1498Szrj Reset the constructor/destructor flags once they have been
2649*38fd1498Szrj "consumed". This allows demangle_class to be called later during
2650*38fd1498Szrj the same demangling, to do normal class demangling.
2651*38fd1498Szrj
2652*38fd1498Szrj Returns 1 if demangling is successful, 0 otherwise.
2653*38fd1498Szrj
2654*38fd1498Szrj */
2655*38fd1498Szrj
2656*38fd1498Szrj static int
demangle_class(struct work_stuff * work,const char ** mangled,string * declp)2657*38fd1498Szrj demangle_class (struct work_stuff *work, const char **mangled, string *declp)
2658*38fd1498Szrj {
2659*38fd1498Szrj int success = 0;
2660*38fd1498Szrj int btype;
2661*38fd1498Szrj string class_name;
2662*38fd1498Szrj char *save_class_name_end = 0;
2663*38fd1498Szrj
2664*38fd1498Szrj string_init (&class_name);
2665*38fd1498Szrj btype = register_Btype (work);
2666*38fd1498Szrj if (demangle_class_name (work, mangled, &class_name))
2667*38fd1498Szrj {
2668*38fd1498Szrj save_class_name_end = class_name.p;
2669*38fd1498Szrj if ((work->constructor & 1) || (work->destructor & 1))
2670*38fd1498Szrj {
2671*38fd1498Szrj /* adjust so we don't include template args */
2672*38fd1498Szrj if (work->temp_start && (work->temp_start != -1))
2673*38fd1498Szrj {
2674*38fd1498Szrj class_name.p = class_name.b + work->temp_start;
2675*38fd1498Szrj }
2676*38fd1498Szrj string_prepends (declp, &class_name);
2677*38fd1498Szrj if (work -> destructor & 1)
2678*38fd1498Szrj {
2679*38fd1498Szrj string_prepend (declp, "~");
2680*38fd1498Szrj work -> destructor -= 1;
2681*38fd1498Szrj }
2682*38fd1498Szrj else
2683*38fd1498Szrj {
2684*38fd1498Szrj work -> constructor -= 1;
2685*38fd1498Szrj }
2686*38fd1498Szrj }
2687*38fd1498Szrj class_name.p = save_class_name_end;
2688*38fd1498Szrj remember_Ktype (work, class_name.b, LEN_STRING(&class_name));
2689*38fd1498Szrj remember_Btype (work, class_name.b, LEN_STRING(&class_name), btype);
2690*38fd1498Szrj string_prepend (declp, SCOPE_STRING (work));
2691*38fd1498Szrj string_prepends (declp, &class_name);
2692*38fd1498Szrj success = 1;
2693*38fd1498Szrj }
2694*38fd1498Szrj string_delete (&class_name);
2695*38fd1498Szrj return (success);
2696*38fd1498Szrj }
2697*38fd1498Szrj
2698*38fd1498Szrj
2699*38fd1498Szrj /* Called when there's a "__" in the mangled name, with `scan' pointing to
2700*38fd1498Szrj the rightmost guess.
2701*38fd1498Szrj
2702*38fd1498Szrj Find the correct "__"-sequence where the function name ends and the
2703*38fd1498Szrj signature starts, which is ambiguous with GNU mangling.
2704*38fd1498Szrj Call demangle_signature here, so we can make sure we found the right
2705*38fd1498Szrj one; *mangled will be consumed so caller will not make further calls to
2706*38fd1498Szrj demangle_signature. */
2707*38fd1498Szrj
2708*38fd1498Szrj static int
iterate_demangle_function(struct work_stuff * work,const char ** mangled,string * declp,const char * scan)2709*38fd1498Szrj iterate_demangle_function (struct work_stuff *work, const char **mangled,
2710*38fd1498Szrj string *declp, const char *scan)
2711*38fd1498Szrj {
2712*38fd1498Szrj const char *mangle_init = *mangled;
2713*38fd1498Szrj int success = 0;
2714*38fd1498Szrj string decl_init;
2715*38fd1498Szrj struct work_stuff work_init;
2716*38fd1498Szrj
2717*38fd1498Szrj if (*(scan + 2) == '\0')
2718*38fd1498Szrj return 0;
2719*38fd1498Szrj
2720*38fd1498Szrj /* Do not iterate for some demangling modes, or if there's only one
2721*38fd1498Szrj "__"-sequence. This is the normal case. */
2722*38fd1498Szrj if (ARM_DEMANGLING || LUCID_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING
2723*38fd1498Szrj || strstr (scan + 2, "__") == NULL)
2724*38fd1498Szrj return demangle_function_name (work, mangled, declp, scan);
2725*38fd1498Szrj
2726*38fd1498Szrj /* Save state so we can restart if the guess at the correct "__" was
2727*38fd1498Szrj wrong. */
2728*38fd1498Szrj string_init (&decl_init);
2729*38fd1498Szrj string_appends (&decl_init, declp);
2730*38fd1498Szrj memset (&work_init, 0, sizeof work_init);
2731*38fd1498Szrj work_stuff_copy_to_from (&work_init, work);
2732*38fd1498Szrj
2733*38fd1498Szrj /* Iterate over occurrences of __, allowing names and types to have a
2734*38fd1498Szrj "__" sequence in them. We must start with the first (not the last)
2735*38fd1498Szrj occurrence, since "__" most often occur between independent mangled
2736*38fd1498Szrj parts, hence starting at the last occurence inside a signature
2737*38fd1498Szrj might get us a "successful" demangling of the signature. */
2738*38fd1498Szrj
2739*38fd1498Szrj while (scan[2])
2740*38fd1498Szrj {
2741*38fd1498Szrj if (demangle_function_name (work, mangled, declp, scan))
2742*38fd1498Szrj {
2743*38fd1498Szrj success = demangle_signature (work, mangled, declp);
2744*38fd1498Szrj if (success)
2745*38fd1498Szrj break;
2746*38fd1498Szrj }
2747*38fd1498Szrj
2748*38fd1498Szrj /* Reset demangle state for the next round. */
2749*38fd1498Szrj *mangled = mangle_init;
2750*38fd1498Szrj string_clear (declp);
2751*38fd1498Szrj string_appends (declp, &decl_init);
2752*38fd1498Szrj work_stuff_copy_to_from (work, &work_init);
2753*38fd1498Szrj
2754*38fd1498Szrj /* Leave this underscore-sequence. */
2755*38fd1498Szrj scan += 2;
2756*38fd1498Szrj
2757*38fd1498Szrj /* Scan for the next "__" sequence. */
2758*38fd1498Szrj while (*scan && (scan[0] != '_' || scan[1] != '_'))
2759*38fd1498Szrj scan++;
2760*38fd1498Szrj
2761*38fd1498Szrj /* Move to last "__" in this sequence. */
2762*38fd1498Szrj while (*scan && *scan == '_')
2763*38fd1498Szrj scan++;
2764*38fd1498Szrj scan -= 2;
2765*38fd1498Szrj }
2766*38fd1498Szrj
2767*38fd1498Szrj /* Delete saved state. */
2768*38fd1498Szrj delete_work_stuff (&work_init);
2769*38fd1498Szrj string_delete (&decl_init);
2770*38fd1498Szrj
2771*38fd1498Szrj return success;
2772*38fd1498Szrj }
2773*38fd1498Szrj
2774*38fd1498Szrj /*
2775*38fd1498Szrj
2776*38fd1498Szrj LOCAL FUNCTION
2777*38fd1498Szrj
2778*38fd1498Szrj demangle_prefix -- consume the mangled name prefix and find signature
2779*38fd1498Szrj
2780*38fd1498Szrj SYNOPSIS
2781*38fd1498Szrj
2782*38fd1498Szrj static int
2783*38fd1498Szrj demangle_prefix (struct work_stuff *work, const char **mangled,
2784*38fd1498Szrj string *declp);
2785*38fd1498Szrj
2786*38fd1498Szrj DESCRIPTION
2787*38fd1498Szrj
2788*38fd1498Szrj Consume and demangle the prefix of the mangled name.
2789*38fd1498Szrj While processing the function name root, arrange to call
2790*38fd1498Szrj demangle_signature if the root is ambiguous.
2791*38fd1498Szrj
2792*38fd1498Szrj DECLP points to the string buffer into which demangled output is
2793*38fd1498Szrj placed. On entry, the buffer is empty. On exit it contains
2794*38fd1498Szrj the root function name, the demangled operator name, or in some
2795*38fd1498Szrj special cases either nothing or the completely demangled result.
2796*38fd1498Szrj
2797*38fd1498Szrj MANGLED points to the current pointer into the mangled name. As each
2798*38fd1498Szrj token of the mangled name is consumed, it is updated. Upon entry
2799*38fd1498Szrj the current mangled name pointer points to the first character of
2800*38fd1498Szrj the mangled name. Upon exit, it should point to the first character
2801*38fd1498Szrj of the signature if demangling was successful, or to the first
2802*38fd1498Szrj unconsumed character if demangling of the prefix was unsuccessful.
2803*38fd1498Szrj
2804*38fd1498Szrj Returns 1 on success, 0 otherwise.
2805*38fd1498Szrj */
2806*38fd1498Szrj
2807*38fd1498Szrj static int
demangle_prefix(struct work_stuff * work,const char ** mangled,string * declp)2808*38fd1498Szrj demangle_prefix (struct work_stuff *work, const char **mangled,
2809*38fd1498Szrj string *declp)
2810*38fd1498Szrj {
2811*38fd1498Szrj int success = 1;
2812*38fd1498Szrj const char *scan;
2813*38fd1498Szrj int i;
2814*38fd1498Szrj
2815*38fd1498Szrj if (strlen(*mangled) > 6
2816*38fd1498Szrj && (strncmp(*mangled, "_imp__", 6) == 0
2817*38fd1498Szrj || strncmp(*mangled, "__imp_", 6) == 0))
2818*38fd1498Szrj {
2819*38fd1498Szrj /* it's a symbol imported from a PE dynamic library. Check for both
2820*38fd1498Szrj new style prefix _imp__ and legacy __imp_ used by older versions
2821*38fd1498Szrj of dlltool. */
2822*38fd1498Szrj (*mangled) += 6;
2823*38fd1498Szrj work->dllimported = 1;
2824*38fd1498Szrj }
2825*38fd1498Szrj else if (strlen(*mangled) >= 11 && strncmp(*mangled, "_GLOBAL_", 8) == 0)
2826*38fd1498Szrj {
2827*38fd1498Szrj char *marker = strchr (cplus_markers, (*mangled)[8]);
2828*38fd1498Szrj if (marker != NULL && *marker == (*mangled)[10])
2829*38fd1498Szrj {
2830*38fd1498Szrj if ((*mangled)[9] == 'D')
2831*38fd1498Szrj {
2832*38fd1498Szrj /* it's a GNU global destructor to be executed at program exit */
2833*38fd1498Szrj (*mangled) += 11;
2834*38fd1498Szrj work->destructor = 2;
2835*38fd1498Szrj if (gnu_special (work, mangled, declp))
2836*38fd1498Szrj return success;
2837*38fd1498Szrj }
2838*38fd1498Szrj else if ((*mangled)[9] == 'I')
2839*38fd1498Szrj {
2840*38fd1498Szrj /* it's a GNU global constructor to be executed at program init */
2841*38fd1498Szrj (*mangled) += 11;
2842*38fd1498Szrj work->constructor = 2;
2843*38fd1498Szrj if (gnu_special (work, mangled, declp))
2844*38fd1498Szrj return success;
2845*38fd1498Szrj }
2846*38fd1498Szrj }
2847*38fd1498Szrj }
2848*38fd1498Szrj else if ((ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING) && strncmp(*mangled, "__std__", 7) == 0)
2849*38fd1498Szrj {
2850*38fd1498Szrj /* it's a ARM global destructor to be executed at program exit */
2851*38fd1498Szrj (*mangled) += 7;
2852*38fd1498Szrj work->destructor = 2;
2853*38fd1498Szrj }
2854*38fd1498Szrj else if ((ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING) && strncmp(*mangled, "__sti__", 7) == 0)
2855*38fd1498Szrj {
2856*38fd1498Szrj /* it's a ARM global constructor to be executed at program initial */
2857*38fd1498Szrj (*mangled) += 7;
2858*38fd1498Szrj work->constructor = 2;
2859*38fd1498Szrj }
2860*38fd1498Szrj
2861*38fd1498Szrj /* This block of code is a reduction in strength time optimization
2862*38fd1498Szrj of:
2863*38fd1498Szrj scan = strstr (*mangled, "__"); */
2864*38fd1498Szrj
2865*38fd1498Szrj {
2866*38fd1498Szrj scan = *mangled;
2867*38fd1498Szrj
2868*38fd1498Szrj do {
2869*38fd1498Szrj scan = strchr (scan, '_');
2870*38fd1498Szrj } while (scan != NULL && *++scan != '_');
2871*38fd1498Szrj
2872*38fd1498Szrj if (scan != NULL) --scan;
2873*38fd1498Szrj }
2874*38fd1498Szrj
2875*38fd1498Szrj if (scan != NULL)
2876*38fd1498Szrj {
2877*38fd1498Szrj /* We found a sequence of two or more '_', ensure that we start at
2878*38fd1498Szrj the last pair in the sequence. */
2879*38fd1498Szrj i = strspn (scan, "_");
2880*38fd1498Szrj if (i > 2)
2881*38fd1498Szrj {
2882*38fd1498Szrj scan += (i - 2);
2883*38fd1498Szrj }
2884*38fd1498Szrj }
2885*38fd1498Szrj
2886*38fd1498Szrj if (scan == NULL)
2887*38fd1498Szrj {
2888*38fd1498Szrj success = 0;
2889*38fd1498Szrj }
2890*38fd1498Szrj else if (work -> static_type)
2891*38fd1498Szrj {
2892*38fd1498Szrj if (!ISDIGIT ((unsigned char)scan[0]) && (scan[0] != 't'))
2893*38fd1498Szrj {
2894*38fd1498Szrj success = 0;
2895*38fd1498Szrj }
2896*38fd1498Szrj }
2897*38fd1498Szrj else if ((scan == *mangled)
2898*38fd1498Szrj && (ISDIGIT ((unsigned char)scan[2]) || (scan[2] == 'Q')
2899*38fd1498Szrj || (scan[2] == 't') || (scan[2] == 'K') || (scan[2] == 'H')))
2900*38fd1498Szrj {
2901*38fd1498Szrj /* The ARM says nothing about the mangling of local variables.
2902*38fd1498Szrj But cfront mangles local variables by prepending __<nesting_level>
2903*38fd1498Szrj to them. As an extension to ARM demangling we handle this case. */
2904*38fd1498Szrj if ((LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING)
2905*38fd1498Szrj && ISDIGIT ((unsigned char)scan[2]))
2906*38fd1498Szrj {
2907*38fd1498Szrj *mangled = scan + 2;
2908*38fd1498Szrj consume_count (mangled);
2909*38fd1498Szrj string_append (declp, *mangled);
2910*38fd1498Szrj *mangled += strlen (*mangled);
2911*38fd1498Szrj success = 1;
2912*38fd1498Szrj }
2913*38fd1498Szrj else
2914*38fd1498Szrj {
2915*38fd1498Szrj /* A GNU style constructor starts with __[0-9Qt]. But cfront uses
2916*38fd1498Szrj names like __Q2_3foo3bar for nested type names. So don't accept
2917*38fd1498Szrj this style of constructor for cfront demangling. A GNU
2918*38fd1498Szrj style member-template constructor starts with 'H'. */
2919*38fd1498Szrj if (!(LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING))
2920*38fd1498Szrj work -> constructor += 1;
2921*38fd1498Szrj *mangled = scan + 2;
2922*38fd1498Szrj }
2923*38fd1498Szrj }
2924*38fd1498Szrj else if (ARM_DEMANGLING && scan[2] == 'p' && scan[3] == 't')
2925*38fd1498Szrj {
2926*38fd1498Szrj /* Cfront-style parameterized type. Handled later as a signature. */
2927*38fd1498Szrj success = 1;
2928*38fd1498Szrj
2929*38fd1498Szrj /* ARM template? */
2930*38fd1498Szrj demangle_arm_hp_template (work, mangled, strlen (*mangled), declp);
2931*38fd1498Szrj }
2932*38fd1498Szrj else if (EDG_DEMANGLING && ((scan[2] == 't' && scan[3] == 'm')
2933*38fd1498Szrj || (scan[2] == 'p' && scan[3] == 's')
2934*38fd1498Szrj || (scan[2] == 'p' && scan[3] == 't')))
2935*38fd1498Szrj {
2936*38fd1498Szrj /* EDG-style parameterized type. Handled later as a signature. */
2937*38fd1498Szrj success = 1;
2938*38fd1498Szrj
2939*38fd1498Szrj /* EDG template? */
2940*38fd1498Szrj demangle_arm_hp_template (work, mangled, strlen (*mangled), declp);
2941*38fd1498Szrj }
2942*38fd1498Szrj else if ((scan == *mangled) && !ISDIGIT ((unsigned char)scan[2])
2943*38fd1498Szrj && (scan[2] != 't'))
2944*38fd1498Szrj {
2945*38fd1498Szrj /* Mangled name starts with "__". Skip over any leading '_' characters,
2946*38fd1498Szrj then find the next "__" that separates the prefix from the signature.
2947*38fd1498Szrj */
2948*38fd1498Szrj if (!(ARM_DEMANGLING || LUCID_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
2949*38fd1498Szrj || (arm_special (mangled, declp) == 0))
2950*38fd1498Szrj {
2951*38fd1498Szrj while (*scan == '_')
2952*38fd1498Szrj {
2953*38fd1498Szrj scan++;
2954*38fd1498Szrj }
2955*38fd1498Szrj if ((scan = strstr (scan, "__")) == NULL || (*(scan + 2) == '\0'))
2956*38fd1498Szrj {
2957*38fd1498Szrj /* No separator (I.E. "__not_mangled"), or empty signature
2958*38fd1498Szrj (I.E. "__not_mangled_either__") */
2959*38fd1498Szrj success = 0;
2960*38fd1498Szrj }
2961*38fd1498Szrj else
2962*38fd1498Szrj return iterate_demangle_function (work, mangled, declp, scan);
2963*38fd1498Szrj }
2964*38fd1498Szrj }
2965*38fd1498Szrj else if (*(scan + 2) != '\0')
2966*38fd1498Szrj {
2967*38fd1498Szrj /* Mangled name does not start with "__" but does have one somewhere
2968*38fd1498Szrj in there with non empty stuff after it. Looks like a global
2969*38fd1498Szrj function name. Iterate over all "__":s until the right
2970*38fd1498Szrj one is found. */
2971*38fd1498Szrj return iterate_demangle_function (work, mangled, declp, scan);
2972*38fd1498Szrj }
2973*38fd1498Szrj else
2974*38fd1498Szrj {
2975*38fd1498Szrj /* Doesn't look like a mangled name */
2976*38fd1498Szrj success = 0;
2977*38fd1498Szrj }
2978*38fd1498Szrj
2979*38fd1498Szrj if (!success && (work->constructor == 2 || work->destructor == 2))
2980*38fd1498Szrj {
2981*38fd1498Szrj string_append (declp, *mangled);
2982*38fd1498Szrj *mangled += strlen (*mangled);
2983*38fd1498Szrj success = 1;
2984*38fd1498Szrj }
2985*38fd1498Szrj return (success);
2986*38fd1498Szrj }
2987*38fd1498Szrj
2988*38fd1498Szrj /*
2989*38fd1498Szrj
2990*38fd1498Szrj LOCAL FUNCTION
2991*38fd1498Szrj
2992*38fd1498Szrj gnu_special -- special handling of gnu mangled strings
2993*38fd1498Szrj
2994*38fd1498Szrj SYNOPSIS
2995*38fd1498Szrj
2996*38fd1498Szrj static int
2997*38fd1498Szrj gnu_special (struct work_stuff *work, const char **mangled,
2998*38fd1498Szrj string *declp);
2999*38fd1498Szrj
3000*38fd1498Szrj
3001*38fd1498Szrj DESCRIPTION
3002*38fd1498Szrj
3003*38fd1498Szrj Process some special GNU style mangling forms that don't fit
3004*38fd1498Szrj the normal pattern. For example:
3005*38fd1498Szrj
3006*38fd1498Szrj _$_3foo (destructor for class foo)
3007*38fd1498Szrj _vt$foo (foo virtual table)
3008*38fd1498Szrj _vt$foo$bar (foo::bar virtual table)
3009*38fd1498Szrj __vt_foo (foo virtual table, new style with thunks)
3010*38fd1498Szrj _3foo$varname (static data member)
3011*38fd1498Szrj _Q22rs2tu$vw (static data member)
3012*38fd1498Szrj __t6vector1Zii (constructor with template)
3013*38fd1498Szrj __thunk_4__$_7ostream (virtual function thunk)
3014*38fd1498Szrj */
3015*38fd1498Szrj
3016*38fd1498Szrj static int
gnu_special(struct work_stuff * work,const char ** mangled,string * declp)3017*38fd1498Szrj gnu_special (struct work_stuff *work, const char **mangled, string *declp)
3018*38fd1498Szrj {
3019*38fd1498Szrj int n;
3020*38fd1498Szrj int success = 1;
3021*38fd1498Szrj const char *p;
3022*38fd1498Szrj
3023*38fd1498Szrj if ((*mangled)[0] == '_' && (*mangled)[1] != '\0'
3024*38fd1498Szrj && strchr (cplus_markers, (*mangled)[1]) != NULL
3025*38fd1498Szrj && (*mangled)[2] == '_')
3026*38fd1498Szrj {
3027*38fd1498Szrj /* Found a GNU style destructor, get past "_<CPLUS_MARKER>_" */
3028*38fd1498Szrj (*mangled) += 3;
3029*38fd1498Szrj work -> destructor += 1;
3030*38fd1498Szrj }
3031*38fd1498Szrj else if ((*mangled)[0] == '_'
3032*38fd1498Szrj && (((*mangled)[1] == '_'
3033*38fd1498Szrj && (*mangled)[2] == 'v'
3034*38fd1498Szrj && (*mangled)[3] == 't'
3035*38fd1498Szrj && (*mangled)[4] == '_')
3036*38fd1498Szrj || ((*mangled)[1] == 'v'
3037*38fd1498Szrj && (*mangled)[2] == 't' && (*mangled)[3] != '\0'
3038*38fd1498Szrj && strchr (cplus_markers, (*mangled)[3]) != NULL)))
3039*38fd1498Szrj {
3040*38fd1498Szrj /* Found a GNU style virtual table, get past "_vt<CPLUS_MARKER>"
3041*38fd1498Szrj and create the decl. Note that we consume the entire mangled
3042*38fd1498Szrj input string, which means that demangle_signature has no work
3043*38fd1498Szrj to do. */
3044*38fd1498Szrj if ((*mangled)[2] == 'v')
3045*38fd1498Szrj (*mangled) += 5; /* New style, with thunks: "__vt_" */
3046*38fd1498Szrj else
3047*38fd1498Szrj (*mangled) += 4; /* Old style, no thunks: "_vt<CPLUS_MARKER>" */
3048*38fd1498Szrj while (**mangled != '\0')
3049*38fd1498Szrj {
3050*38fd1498Szrj switch (**mangled)
3051*38fd1498Szrj {
3052*38fd1498Szrj case 'Q':
3053*38fd1498Szrj case 'K':
3054*38fd1498Szrj success = demangle_qualified (work, mangled, declp, 0, 1);
3055*38fd1498Szrj break;
3056*38fd1498Szrj case 't':
3057*38fd1498Szrj success = demangle_template (work, mangled, declp, 0, 1,
3058*38fd1498Szrj 1);
3059*38fd1498Szrj break;
3060*38fd1498Szrj default:
3061*38fd1498Szrj if (ISDIGIT((unsigned char)*mangled[0]))
3062*38fd1498Szrj {
3063*38fd1498Szrj n = consume_count(mangled);
3064*38fd1498Szrj /* We may be seeing a too-large size, or else a
3065*38fd1498Szrj ".<digits>" indicating a static local symbol. In
3066*38fd1498Szrj any case, declare victory and move on; *don't* try
3067*38fd1498Szrj to use n to allocate. */
3068*38fd1498Szrj if (n > (int) strlen (*mangled))
3069*38fd1498Szrj {
3070*38fd1498Szrj success = 1;
3071*38fd1498Szrj break;
3072*38fd1498Szrj }
3073*38fd1498Szrj else if (n == -1)
3074*38fd1498Szrj {
3075*38fd1498Szrj success = 0;
3076*38fd1498Szrj break;
3077*38fd1498Szrj }
3078*38fd1498Szrj }
3079*38fd1498Szrj else
3080*38fd1498Szrj {
3081*38fd1498Szrj n = strcspn (*mangled, cplus_markers);
3082*38fd1498Szrj }
3083*38fd1498Szrj string_appendn (declp, *mangled, n);
3084*38fd1498Szrj (*mangled) += n;
3085*38fd1498Szrj }
3086*38fd1498Szrj
3087*38fd1498Szrj p = strpbrk (*mangled, cplus_markers);
3088*38fd1498Szrj if (success && ((p == NULL) || (p == *mangled)))
3089*38fd1498Szrj {
3090*38fd1498Szrj if (p != NULL)
3091*38fd1498Szrj {
3092*38fd1498Szrj string_append (declp, SCOPE_STRING (work));
3093*38fd1498Szrj (*mangled)++;
3094*38fd1498Szrj }
3095*38fd1498Szrj }
3096*38fd1498Szrj else
3097*38fd1498Szrj {
3098*38fd1498Szrj success = 0;
3099*38fd1498Szrj break;
3100*38fd1498Szrj }
3101*38fd1498Szrj }
3102*38fd1498Szrj if (success)
3103*38fd1498Szrj string_append (declp, " virtual table");
3104*38fd1498Szrj }
3105*38fd1498Szrj else if ((*mangled)[0] == '_'
3106*38fd1498Szrj && (strchr("0123456789Qt", (*mangled)[1]) != NULL)
3107*38fd1498Szrj && (p = strpbrk (*mangled, cplus_markers)) != NULL)
3108*38fd1498Szrj {
3109*38fd1498Szrj /* static data member, "_3foo$varname" for example */
3110*38fd1498Szrj (*mangled)++;
3111*38fd1498Szrj switch (**mangled)
3112*38fd1498Szrj {
3113*38fd1498Szrj case 'Q':
3114*38fd1498Szrj case 'K':
3115*38fd1498Szrj success = demangle_qualified (work, mangled, declp, 0, 1);
3116*38fd1498Szrj break;
3117*38fd1498Szrj case 't':
3118*38fd1498Szrj success = demangle_template (work, mangled, declp, 0, 1, 1);
3119*38fd1498Szrj break;
3120*38fd1498Szrj default:
3121*38fd1498Szrj n = consume_count (mangled);
3122*38fd1498Szrj if (n < 0 || n > (long) strlen (*mangled))
3123*38fd1498Szrj {
3124*38fd1498Szrj success = 0;
3125*38fd1498Szrj break;
3126*38fd1498Szrj }
3127*38fd1498Szrj
3128*38fd1498Szrj if (n > 10 && strncmp (*mangled, "_GLOBAL_", 8) == 0
3129*38fd1498Szrj && (*mangled)[9] == 'N'
3130*38fd1498Szrj && (*mangled)[8] == (*mangled)[10]
3131*38fd1498Szrj && strchr (cplus_markers, (*mangled)[8]))
3132*38fd1498Szrj {
3133*38fd1498Szrj /* A member of the anonymous namespace. There's information
3134*38fd1498Szrj about what identifier or filename it was keyed to, but
3135*38fd1498Szrj it's just there to make the mangled name unique; we just
3136*38fd1498Szrj step over it. */
3137*38fd1498Szrj string_append (declp, "{anonymous}");
3138*38fd1498Szrj (*mangled) += n;
3139*38fd1498Szrj
3140*38fd1498Szrj /* Now p points to the marker before the N, so we need to
3141*38fd1498Szrj update it to the first marker after what we consumed. */
3142*38fd1498Szrj p = strpbrk (*mangled, cplus_markers);
3143*38fd1498Szrj break;
3144*38fd1498Szrj }
3145*38fd1498Szrj
3146*38fd1498Szrj string_appendn (declp, *mangled, n);
3147*38fd1498Szrj (*mangled) += n;
3148*38fd1498Szrj }
3149*38fd1498Szrj if (success && (p == *mangled))
3150*38fd1498Szrj {
3151*38fd1498Szrj /* Consumed everything up to the cplus_marker, append the
3152*38fd1498Szrj variable name. */
3153*38fd1498Szrj (*mangled)++;
3154*38fd1498Szrj string_append (declp, SCOPE_STRING (work));
3155*38fd1498Szrj n = strlen (*mangled);
3156*38fd1498Szrj string_appendn (declp, *mangled, n);
3157*38fd1498Szrj (*mangled) += n;
3158*38fd1498Szrj }
3159*38fd1498Szrj else
3160*38fd1498Szrj {
3161*38fd1498Szrj success = 0;
3162*38fd1498Szrj }
3163*38fd1498Szrj }
3164*38fd1498Szrj else if (strncmp (*mangled, "__thunk_", 8) == 0)
3165*38fd1498Szrj {
3166*38fd1498Szrj int delta;
3167*38fd1498Szrj
3168*38fd1498Szrj (*mangled) += 8;
3169*38fd1498Szrj delta = consume_count (mangled);
3170*38fd1498Szrj if (delta == -1)
3171*38fd1498Szrj success = 0;
3172*38fd1498Szrj else if (**mangled != '_')
3173*38fd1498Szrj success = 0;
3174*38fd1498Szrj else
3175*38fd1498Szrj {
3176*38fd1498Szrj char *method = internal_cplus_demangle (work, ++*mangled);
3177*38fd1498Szrj
3178*38fd1498Szrj if (method)
3179*38fd1498Szrj {
3180*38fd1498Szrj char buf[50];
3181*38fd1498Szrj sprintf (buf, "virtual function thunk (delta:%d) for ", -delta);
3182*38fd1498Szrj string_append (declp, buf);
3183*38fd1498Szrj string_append (declp, method);
3184*38fd1498Szrj free (method);
3185*38fd1498Szrj n = strlen (*mangled);
3186*38fd1498Szrj (*mangled) += n;
3187*38fd1498Szrj }
3188*38fd1498Szrj else
3189*38fd1498Szrj {
3190*38fd1498Szrj success = 0;
3191*38fd1498Szrj }
3192*38fd1498Szrj }
3193*38fd1498Szrj }
3194*38fd1498Szrj else if (strncmp (*mangled, "__t", 3) == 0
3195*38fd1498Szrj && ((*mangled)[3] == 'i' || (*mangled)[3] == 'f'))
3196*38fd1498Szrj {
3197*38fd1498Szrj p = (*mangled)[3] == 'i' ? " type_info node" : " type_info function";
3198*38fd1498Szrj (*mangled) += 4;
3199*38fd1498Szrj switch (**mangled)
3200*38fd1498Szrj {
3201*38fd1498Szrj case 'Q':
3202*38fd1498Szrj case 'K':
3203*38fd1498Szrj success = demangle_qualified (work, mangled, declp, 0, 1);
3204*38fd1498Szrj break;
3205*38fd1498Szrj case 't':
3206*38fd1498Szrj success = demangle_template (work, mangled, declp, 0, 1, 1);
3207*38fd1498Szrj break;
3208*38fd1498Szrj default:
3209*38fd1498Szrj success = do_type (work, mangled, declp);
3210*38fd1498Szrj break;
3211*38fd1498Szrj }
3212*38fd1498Szrj if (success && **mangled != '\0')
3213*38fd1498Szrj success = 0;
3214*38fd1498Szrj if (success)
3215*38fd1498Szrj string_append (declp, p);
3216*38fd1498Szrj }
3217*38fd1498Szrj else
3218*38fd1498Szrj {
3219*38fd1498Szrj success = 0;
3220*38fd1498Szrj }
3221*38fd1498Szrj return (success);
3222*38fd1498Szrj }
3223*38fd1498Szrj
3224*38fd1498Szrj static void
recursively_demangle(struct work_stuff * work,const char ** mangled,string * result,int namelength)3225*38fd1498Szrj recursively_demangle(struct work_stuff *work, const char **mangled,
3226*38fd1498Szrj string *result, int namelength)
3227*38fd1498Szrj {
3228*38fd1498Szrj char * recurse = (char *)NULL;
3229*38fd1498Szrj char * recurse_dem = (char *)NULL;
3230*38fd1498Szrj
3231*38fd1498Szrj recurse = XNEWVEC (char, namelength + 1);
3232*38fd1498Szrj memcpy (recurse, *mangled, namelength);
3233*38fd1498Szrj recurse[namelength] = '\000';
3234*38fd1498Szrj
3235*38fd1498Szrj recurse_dem = cplus_demangle (recurse, work->options);
3236*38fd1498Szrj
3237*38fd1498Szrj if (recurse_dem)
3238*38fd1498Szrj {
3239*38fd1498Szrj string_append (result, recurse_dem);
3240*38fd1498Szrj free (recurse_dem);
3241*38fd1498Szrj }
3242*38fd1498Szrj else
3243*38fd1498Szrj {
3244*38fd1498Szrj string_appendn (result, *mangled, namelength);
3245*38fd1498Szrj }
3246*38fd1498Szrj free (recurse);
3247*38fd1498Szrj *mangled += namelength;
3248*38fd1498Szrj }
3249*38fd1498Szrj
3250*38fd1498Szrj /*
3251*38fd1498Szrj
3252*38fd1498Szrj LOCAL FUNCTION
3253*38fd1498Szrj
3254*38fd1498Szrj arm_special -- special handling of ARM/lucid mangled strings
3255*38fd1498Szrj
3256*38fd1498Szrj SYNOPSIS
3257*38fd1498Szrj
3258*38fd1498Szrj static int
3259*38fd1498Szrj arm_special (const char **mangled,
3260*38fd1498Szrj string *declp);
3261*38fd1498Szrj
3262*38fd1498Szrj
3263*38fd1498Szrj DESCRIPTION
3264*38fd1498Szrj
3265*38fd1498Szrj Process some special ARM style mangling forms that don't fit
3266*38fd1498Szrj the normal pattern. For example:
3267*38fd1498Szrj
3268*38fd1498Szrj __vtbl__3foo (foo virtual table)
3269*38fd1498Szrj __vtbl__3foo__3bar (bar::foo virtual table)
3270*38fd1498Szrj
3271*38fd1498Szrj */
3272*38fd1498Szrj
3273*38fd1498Szrj static int
arm_special(const char ** mangled,string * declp)3274*38fd1498Szrj arm_special (const char **mangled, string *declp)
3275*38fd1498Szrj {
3276*38fd1498Szrj int n;
3277*38fd1498Szrj int success = 1;
3278*38fd1498Szrj const char *scan;
3279*38fd1498Szrj
3280*38fd1498Szrj if (strncmp (*mangled, ARM_VTABLE_STRING, ARM_VTABLE_STRLEN) == 0)
3281*38fd1498Szrj {
3282*38fd1498Szrj /* Found a ARM style virtual table, get past ARM_VTABLE_STRING
3283*38fd1498Szrj and create the decl. Note that we consume the entire mangled
3284*38fd1498Szrj input string, which means that demangle_signature has no work
3285*38fd1498Szrj to do. */
3286*38fd1498Szrj scan = *mangled + ARM_VTABLE_STRLEN;
3287*38fd1498Szrj while (*scan != '\0') /* first check it can be demangled */
3288*38fd1498Szrj {
3289*38fd1498Szrj n = consume_count (&scan);
3290*38fd1498Szrj if (n == -1)
3291*38fd1498Szrj {
3292*38fd1498Szrj return (0); /* no good */
3293*38fd1498Szrj }
3294*38fd1498Szrj scan += n;
3295*38fd1498Szrj if (scan[0] == '_' && scan[1] == '_')
3296*38fd1498Szrj {
3297*38fd1498Szrj scan += 2;
3298*38fd1498Szrj }
3299*38fd1498Szrj }
3300*38fd1498Szrj (*mangled) += ARM_VTABLE_STRLEN;
3301*38fd1498Szrj while (**mangled != '\0')
3302*38fd1498Szrj {
3303*38fd1498Szrj n = consume_count (mangled);
3304*38fd1498Szrj if (n == -1
3305*38fd1498Szrj || n > (long) strlen (*mangled))
3306*38fd1498Szrj return 0;
3307*38fd1498Szrj string_prependn (declp, *mangled, n);
3308*38fd1498Szrj (*mangled) += n;
3309*38fd1498Szrj if ((*mangled)[0] == '_' && (*mangled)[1] == '_')
3310*38fd1498Szrj {
3311*38fd1498Szrj string_prepend (declp, "::");
3312*38fd1498Szrj (*mangled) += 2;
3313*38fd1498Szrj }
3314*38fd1498Szrj }
3315*38fd1498Szrj string_append (declp, " virtual table");
3316*38fd1498Szrj }
3317*38fd1498Szrj else
3318*38fd1498Szrj {
3319*38fd1498Szrj success = 0;
3320*38fd1498Szrj }
3321*38fd1498Szrj return (success);
3322*38fd1498Szrj }
3323*38fd1498Szrj
3324*38fd1498Szrj /*
3325*38fd1498Szrj
3326*38fd1498Szrj LOCAL FUNCTION
3327*38fd1498Szrj
3328*38fd1498Szrj demangle_qualified -- demangle 'Q' qualified name strings
3329*38fd1498Szrj
3330*38fd1498Szrj SYNOPSIS
3331*38fd1498Szrj
3332*38fd1498Szrj static int
3333*38fd1498Szrj demangle_qualified (struct work_stuff *, const char *mangled,
3334*38fd1498Szrj string *result, int isfuncname, int append);
3335*38fd1498Szrj
3336*38fd1498Szrj DESCRIPTION
3337*38fd1498Szrj
3338*38fd1498Szrj Demangle a qualified name, such as "Q25Outer5Inner" which is
3339*38fd1498Szrj the mangled form of "Outer::Inner". The demangled output is
3340*38fd1498Szrj prepended or appended to the result string according to the
3341*38fd1498Szrj state of the append flag.
3342*38fd1498Szrj
3343*38fd1498Szrj If isfuncname is nonzero, then the qualified name we are building
3344*38fd1498Szrj is going to be used as a member function name, so if it is a
3345*38fd1498Szrj constructor or destructor function, append an appropriate
3346*38fd1498Szrj constructor or destructor name. I.E. for the above example,
3347*38fd1498Szrj the result for use as a constructor is "Outer::Inner::Inner"
3348*38fd1498Szrj and the result for use as a destructor is "Outer::Inner::~Inner".
3349*38fd1498Szrj
3350*38fd1498Szrj BUGS
3351*38fd1498Szrj
3352*38fd1498Szrj Numeric conversion is ASCII dependent (FIXME).
3353*38fd1498Szrj
3354*38fd1498Szrj */
3355*38fd1498Szrj
3356*38fd1498Szrj static int
demangle_qualified(struct work_stuff * work,const char ** mangled,string * result,int isfuncname,int append)3357*38fd1498Szrj demangle_qualified (struct work_stuff *work, const char **mangled,
3358*38fd1498Szrj string *result, int isfuncname, int append)
3359*38fd1498Szrj {
3360*38fd1498Szrj int qualifiers = 0;
3361*38fd1498Szrj int success = 1;
3362*38fd1498Szrj char num[2];
3363*38fd1498Szrj string temp;
3364*38fd1498Szrj string last_name;
3365*38fd1498Szrj int bindex = register_Btype (work);
3366*38fd1498Szrj
3367*38fd1498Szrj /* We only make use of ISFUNCNAME if the entity is a constructor or
3368*38fd1498Szrj destructor. */
3369*38fd1498Szrj isfuncname = (isfuncname
3370*38fd1498Szrj && ((work->constructor & 1) || (work->destructor & 1)));
3371*38fd1498Szrj
3372*38fd1498Szrj string_init (&temp);
3373*38fd1498Szrj string_init (&last_name);
3374*38fd1498Szrj
3375*38fd1498Szrj if ((*mangled)[0] == 'K')
3376*38fd1498Szrj {
3377*38fd1498Szrj /* Squangling qualified name reuse */
3378*38fd1498Szrj int idx;
3379*38fd1498Szrj (*mangled)++;
3380*38fd1498Szrj idx = consume_count_with_underscores (mangled);
3381*38fd1498Szrj if (idx == -1 || idx >= work -> numk)
3382*38fd1498Szrj success = 0;
3383*38fd1498Szrj else
3384*38fd1498Szrj string_append (&temp, work -> ktypevec[idx]);
3385*38fd1498Szrj }
3386*38fd1498Szrj else
3387*38fd1498Szrj switch ((*mangled)[1])
3388*38fd1498Szrj {
3389*38fd1498Szrj case '_':
3390*38fd1498Szrj /* GNU mangled name with more than 9 classes. The count is preceded
3391*38fd1498Szrj by an underscore (to distinguish it from the <= 9 case) and followed
3392*38fd1498Szrj by an underscore. */
3393*38fd1498Szrj (*mangled)++;
3394*38fd1498Szrj qualifiers = consume_count_with_underscores (mangled);
3395*38fd1498Szrj if (qualifiers == -1)
3396*38fd1498Szrj success = 0;
3397*38fd1498Szrj break;
3398*38fd1498Szrj
3399*38fd1498Szrj case '1':
3400*38fd1498Szrj case '2':
3401*38fd1498Szrj case '3':
3402*38fd1498Szrj case '4':
3403*38fd1498Szrj case '5':
3404*38fd1498Szrj case '6':
3405*38fd1498Szrj case '7':
3406*38fd1498Szrj case '8':
3407*38fd1498Szrj case '9':
3408*38fd1498Szrj /* The count is in a single digit. */
3409*38fd1498Szrj num[0] = (*mangled)[1];
3410*38fd1498Szrj num[1] = '\0';
3411*38fd1498Szrj qualifiers = atoi (num);
3412*38fd1498Szrj
3413*38fd1498Szrj /* If there is an underscore after the digit, skip it. This is
3414*38fd1498Szrj said to be for ARM-qualified names, but the ARM makes no
3415*38fd1498Szrj mention of such an underscore. Perhaps cfront uses one. */
3416*38fd1498Szrj if ((*mangled)[2] == '_')
3417*38fd1498Szrj {
3418*38fd1498Szrj (*mangled)++;
3419*38fd1498Szrj }
3420*38fd1498Szrj (*mangled) += 2;
3421*38fd1498Szrj break;
3422*38fd1498Szrj
3423*38fd1498Szrj case '0':
3424*38fd1498Szrj default:
3425*38fd1498Szrj success = 0;
3426*38fd1498Szrj }
3427*38fd1498Szrj
3428*38fd1498Szrj if (!success)
3429*38fd1498Szrj return success;
3430*38fd1498Szrj
3431*38fd1498Szrj /* Pick off the names and collect them in the temp buffer in the order
3432*38fd1498Szrj in which they are found, separated by '::'. */
3433*38fd1498Szrj
3434*38fd1498Szrj while (qualifiers-- > 0)
3435*38fd1498Szrj {
3436*38fd1498Szrj int remember_K = 1;
3437*38fd1498Szrj string_clear (&last_name);
3438*38fd1498Szrj
3439*38fd1498Szrj if (*mangled[0] == '_')
3440*38fd1498Szrj (*mangled)++;
3441*38fd1498Szrj
3442*38fd1498Szrj if (*mangled[0] == 't')
3443*38fd1498Szrj {
3444*38fd1498Szrj /* Here we always append to TEMP since we will want to use
3445*38fd1498Szrj the template name without the template parameters as a
3446*38fd1498Szrj constructor or destructor name. The appropriate
3447*38fd1498Szrj (parameter-less) value is returned by demangle_template
3448*38fd1498Szrj in LAST_NAME. We do not remember the template type here,
3449*38fd1498Szrj in order to match the G++ mangling algorithm. */
3450*38fd1498Szrj success = demangle_template(work, mangled, &temp,
3451*38fd1498Szrj &last_name, 1, 0);
3452*38fd1498Szrj if (!success)
3453*38fd1498Szrj break;
3454*38fd1498Szrj }
3455*38fd1498Szrj else if (*mangled[0] == 'K')
3456*38fd1498Szrj {
3457*38fd1498Szrj int idx;
3458*38fd1498Szrj (*mangled)++;
3459*38fd1498Szrj idx = consume_count_with_underscores (mangled);
3460*38fd1498Szrj if (idx == -1 || idx >= work->numk)
3461*38fd1498Szrj success = 0;
3462*38fd1498Szrj else
3463*38fd1498Szrj string_append (&temp, work->ktypevec[idx]);
3464*38fd1498Szrj remember_K = 0;
3465*38fd1498Szrj
3466*38fd1498Szrj if (!success) break;
3467*38fd1498Szrj }
3468*38fd1498Szrj else
3469*38fd1498Szrj {
3470*38fd1498Szrj if (EDG_DEMANGLING)
3471*38fd1498Szrj {
3472*38fd1498Szrj int namelength;
3473*38fd1498Szrj /* Now recursively demangle the qualifier
3474*38fd1498Szrj * This is necessary to deal with templates in
3475*38fd1498Szrj * mangling styles like EDG */
3476*38fd1498Szrj namelength = consume_count (mangled);
3477*38fd1498Szrj if (namelength == -1)
3478*38fd1498Szrj {
3479*38fd1498Szrj success = 0;
3480*38fd1498Szrj break;
3481*38fd1498Szrj }
3482*38fd1498Szrj recursively_demangle(work, mangled, &temp, namelength);
3483*38fd1498Szrj }
3484*38fd1498Szrj else
3485*38fd1498Szrj {
3486*38fd1498Szrj string_delete (&last_name);
3487*38fd1498Szrj success = do_type (work, mangled, &last_name);
3488*38fd1498Szrj if (!success)
3489*38fd1498Szrj break;
3490*38fd1498Szrj string_appends (&temp, &last_name);
3491*38fd1498Szrj }
3492*38fd1498Szrj }
3493*38fd1498Szrj
3494*38fd1498Szrj if (remember_K)
3495*38fd1498Szrj remember_Ktype (work, temp.b, LEN_STRING (&temp));
3496*38fd1498Szrj
3497*38fd1498Szrj if (qualifiers > 0)
3498*38fd1498Szrj string_append (&temp, SCOPE_STRING (work));
3499*38fd1498Szrj }
3500*38fd1498Szrj
3501*38fd1498Szrj remember_Btype (work, temp.b, LEN_STRING (&temp), bindex);
3502*38fd1498Szrj
3503*38fd1498Szrj /* If we are using the result as a function name, we need to append
3504*38fd1498Szrj the appropriate '::' separated constructor or destructor name.
3505*38fd1498Szrj We do this here because this is the most convenient place, where
3506*38fd1498Szrj we already have a pointer to the name and the length of the name. */
3507*38fd1498Szrj
3508*38fd1498Szrj if (isfuncname)
3509*38fd1498Szrj {
3510*38fd1498Szrj string_append (&temp, SCOPE_STRING (work));
3511*38fd1498Szrj if (work -> destructor & 1)
3512*38fd1498Szrj string_append (&temp, "~");
3513*38fd1498Szrj string_appends (&temp, &last_name);
3514*38fd1498Szrj }
3515*38fd1498Szrj
3516*38fd1498Szrj /* Now either prepend the temp buffer to the result, or append it,
3517*38fd1498Szrj depending upon the state of the append flag. */
3518*38fd1498Szrj
3519*38fd1498Szrj if (append)
3520*38fd1498Szrj string_appends (result, &temp);
3521*38fd1498Szrj else
3522*38fd1498Szrj {
3523*38fd1498Szrj if (!STRING_EMPTY (result))
3524*38fd1498Szrj string_append (&temp, SCOPE_STRING (work));
3525*38fd1498Szrj string_prepends (result, &temp);
3526*38fd1498Szrj }
3527*38fd1498Szrj
3528*38fd1498Szrj string_delete (&last_name);
3529*38fd1498Szrj string_delete (&temp);
3530*38fd1498Szrj return (success);
3531*38fd1498Szrj }
3532*38fd1498Szrj
3533*38fd1498Szrj /*
3534*38fd1498Szrj
3535*38fd1498Szrj LOCAL FUNCTION
3536*38fd1498Szrj
3537*38fd1498Szrj get_count -- convert an ascii count to integer, consuming tokens
3538*38fd1498Szrj
3539*38fd1498Szrj SYNOPSIS
3540*38fd1498Szrj
3541*38fd1498Szrj static int
3542*38fd1498Szrj get_count (const char **type, int *count)
3543*38fd1498Szrj
3544*38fd1498Szrj DESCRIPTION
3545*38fd1498Szrj
3546*38fd1498Szrj Assume that *type points at a count in a mangled name; set
3547*38fd1498Szrj *count to its value, and set *type to the next character after
3548*38fd1498Szrj the count. There are some weird rules in effect here.
3549*38fd1498Szrj
3550*38fd1498Szrj If *type does not point at a string of digits, return zero.
3551*38fd1498Szrj
3552*38fd1498Szrj If *type points at a string of digits followed by an
3553*38fd1498Szrj underscore, set *count to their value as an integer, advance
3554*38fd1498Szrj *type to point *after the underscore, and return 1.
3555*38fd1498Szrj
3556*38fd1498Szrj If *type points at a string of digits not followed by an
3557*38fd1498Szrj underscore, consume only the first digit. Set *count to its
3558*38fd1498Szrj value as an integer, leave *type pointing after that digit,
3559*38fd1498Szrj and return 1.
3560*38fd1498Szrj
3561*38fd1498Szrj The excuse for this odd behavior: in the ARM and HP demangling
3562*38fd1498Szrj styles, a type can be followed by a repeat count of the form
3563*38fd1498Szrj `Nxy', where:
3564*38fd1498Szrj
3565*38fd1498Szrj `x' is a single digit specifying how many additional copies
3566*38fd1498Szrj of the type to append to the argument list, and
3567*38fd1498Szrj
3568*38fd1498Szrj `y' is one or more digits, specifying the zero-based index of
3569*38fd1498Szrj the first repeated argument in the list. Yes, as you're
3570*38fd1498Szrj unmangling the name you can figure this out yourself, but
3571*38fd1498Szrj it's there anyway.
3572*38fd1498Szrj
3573*38fd1498Szrj So, for example, in `bar__3fooFPiN51', the first argument is a
3574*38fd1498Szrj pointer to an integer (`Pi'), and then the next five arguments
3575*38fd1498Szrj are the same (`N5'), and the first repeat is the function's
3576*38fd1498Szrj second argument (`1').
3577*38fd1498Szrj */
3578*38fd1498Szrj
3579*38fd1498Szrj static int
get_count(const char ** type,int * count)3580*38fd1498Szrj get_count (const char **type, int *count)
3581*38fd1498Szrj {
3582*38fd1498Szrj const char *p;
3583*38fd1498Szrj int n;
3584*38fd1498Szrj
3585*38fd1498Szrj if (!ISDIGIT ((unsigned char)**type))
3586*38fd1498Szrj return (0);
3587*38fd1498Szrj else
3588*38fd1498Szrj {
3589*38fd1498Szrj *count = **type - '0';
3590*38fd1498Szrj (*type)++;
3591*38fd1498Szrj if (ISDIGIT ((unsigned char)**type))
3592*38fd1498Szrj {
3593*38fd1498Szrj p = *type;
3594*38fd1498Szrj n = *count;
3595*38fd1498Szrj do
3596*38fd1498Szrj {
3597*38fd1498Szrj n *= 10;
3598*38fd1498Szrj n += *p - '0';
3599*38fd1498Szrj p++;
3600*38fd1498Szrj }
3601*38fd1498Szrj while (ISDIGIT ((unsigned char)*p));
3602*38fd1498Szrj if (*p == '_')
3603*38fd1498Szrj {
3604*38fd1498Szrj *type = p + 1;
3605*38fd1498Szrj *count = n;
3606*38fd1498Szrj }
3607*38fd1498Szrj }
3608*38fd1498Szrj }
3609*38fd1498Szrj return (1);
3610*38fd1498Szrj }
3611*38fd1498Szrj
3612*38fd1498Szrj /* RESULT will be initialised here; it will be freed on failure. The
3613*38fd1498Szrj value returned is really a type_kind_t. */
3614*38fd1498Szrj
3615*38fd1498Szrj static int
do_type(struct work_stuff * work,const char ** mangled,string * result)3616*38fd1498Szrj do_type (struct work_stuff *work, const char **mangled, string *result)
3617*38fd1498Szrj {
3618*38fd1498Szrj int n;
3619*38fd1498Szrj int i;
3620*38fd1498Szrj int is_proctypevec;
3621*38fd1498Szrj int done;
3622*38fd1498Szrj int success;
3623*38fd1498Szrj string decl;
3624*38fd1498Szrj const char *remembered_type;
3625*38fd1498Szrj int type_quals;
3626*38fd1498Szrj type_kind_t tk = tk_none;
3627*38fd1498Szrj
3628*38fd1498Szrj string_init (&decl);
3629*38fd1498Szrj string_init (result);
3630*38fd1498Szrj
3631*38fd1498Szrj done = 0;
3632*38fd1498Szrj success = 1;
3633*38fd1498Szrj is_proctypevec = 0;
3634*38fd1498Szrj while (success && !done)
3635*38fd1498Szrj {
3636*38fd1498Szrj int member;
3637*38fd1498Szrj switch (**mangled)
3638*38fd1498Szrj {
3639*38fd1498Szrj
3640*38fd1498Szrj /* A pointer type */
3641*38fd1498Szrj case 'P':
3642*38fd1498Szrj case 'p':
3643*38fd1498Szrj (*mangled)++;
3644*38fd1498Szrj if (! (work -> options & DMGL_JAVA))
3645*38fd1498Szrj string_prepend (&decl, "*");
3646*38fd1498Szrj if (tk == tk_none)
3647*38fd1498Szrj tk = tk_pointer;
3648*38fd1498Szrj break;
3649*38fd1498Szrj
3650*38fd1498Szrj /* A reference type */
3651*38fd1498Szrj case 'R':
3652*38fd1498Szrj (*mangled)++;
3653*38fd1498Szrj string_prepend (&decl, "&");
3654*38fd1498Szrj if (tk == tk_none)
3655*38fd1498Szrj tk = tk_reference;
3656*38fd1498Szrj break;
3657*38fd1498Szrj
3658*38fd1498Szrj /* An rvalue reference type */
3659*38fd1498Szrj case 'O':
3660*38fd1498Szrj (*mangled)++;
3661*38fd1498Szrj string_prepend (&decl, "&&");
3662*38fd1498Szrj if (tk == tk_none)
3663*38fd1498Szrj tk = tk_rvalue_reference;
3664*38fd1498Szrj break;
3665*38fd1498Szrj
3666*38fd1498Szrj /* An array */
3667*38fd1498Szrj case 'A':
3668*38fd1498Szrj {
3669*38fd1498Szrj ++(*mangled);
3670*38fd1498Szrj if (!STRING_EMPTY (&decl)
3671*38fd1498Szrj && (decl.b[0] == '*' || decl.b[0] == '&'))
3672*38fd1498Szrj {
3673*38fd1498Szrj string_prepend (&decl, "(");
3674*38fd1498Szrj string_append (&decl, ")");
3675*38fd1498Szrj }
3676*38fd1498Szrj string_append (&decl, "[");
3677*38fd1498Szrj if (**mangled != '_')
3678*38fd1498Szrj success = demangle_template_value_parm (work, mangled, &decl,
3679*38fd1498Szrj tk_integral);
3680*38fd1498Szrj if (**mangled == '_')
3681*38fd1498Szrj ++(*mangled);
3682*38fd1498Szrj string_append (&decl, "]");
3683*38fd1498Szrj break;
3684*38fd1498Szrj }
3685*38fd1498Szrj
3686*38fd1498Szrj /* A back reference to a previously seen type */
3687*38fd1498Szrj case 'T':
3688*38fd1498Szrj (*mangled)++;
3689*38fd1498Szrj if (!get_count (mangled, &n) || n < 0 || n >= work -> ntypes)
3690*38fd1498Szrj {
3691*38fd1498Szrj success = 0;
3692*38fd1498Szrj }
3693*38fd1498Szrj else
3694*38fd1498Szrj for (i = 0; i < work->nproctypes; i++)
3695*38fd1498Szrj if (work -> proctypevec [i] == n)
3696*38fd1498Szrj success = 0;
3697*38fd1498Szrj
3698*38fd1498Szrj if (success)
3699*38fd1498Szrj {
3700*38fd1498Szrj is_proctypevec = 1;
3701*38fd1498Szrj push_processed_type (work, n);
3702*38fd1498Szrj remembered_type = work->typevec[n];
3703*38fd1498Szrj mangled = &remembered_type;
3704*38fd1498Szrj }
3705*38fd1498Szrj break;
3706*38fd1498Szrj
3707*38fd1498Szrj /* A function */
3708*38fd1498Szrj case 'F':
3709*38fd1498Szrj (*mangled)++;
3710*38fd1498Szrj if (!STRING_EMPTY (&decl)
3711*38fd1498Szrj && (decl.b[0] == '*' || decl.b[0] == '&'))
3712*38fd1498Szrj {
3713*38fd1498Szrj string_prepend (&decl, "(");
3714*38fd1498Szrj string_append (&decl, ")");
3715*38fd1498Szrj }
3716*38fd1498Szrj /* After picking off the function args, we expect to either find the
3717*38fd1498Szrj function return type (preceded by an '_') or the end of the
3718*38fd1498Szrj string. */
3719*38fd1498Szrj if (!demangle_nested_args (work, mangled, &decl)
3720*38fd1498Szrj || (**mangled != '_' && **mangled != '\0'))
3721*38fd1498Szrj {
3722*38fd1498Szrj success = 0;
3723*38fd1498Szrj break;
3724*38fd1498Szrj }
3725*38fd1498Szrj if (success && (**mangled == '_'))
3726*38fd1498Szrj (*mangled)++;
3727*38fd1498Szrj break;
3728*38fd1498Szrj
3729*38fd1498Szrj case 'M':
3730*38fd1498Szrj {
3731*38fd1498Szrj type_quals = TYPE_UNQUALIFIED;
3732*38fd1498Szrj
3733*38fd1498Szrj member = **mangled == 'M';
3734*38fd1498Szrj (*mangled)++;
3735*38fd1498Szrj
3736*38fd1498Szrj string_append (&decl, ")");
3737*38fd1498Szrj
3738*38fd1498Szrj /* We don't need to prepend `::' for a qualified name;
3739*38fd1498Szrj demangle_qualified will do that for us. */
3740*38fd1498Szrj if (**mangled != 'Q')
3741*38fd1498Szrj string_prepend (&decl, SCOPE_STRING (work));
3742*38fd1498Szrj
3743*38fd1498Szrj if (ISDIGIT ((unsigned char)**mangled))
3744*38fd1498Szrj {
3745*38fd1498Szrj n = consume_count (mangled);
3746*38fd1498Szrj if (n == -1
3747*38fd1498Szrj || (int) strlen (*mangled) < n)
3748*38fd1498Szrj {
3749*38fd1498Szrj success = 0;
3750*38fd1498Szrj break;
3751*38fd1498Szrj }
3752*38fd1498Szrj string_prependn (&decl, *mangled, n);
3753*38fd1498Szrj *mangled += n;
3754*38fd1498Szrj }
3755*38fd1498Szrj else if (**mangled == 'X' || **mangled == 'Y')
3756*38fd1498Szrj {
3757*38fd1498Szrj string temp;
3758*38fd1498Szrj do_type (work, mangled, &temp);
3759*38fd1498Szrj string_prepends (&decl, &temp);
3760*38fd1498Szrj string_delete (&temp);
3761*38fd1498Szrj }
3762*38fd1498Szrj else if (**mangled == 't')
3763*38fd1498Szrj {
3764*38fd1498Szrj string temp;
3765*38fd1498Szrj string_init (&temp);
3766*38fd1498Szrj success = demangle_template (work, mangled, &temp,
3767*38fd1498Szrj NULL, 1, 1);
3768*38fd1498Szrj if (success)
3769*38fd1498Szrj {
3770*38fd1498Szrj string_prependn (&decl, temp.b, temp.p - temp.b);
3771*38fd1498Szrj string_delete (&temp);
3772*38fd1498Szrj }
3773*38fd1498Szrj else
3774*38fd1498Szrj {
3775*38fd1498Szrj string_delete (&temp);
3776*38fd1498Szrj break;
3777*38fd1498Szrj }
3778*38fd1498Szrj }
3779*38fd1498Szrj else if (**mangled == 'Q')
3780*38fd1498Szrj {
3781*38fd1498Szrj success = demangle_qualified (work, mangled, &decl,
3782*38fd1498Szrj /*isfuncnam=*/0,
3783*38fd1498Szrj /*append=*/0);
3784*38fd1498Szrj if (!success)
3785*38fd1498Szrj break;
3786*38fd1498Szrj }
3787*38fd1498Szrj else
3788*38fd1498Szrj {
3789*38fd1498Szrj success = 0;
3790*38fd1498Szrj break;
3791*38fd1498Szrj }
3792*38fd1498Szrj
3793*38fd1498Szrj string_prepend (&decl, "(");
3794*38fd1498Szrj if (member)
3795*38fd1498Szrj {
3796*38fd1498Szrj switch (**mangled)
3797*38fd1498Szrj {
3798*38fd1498Szrj case 'C':
3799*38fd1498Szrj case 'V':
3800*38fd1498Szrj case 'u':
3801*38fd1498Szrj type_quals |= code_for_qualifier (**mangled);
3802*38fd1498Szrj (*mangled)++;
3803*38fd1498Szrj break;
3804*38fd1498Szrj
3805*38fd1498Szrj default:
3806*38fd1498Szrj break;
3807*38fd1498Szrj }
3808*38fd1498Szrj
3809*38fd1498Szrj if (*(*mangled) != 'F')
3810*38fd1498Szrj {
3811*38fd1498Szrj success = 0;
3812*38fd1498Szrj break;
3813*38fd1498Szrj }
3814*38fd1498Szrj (*mangled)++;
3815*38fd1498Szrj }
3816*38fd1498Szrj if ((member && !demangle_nested_args (work, mangled, &decl))
3817*38fd1498Szrj || **mangled != '_')
3818*38fd1498Szrj {
3819*38fd1498Szrj success = 0;
3820*38fd1498Szrj break;
3821*38fd1498Szrj }
3822*38fd1498Szrj (*mangled)++;
3823*38fd1498Szrj if (! PRINT_ANSI_QUALIFIERS)
3824*38fd1498Szrj {
3825*38fd1498Szrj break;
3826*38fd1498Szrj }
3827*38fd1498Szrj if (type_quals != TYPE_UNQUALIFIED)
3828*38fd1498Szrj {
3829*38fd1498Szrj APPEND_BLANK (&decl);
3830*38fd1498Szrj string_append (&decl, qualifier_string (type_quals));
3831*38fd1498Szrj }
3832*38fd1498Szrj break;
3833*38fd1498Szrj }
3834*38fd1498Szrj case 'G':
3835*38fd1498Szrj (*mangled)++;
3836*38fd1498Szrj break;
3837*38fd1498Szrj
3838*38fd1498Szrj case 'C':
3839*38fd1498Szrj case 'V':
3840*38fd1498Szrj case 'u':
3841*38fd1498Szrj if (PRINT_ANSI_QUALIFIERS)
3842*38fd1498Szrj {
3843*38fd1498Szrj if (!STRING_EMPTY (&decl))
3844*38fd1498Szrj string_prepend (&decl, " ");
3845*38fd1498Szrj
3846*38fd1498Szrj string_prepend (&decl, demangle_qualifier (**mangled));
3847*38fd1498Szrj }
3848*38fd1498Szrj (*mangled)++;
3849*38fd1498Szrj break;
3850*38fd1498Szrj /*
3851*38fd1498Szrj }
3852*38fd1498Szrj */
3853*38fd1498Szrj
3854*38fd1498Szrj /* fall through */
3855*38fd1498Szrj default:
3856*38fd1498Szrj done = 1;
3857*38fd1498Szrj break;
3858*38fd1498Szrj }
3859*38fd1498Szrj }
3860*38fd1498Szrj
3861*38fd1498Szrj if (success) switch (**mangled)
3862*38fd1498Szrj {
3863*38fd1498Szrj /* A qualified name, such as "Outer::Inner". */
3864*38fd1498Szrj case 'Q':
3865*38fd1498Szrj case 'K':
3866*38fd1498Szrj {
3867*38fd1498Szrj success = demangle_qualified (work, mangled, result, 0, 1);
3868*38fd1498Szrj break;
3869*38fd1498Szrj }
3870*38fd1498Szrj
3871*38fd1498Szrj /* A back reference to a previously seen squangled type */
3872*38fd1498Szrj case 'B':
3873*38fd1498Szrj (*mangled)++;
3874*38fd1498Szrj if (!get_count (mangled, &n) || n < 0 || n >= work -> numb)
3875*38fd1498Szrj success = 0;
3876*38fd1498Szrj else
3877*38fd1498Szrj string_append (result, work->btypevec[n]);
3878*38fd1498Szrj break;
3879*38fd1498Szrj
3880*38fd1498Szrj case 'X':
3881*38fd1498Szrj case 'Y':
3882*38fd1498Szrj /* A template parm. We substitute the corresponding argument. */
3883*38fd1498Szrj {
3884*38fd1498Szrj int idx;
3885*38fd1498Szrj
3886*38fd1498Szrj (*mangled)++;
3887*38fd1498Szrj idx = consume_count_with_underscores (mangled);
3888*38fd1498Szrj
3889*38fd1498Szrj if (idx == -1
3890*38fd1498Szrj || (work->tmpl_argvec && idx >= work->ntmpl_args)
3891*38fd1498Szrj || consume_count_with_underscores (mangled) == -1)
3892*38fd1498Szrj {
3893*38fd1498Szrj success = 0;
3894*38fd1498Szrj break;
3895*38fd1498Szrj }
3896*38fd1498Szrj
3897*38fd1498Szrj if (work->tmpl_argvec)
3898*38fd1498Szrj string_append (result, work->tmpl_argvec[idx]);
3899*38fd1498Szrj else
3900*38fd1498Szrj string_append_template_idx (result, idx);
3901*38fd1498Szrj
3902*38fd1498Szrj success = 1;
3903*38fd1498Szrj }
3904*38fd1498Szrj break;
3905*38fd1498Szrj
3906*38fd1498Szrj default:
3907*38fd1498Szrj success = demangle_fund_type (work, mangled, result);
3908*38fd1498Szrj if (tk == tk_none)
3909*38fd1498Szrj tk = (type_kind_t) success;
3910*38fd1498Szrj break;
3911*38fd1498Szrj }
3912*38fd1498Szrj
3913*38fd1498Szrj if (success)
3914*38fd1498Szrj {
3915*38fd1498Szrj if (!STRING_EMPTY (&decl))
3916*38fd1498Szrj {
3917*38fd1498Szrj string_append (result, " ");
3918*38fd1498Szrj string_appends (result, &decl);
3919*38fd1498Szrj }
3920*38fd1498Szrj }
3921*38fd1498Szrj else
3922*38fd1498Szrj string_delete (result);
3923*38fd1498Szrj string_delete (&decl);
3924*38fd1498Szrj
3925*38fd1498Szrj if (is_proctypevec)
3926*38fd1498Szrj pop_processed_type (work);
3927*38fd1498Szrj
3928*38fd1498Szrj if (success)
3929*38fd1498Szrj /* Assume an integral type, if we're not sure. */
3930*38fd1498Szrj return (int) ((tk == tk_none) ? tk_integral : tk);
3931*38fd1498Szrj else
3932*38fd1498Szrj return 0;
3933*38fd1498Szrj }
3934*38fd1498Szrj
3935*38fd1498Szrj /* Given a pointer to a type string that represents a fundamental type
3936*38fd1498Szrj argument (int, long, unsigned int, etc) in TYPE, a pointer to the
3937*38fd1498Szrj string in which the demangled output is being built in RESULT, and
3938*38fd1498Szrj the WORK structure, decode the types and add them to the result.
3939*38fd1498Szrj
3940*38fd1498Szrj For example:
3941*38fd1498Szrj
3942*38fd1498Szrj "Ci" => "const int"
3943*38fd1498Szrj "Sl" => "signed long"
3944*38fd1498Szrj "CUs" => "const unsigned short"
3945*38fd1498Szrj
3946*38fd1498Szrj The value returned is really a type_kind_t. */
3947*38fd1498Szrj
3948*38fd1498Szrj static int
demangle_fund_type(struct work_stuff * work,const char ** mangled,string * result)3949*38fd1498Szrj demangle_fund_type (struct work_stuff *work,
3950*38fd1498Szrj const char **mangled, string *result)
3951*38fd1498Szrj {
3952*38fd1498Szrj int done = 0;
3953*38fd1498Szrj int success = 1;
3954*38fd1498Szrj char buf[INTBUF_SIZE + 5 /* 'int%u_t' */];
3955*38fd1498Szrj unsigned int dec = 0;
3956*38fd1498Szrj type_kind_t tk = tk_integral;
3957*38fd1498Szrj
3958*38fd1498Szrj /* First pick off any type qualifiers. There can be more than one. */
3959*38fd1498Szrj
3960*38fd1498Szrj while (!done)
3961*38fd1498Szrj {
3962*38fd1498Szrj switch (**mangled)
3963*38fd1498Szrj {
3964*38fd1498Szrj case 'C':
3965*38fd1498Szrj case 'V':
3966*38fd1498Szrj case 'u':
3967*38fd1498Szrj if (PRINT_ANSI_QUALIFIERS)
3968*38fd1498Szrj {
3969*38fd1498Szrj if (!STRING_EMPTY (result))
3970*38fd1498Szrj string_prepend (result, " ");
3971*38fd1498Szrj string_prepend (result, demangle_qualifier (**mangled));
3972*38fd1498Szrj }
3973*38fd1498Szrj (*mangled)++;
3974*38fd1498Szrj break;
3975*38fd1498Szrj case 'U':
3976*38fd1498Szrj (*mangled)++;
3977*38fd1498Szrj APPEND_BLANK (result);
3978*38fd1498Szrj string_append (result, "unsigned");
3979*38fd1498Szrj break;
3980*38fd1498Szrj case 'S': /* signed char only */
3981*38fd1498Szrj (*mangled)++;
3982*38fd1498Szrj APPEND_BLANK (result);
3983*38fd1498Szrj string_append (result, "signed");
3984*38fd1498Szrj break;
3985*38fd1498Szrj case 'J':
3986*38fd1498Szrj (*mangled)++;
3987*38fd1498Szrj APPEND_BLANK (result);
3988*38fd1498Szrj string_append (result, "__complex");
3989*38fd1498Szrj break;
3990*38fd1498Szrj default:
3991*38fd1498Szrj done = 1;
3992*38fd1498Szrj break;
3993*38fd1498Szrj }
3994*38fd1498Szrj }
3995*38fd1498Szrj
3996*38fd1498Szrj /* Now pick off the fundamental type. There can be only one. */
3997*38fd1498Szrj
3998*38fd1498Szrj switch (**mangled)
3999*38fd1498Szrj {
4000*38fd1498Szrj case '\0':
4001*38fd1498Szrj case '_':
4002*38fd1498Szrj break;
4003*38fd1498Szrj case 'v':
4004*38fd1498Szrj (*mangled)++;
4005*38fd1498Szrj APPEND_BLANK (result);
4006*38fd1498Szrj string_append (result, "void");
4007*38fd1498Szrj break;
4008*38fd1498Szrj case 'x':
4009*38fd1498Szrj (*mangled)++;
4010*38fd1498Szrj APPEND_BLANK (result);
4011*38fd1498Szrj string_append (result, "long long");
4012*38fd1498Szrj break;
4013*38fd1498Szrj case 'l':
4014*38fd1498Szrj (*mangled)++;
4015*38fd1498Szrj APPEND_BLANK (result);
4016*38fd1498Szrj string_append (result, "long");
4017*38fd1498Szrj break;
4018*38fd1498Szrj case 'i':
4019*38fd1498Szrj (*mangled)++;
4020*38fd1498Szrj APPEND_BLANK (result);
4021*38fd1498Szrj string_append (result, "int");
4022*38fd1498Szrj break;
4023*38fd1498Szrj case 's':
4024*38fd1498Szrj (*mangled)++;
4025*38fd1498Szrj APPEND_BLANK (result);
4026*38fd1498Szrj string_append (result, "short");
4027*38fd1498Szrj break;
4028*38fd1498Szrj case 'b':
4029*38fd1498Szrj (*mangled)++;
4030*38fd1498Szrj APPEND_BLANK (result);
4031*38fd1498Szrj string_append (result, "bool");
4032*38fd1498Szrj tk = tk_bool;
4033*38fd1498Szrj break;
4034*38fd1498Szrj case 'c':
4035*38fd1498Szrj (*mangled)++;
4036*38fd1498Szrj APPEND_BLANK (result);
4037*38fd1498Szrj string_append (result, "char");
4038*38fd1498Szrj tk = tk_char;
4039*38fd1498Szrj break;
4040*38fd1498Szrj case 'w':
4041*38fd1498Szrj (*mangled)++;
4042*38fd1498Szrj APPEND_BLANK (result);
4043*38fd1498Szrj string_append (result, "wchar_t");
4044*38fd1498Szrj tk = tk_char;
4045*38fd1498Szrj break;
4046*38fd1498Szrj case 'r':
4047*38fd1498Szrj (*mangled)++;
4048*38fd1498Szrj APPEND_BLANK (result);
4049*38fd1498Szrj string_append (result, "long double");
4050*38fd1498Szrj tk = tk_real;
4051*38fd1498Szrj break;
4052*38fd1498Szrj case 'd':
4053*38fd1498Szrj (*mangled)++;
4054*38fd1498Szrj APPEND_BLANK (result);
4055*38fd1498Szrj string_append (result, "double");
4056*38fd1498Szrj tk = tk_real;
4057*38fd1498Szrj break;
4058*38fd1498Szrj case 'f':
4059*38fd1498Szrj (*mangled)++;
4060*38fd1498Szrj APPEND_BLANK (result);
4061*38fd1498Szrj string_append (result, "float");
4062*38fd1498Szrj tk = tk_real;
4063*38fd1498Szrj break;
4064*38fd1498Szrj case 'G':
4065*38fd1498Szrj (*mangled)++;
4066*38fd1498Szrj if (!ISDIGIT ((unsigned char)**mangled))
4067*38fd1498Szrj {
4068*38fd1498Szrj success = 0;
4069*38fd1498Szrj break;
4070*38fd1498Szrj }
4071*38fd1498Szrj /* fall through */
4072*38fd1498Szrj case 'I':
4073*38fd1498Szrj (*mangled)++;
4074*38fd1498Szrj if (**mangled == '_')
4075*38fd1498Szrj {
4076*38fd1498Szrj int i;
4077*38fd1498Szrj (*mangled)++;
4078*38fd1498Szrj for (i = 0;
4079*38fd1498Szrj i < (long) sizeof (buf) - 1 && **mangled && **mangled != '_';
4080*38fd1498Szrj (*mangled)++, i++)
4081*38fd1498Szrj buf[i] = **mangled;
4082*38fd1498Szrj if (**mangled != '_')
4083*38fd1498Szrj {
4084*38fd1498Szrj success = 0;
4085*38fd1498Szrj break;
4086*38fd1498Szrj }
4087*38fd1498Szrj buf[i] = '\0';
4088*38fd1498Szrj (*mangled)++;
4089*38fd1498Szrj }
4090*38fd1498Szrj else
4091*38fd1498Szrj {
4092*38fd1498Szrj strncpy (buf, *mangled, 2);
4093*38fd1498Szrj buf[2] = '\0';
4094*38fd1498Szrj *mangled += min (strlen (*mangled), 2);
4095*38fd1498Szrj }
4096*38fd1498Szrj sscanf (buf, "%x", &dec);
4097*38fd1498Szrj sprintf (buf, "int%u_t", dec);
4098*38fd1498Szrj APPEND_BLANK (result);
4099*38fd1498Szrj string_append (result, buf);
4100*38fd1498Szrj break;
4101*38fd1498Szrj
4102*38fd1498Szrj /* fall through */
4103*38fd1498Szrj /* An explicit type, such as "6mytype" or "7integer" */
4104*38fd1498Szrj case '0':
4105*38fd1498Szrj case '1':
4106*38fd1498Szrj case '2':
4107*38fd1498Szrj case '3':
4108*38fd1498Szrj case '4':
4109*38fd1498Szrj case '5':
4110*38fd1498Szrj case '6':
4111*38fd1498Szrj case '7':
4112*38fd1498Szrj case '8':
4113*38fd1498Szrj case '9':
4114*38fd1498Szrj {
4115*38fd1498Szrj int bindex = register_Btype (work);
4116*38fd1498Szrj string btype;
4117*38fd1498Szrj string_init (&btype);
4118*38fd1498Szrj if (demangle_class_name (work, mangled, &btype)) {
4119*38fd1498Szrj remember_Btype (work, btype.b, LEN_STRING (&btype), bindex);
4120*38fd1498Szrj APPEND_BLANK (result);
4121*38fd1498Szrj string_appends (result, &btype);
4122*38fd1498Szrj }
4123*38fd1498Szrj else
4124*38fd1498Szrj success = 0;
4125*38fd1498Szrj string_delete (&btype);
4126*38fd1498Szrj break;
4127*38fd1498Szrj }
4128*38fd1498Szrj case 't':
4129*38fd1498Szrj {
4130*38fd1498Szrj string btype;
4131*38fd1498Szrj string_init (&btype);
4132*38fd1498Szrj success = demangle_template (work, mangled, &btype, 0, 1, 1);
4133*38fd1498Szrj string_appends (result, &btype);
4134*38fd1498Szrj string_delete (&btype);
4135*38fd1498Szrj break;
4136*38fd1498Szrj }
4137*38fd1498Szrj default:
4138*38fd1498Szrj success = 0;
4139*38fd1498Szrj break;
4140*38fd1498Szrj }
4141*38fd1498Szrj
4142*38fd1498Szrj return success ? ((int) tk) : 0;
4143*38fd1498Szrj }
4144*38fd1498Szrj
4145*38fd1498Szrj
4146*38fd1498Szrj /* Handle a template's value parameter for HP aCC (extension from ARM)
4147*38fd1498Szrj **mangled points to 'S' or 'U' */
4148*38fd1498Szrj
4149*38fd1498Szrj static int
do_hpacc_template_const_value(struct work_stuff * work ATTRIBUTE_UNUSED,const char ** mangled,string * result)4150*38fd1498Szrj do_hpacc_template_const_value (struct work_stuff *work ATTRIBUTE_UNUSED,
4151*38fd1498Szrj const char **mangled, string *result)
4152*38fd1498Szrj {
4153*38fd1498Szrj int unsigned_const;
4154*38fd1498Szrj
4155*38fd1498Szrj if (**mangled != 'U' && **mangled != 'S')
4156*38fd1498Szrj return 0;
4157*38fd1498Szrj
4158*38fd1498Szrj unsigned_const = (**mangled == 'U');
4159*38fd1498Szrj
4160*38fd1498Szrj (*mangled)++;
4161*38fd1498Szrj
4162*38fd1498Szrj switch (**mangled)
4163*38fd1498Szrj {
4164*38fd1498Szrj case 'N':
4165*38fd1498Szrj string_append (result, "-");
4166*38fd1498Szrj /* fall through */
4167*38fd1498Szrj case 'P':
4168*38fd1498Szrj (*mangled)++;
4169*38fd1498Szrj break;
4170*38fd1498Szrj case 'M':
4171*38fd1498Szrj /* special case for -2^31 */
4172*38fd1498Szrj string_append (result, "-2147483648");
4173*38fd1498Szrj (*mangled)++;
4174*38fd1498Szrj return 1;
4175*38fd1498Szrj default:
4176*38fd1498Szrj return 0;
4177*38fd1498Szrj }
4178*38fd1498Szrj
4179*38fd1498Szrj /* We have to be looking at an integer now */
4180*38fd1498Szrj if (!(ISDIGIT ((unsigned char)**mangled)))
4181*38fd1498Szrj return 0;
4182*38fd1498Szrj
4183*38fd1498Szrj /* We only deal with integral values for template
4184*38fd1498Szrj parameters -- so it's OK to look only for digits */
4185*38fd1498Szrj while (ISDIGIT ((unsigned char)**mangled))
4186*38fd1498Szrj {
4187*38fd1498Szrj char_str[0] = **mangled;
4188*38fd1498Szrj string_append (result, char_str);
4189*38fd1498Szrj (*mangled)++;
4190*38fd1498Szrj }
4191*38fd1498Szrj
4192*38fd1498Szrj if (unsigned_const)
4193*38fd1498Szrj string_append (result, "U");
4194*38fd1498Szrj
4195*38fd1498Szrj /* FIXME? Some day we may have 64-bit (or larger :-) ) constants
4196*38fd1498Szrj with L or LL suffixes. pai/1997-09-03 */
4197*38fd1498Szrj
4198*38fd1498Szrj return 1; /* success */
4199*38fd1498Szrj }
4200*38fd1498Szrj
4201*38fd1498Szrj /* Handle a template's literal parameter for HP aCC (extension from ARM)
4202*38fd1498Szrj **mangled is pointing to the 'A' */
4203*38fd1498Szrj
4204*38fd1498Szrj static int
do_hpacc_template_literal(struct work_stuff * work,const char ** mangled,string * result)4205*38fd1498Szrj do_hpacc_template_literal (struct work_stuff *work, const char **mangled,
4206*38fd1498Szrj string *result)
4207*38fd1498Szrj {
4208*38fd1498Szrj int literal_len = 0;
4209*38fd1498Szrj char * recurse;
4210*38fd1498Szrj char * recurse_dem;
4211*38fd1498Szrj
4212*38fd1498Szrj if (**mangled != 'A')
4213*38fd1498Szrj return 0;
4214*38fd1498Szrj
4215*38fd1498Szrj (*mangled)++;
4216*38fd1498Szrj
4217*38fd1498Szrj literal_len = consume_count (mangled);
4218*38fd1498Szrj
4219*38fd1498Szrj if (literal_len <= 0
4220*38fd1498Szrj || literal_len > (long) strlen (*mangled))
4221*38fd1498Szrj return 0;
4222*38fd1498Szrj
4223*38fd1498Szrj /* Literal parameters are names of arrays, functions, etc. and the
4224*38fd1498Szrj canonical representation uses the address operator */
4225*38fd1498Szrj string_append (result, "&");
4226*38fd1498Szrj
4227*38fd1498Szrj /* Now recursively demangle the literal name */
4228*38fd1498Szrj recurse = XNEWVEC (char, literal_len + 1);
4229*38fd1498Szrj memcpy (recurse, *mangled, literal_len);
4230*38fd1498Szrj recurse[literal_len] = '\000';
4231*38fd1498Szrj
4232*38fd1498Szrj recurse_dem = cplus_demangle (recurse, work->options);
4233*38fd1498Szrj
4234*38fd1498Szrj if (recurse_dem)
4235*38fd1498Szrj {
4236*38fd1498Szrj string_append (result, recurse_dem);
4237*38fd1498Szrj free (recurse_dem);
4238*38fd1498Szrj }
4239*38fd1498Szrj else
4240*38fd1498Szrj {
4241*38fd1498Szrj string_appendn (result, *mangled, literal_len);
4242*38fd1498Szrj }
4243*38fd1498Szrj (*mangled) += literal_len;
4244*38fd1498Szrj free (recurse);
4245*38fd1498Szrj
4246*38fd1498Szrj return 1;
4247*38fd1498Szrj }
4248*38fd1498Szrj
4249*38fd1498Szrj static int
snarf_numeric_literal(const char ** args,string * arg)4250*38fd1498Szrj snarf_numeric_literal (const char **args, string *arg)
4251*38fd1498Szrj {
4252*38fd1498Szrj if (**args == '-')
4253*38fd1498Szrj {
4254*38fd1498Szrj char_str[0] = '-';
4255*38fd1498Szrj string_append (arg, char_str);
4256*38fd1498Szrj (*args)++;
4257*38fd1498Szrj }
4258*38fd1498Szrj else if (**args == '+')
4259*38fd1498Szrj (*args)++;
4260*38fd1498Szrj
4261*38fd1498Szrj if (!ISDIGIT ((unsigned char)**args))
4262*38fd1498Szrj return 0;
4263*38fd1498Szrj
4264*38fd1498Szrj while (ISDIGIT ((unsigned char)**args))
4265*38fd1498Szrj {
4266*38fd1498Szrj char_str[0] = **args;
4267*38fd1498Szrj string_append (arg, char_str);
4268*38fd1498Szrj (*args)++;
4269*38fd1498Szrj }
4270*38fd1498Szrj
4271*38fd1498Szrj return 1;
4272*38fd1498Szrj }
4273*38fd1498Szrj
4274*38fd1498Szrj /* Demangle the next argument, given by MANGLED into RESULT, which
4275*38fd1498Szrj *should be an uninitialized* string. It will be initialized here,
4276*38fd1498Szrj and free'd should anything go wrong. */
4277*38fd1498Szrj
4278*38fd1498Szrj static int
do_arg(struct work_stuff * work,const char ** mangled,string * result)4279*38fd1498Szrj do_arg (struct work_stuff *work, const char **mangled, string *result)
4280*38fd1498Szrj {
4281*38fd1498Szrj /* Remember where we started so that we can record the type, for
4282*38fd1498Szrj non-squangling type remembering. */
4283*38fd1498Szrj const char *start = *mangled;
4284*38fd1498Szrj
4285*38fd1498Szrj string_init (result);
4286*38fd1498Szrj
4287*38fd1498Szrj if (work->nrepeats > 0)
4288*38fd1498Szrj {
4289*38fd1498Szrj --work->nrepeats;
4290*38fd1498Szrj
4291*38fd1498Szrj if (work->previous_argument == 0)
4292*38fd1498Szrj return 0;
4293*38fd1498Szrj
4294*38fd1498Szrj /* We want to reissue the previous type in this argument list. */
4295*38fd1498Szrj string_appends (result, work->previous_argument);
4296*38fd1498Szrj return 1;
4297*38fd1498Szrj }
4298*38fd1498Szrj
4299*38fd1498Szrj if (**mangled == 'n')
4300*38fd1498Szrj {
4301*38fd1498Szrj /* A squangling-style repeat. */
4302*38fd1498Szrj (*mangled)++;
4303*38fd1498Szrj work->nrepeats = consume_count(mangled);
4304*38fd1498Szrj
4305*38fd1498Szrj if (work->nrepeats <= 0)
4306*38fd1498Szrj /* This was not a repeat count after all. */
4307*38fd1498Szrj return 0;
4308*38fd1498Szrj
4309*38fd1498Szrj if (work->nrepeats > 9)
4310*38fd1498Szrj {
4311*38fd1498Szrj if (**mangled != '_')
4312*38fd1498Szrj /* The repeat count should be followed by an '_' in this
4313*38fd1498Szrj case. */
4314*38fd1498Szrj return 0;
4315*38fd1498Szrj else
4316*38fd1498Szrj (*mangled)++;
4317*38fd1498Szrj }
4318*38fd1498Szrj
4319*38fd1498Szrj /* Now, the repeat is all set up. */
4320*38fd1498Szrj return do_arg (work, mangled, result);
4321*38fd1498Szrj }
4322*38fd1498Szrj
4323*38fd1498Szrj /* Save the result in WORK->previous_argument so that we can find it
4324*38fd1498Szrj if it's repeated. Note that saving START is not good enough: we
4325*38fd1498Szrj do not want to add additional types to the back-referenceable
4326*38fd1498Szrj type vector when processing a repeated type. */
4327*38fd1498Szrj if (work->previous_argument)
4328*38fd1498Szrj string_delete (work->previous_argument);
4329*38fd1498Szrj else
4330*38fd1498Szrj work->previous_argument = XNEW (string);
4331*38fd1498Szrj
4332*38fd1498Szrj if (!do_type (work, mangled, work->previous_argument))
4333*38fd1498Szrj return 0;
4334*38fd1498Szrj
4335*38fd1498Szrj string_appends (result, work->previous_argument);
4336*38fd1498Szrj
4337*38fd1498Szrj remember_type (work, start, *mangled - start);
4338*38fd1498Szrj return 1;
4339*38fd1498Szrj }
4340*38fd1498Szrj
4341*38fd1498Szrj static void
push_processed_type(struct work_stuff * work,int typevec_index)4342*38fd1498Szrj push_processed_type (struct work_stuff *work, int typevec_index)
4343*38fd1498Szrj {
4344*38fd1498Szrj if (work->nproctypes >= work->proctypevec_size)
4345*38fd1498Szrj {
4346*38fd1498Szrj if (!work->proctypevec_size)
4347*38fd1498Szrj {
4348*38fd1498Szrj work->proctypevec_size = 4;
4349*38fd1498Szrj work->proctypevec = XNEWVEC (int, work->proctypevec_size);
4350*38fd1498Szrj }
4351*38fd1498Szrj else
4352*38fd1498Szrj {
4353*38fd1498Szrj if (work->proctypevec_size < 16)
4354*38fd1498Szrj /* Double when small. */
4355*38fd1498Szrj work->proctypevec_size *= 2;
4356*38fd1498Szrj else
4357*38fd1498Szrj {
4358*38fd1498Szrj /* Grow slower when large. */
4359*38fd1498Szrj if (work->proctypevec_size > (INT_MAX / 3) * 2)
4360*38fd1498Szrj xmalloc_failed (INT_MAX);
4361*38fd1498Szrj work->proctypevec_size = (work->proctypevec_size * 3 / 2);
4362*38fd1498Szrj }
4363*38fd1498Szrj work->proctypevec
4364*38fd1498Szrj = XRESIZEVEC (int, work->proctypevec, work->proctypevec_size);
4365*38fd1498Szrj }
4366*38fd1498Szrj }
4367*38fd1498Szrj work->proctypevec [work->nproctypes++] = typevec_index;
4368*38fd1498Szrj }
4369*38fd1498Szrj
4370*38fd1498Szrj static void
pop_processed_type(struct work_stuff * work)4371*38fd1498Szrj pop_processed_type (struct work_stuff *work)
4372*38fd1498Szrj {
4373*38fd1498Szrj work->nproctypes--;
4374*38fd1498Szrj }
4375*38fd1498Szrj
4376*38fd1498Szrj static void
remember_type(struct work_stuff * work,const char * start,int len)4377*38fd1498Szrj remember_type (struct work_stuff *work, const char *start, int len)
4378*38fd1498Szrj {
4379*38fd1498Szrj char *tem;
4380*38fd1498Szrj
4381*38fd1498Szrj if (work->forgetting_types)
4382*38fd1498Szrj return;
4383*38fd1498Szrj
4384*38fd1498Szrj if (work -> ntypes >= work -> typevec_size)
4385*38fd1498Szrj {
4386*38fd1498Szrj if (work -> typevec_size == 0)
4387*38fd1498Szrj {
4388*38fd1498Szrj work -> typevec_size = 3;
4389*38fd1498Szrj work -> typevec = XNEWVEC (char *, work->typevec_size);
4390*38fd1498Szrj }
4391*38fd1498Szrj else
4392*38fd1498Szrj {
4393*38fd1498Szrj if (work -> typevec_size > INT_MAX / 2)
4394*38fd1498Szrj xmalloc_failed (INT_MAX);
4395*38fd1498Szrj work -> typevec_size *= 2;
4396*38fd1498Szrj work -> typevec
4397*38fd1498Szrj = XRESIZEVEC (char *, work->typevec, work->typevec_size);
4398*38fd1498Szrj }
4399*38fd1498Szrj }
4400*38fd1498Szrj tem = XNEWVEC (char, len + 1);
4401*38fd1498Szrj memcpy (tem, start, len);
4402*38fd1498Szrj tem[len] = '\0';
4403*38fd1498Szrj work -> typevec[work -> ntypes++] = tem;
4404*38fd1498Szrj }
4405*38fd1498Szrj
4406*38fd1498Szrj
4407*38fd1498Szrj /* Remember a K type class qualifier. */
4408*38fd1498Szrj static void
remember_Ktype(struct work_stuff * work,const char * start,int len)4409*38fd1498Szrj remember_Ktype (struct work_stuff *work, const char *start, int len)
4410*38fd1498Szrj {
4411*38fd1498Szrj char *tem;
4412*38fd1498Szrj
4413*38fd1498Szrj if (work -> numk >= work -> ksize)
4414*38fd1498Szrj {
4415*38fd1498Szrj if (work -> ksize == 0)
4416*38fd1498Szrj {
4417*38fd1498Szrj work -> ksize = 5;
4418*38fd1498Szrj work -> ktypevec = XNEWVEC (char *, work->ksize);
4419*38fd1498Szrj }
4420*38fd1498Szrj else
4421*38fd1498Szrj {
4422*38fd1498Szrj if (work -> ksize > INT_MAX / 2)
4423*38fd1498Szrj xmalloc_failed (INT_MAX);
4424*38fd1498Szrj work -> ksize *= 2;
4425*38fd1498Szrj work -> ktypevec
4426*38fd1498Szrj = XRESIZEVEC (char *, work->ktypevec, work->ksize);
4427*38fd1498Szrj }
4428*38fd1498Szrj }
4429*38fd1498Szrj tem = XNEWVEC (char, len + 1);
4430*38fd1498Szrj memcpy (tem, start, len);
4431*38fd1498Szrj tem[len] = '\0';
4432*38fd1498Szrj work -> ktypevec[work -> numk++] = tem;
4433*38fd1498Szrj }
4434*38fd1498Szrj
4435*38fd1498Szrj /* Register a B code, and get an index for it. B codes are registered
4436*38fd1498Szrj as they are seen, rather than as they are completed, so map<temp<char> >
4437*38fd1498Szrj registers map<temp<char> > as B0, and temp<char> as B1 */
4438*38fd1498Szrj
4439*38fd1498Szrj static int
register_Btype(struct work_stuff * work)4440*38fd1498Szrj register_Btype (struct work_stuff *work)
4441*38fd1498Szrj {
4442*38fd1498Szrj int ret;
4443*38fd1498Szrj
4444*38fd1498Szrj if (work -> numb >= work -> bsize)
4445*38fd1498Szrj {
4446*38fd1498Szrj if (work -> bsize == 0)
4447*38fd1498Szrj {
4448*38fd1498Szrj work -> bsize = 5;
4449*38fd1498Szrj work -> btypevec = XNEWVEC (char *, work->bsize);
4450*38fd1498Szrj }
4451*38fd1498Szrj else
4452*38fd1498Szrj {
4453*38fd1498Szrj if (work -> bsize > INT_MAX / 2)
4454*38fd1498Szrj xmalloc_failed (INT_MAX);
4455*38fd1498Szrj work -> bsize *= 2;
4456*38fd1498Szrj work -> btypevec
4457*38fd1498Szrj = XRESIZEVEC (char *, work->btypevec, work->bsize);
4458*38fd1498Szrj }
4459*38fd1498Szrj }
4460*38fd1498Szrj ret = work -> numb++;
4461*38fd1498Szrj work -> btypevec[ret] = NULL;
4462*38fd1498Szrj return(ret);
4463*38fd1498Szrj }
4464*38fd1498Szrj
4465*38fd1498Szrj /* Store a value into a previously registered B code type. */
4466*38fd1498Szrj
4467*38fd1498Szrj static void
remember_Btype(struct work_stuff * work,const char * start,int len,int index)4468*38fd1498Szrj remember_Btype (struct work_stuff *work, const char *start,
4469*38fd1498Szrj int len, int index)
4470*38fd1498Szrj {
4471*38fd1498Szrj char *tem;
4472*38fd1498Szrj
4473*38fd1498Szrj tem = XNEWVEC (char, len + 1);
4474*38fd1498Szrj memcpy (tem, start, len);
4475*38fd1498Szrj tem[len] = '\0';
4476*38fd1498Szrj work -> btypevec[index] = tem;
4477*38fd1498Szrj }
4478*38fd1498Szrj
4479*38fd1498Szrj /* Lose all the info related to B and K type codes. */
4480*38fd1498Szrj static void
forget_B_and_K_types(struct work_stuff * work)4481*38fd1498Szrj forget_B_and_K_types (struct work_stuff *work)
4482*38fd1498Szrj {
4483*38fd1498Szrj int i;
4484*38fd1498Szrj
4485*38fd1498Szrj while (work -> numk > 0)
4486*38fd1498Szrj {
4487*38fd1498Szrj i = --(work -> numk);
4488*38fd1498Szrj if (work -> ktypevec[i] != NULL)
4489*38fd1498Szrj {
4490*38fd1498Szrj free (work -> ktypevec[i]);
4491*38fd1498Szrj work -> ktypevec[i] = NULL;
4492*38fd1498Szrj }
4493*38fd1498Szrj }
4494*38fd1498Szrj
4495*38fd1498Szrj while (work -> numb > 0)
4496*38fd1498Szrj {
4497*38fd1498Szrj i = --(work -> numb);
4498*38fd1498Szrj if (work -> btypevec[i] != NULL)
4499*38fd1498Szrj {
4500*38fd1498Szrj free (work -> btypevec[i]);
4501*38fd1498Szrj work -> btypevec[i] = NULL;
4502*38fd1498Szrj }
4503*38fd1498Szrj }
4504*38fd1498Szrj }
4505*38fd1498Szrj /* Forget the remembered types, but not the type vector itself. */
4506*38fd1498Szrj
4507*38fd1498Szrj static void
forget_types(struct work_stuff * work)4508*38fd1498Szrj forget_types (struct work_stuff *work)
4509*38fd1498Szrj {
4510*38fd1498Szrj int i;
4511*38fd1498Szrj
4512*38fd1498Szrj while (work -> ntypes > 0)
4513*38fd1498Szrj {
4514*38fd1498Szrj i = --(work -> ntypes);
4515*38fd1498Szrj if (work -> typevec[i] != NULL)
4516*38fd1498Szrj {
4517*38fd1498Szrj free (work -> typevec[i]);
4518*38fd1498Szrj work -> typevec[i] = NULL;
4519*38fd1498Szrj }
4520*38fd1498Szrj }
4521*38fd1498Szrj }
4522*38fd1498Szrj
4523*38fd1498Szrj /* Process the argument list part of the signature, after any class spec
4524*38fd1498Szrj has been consumed, as well as the first 'F' character (if any). For
4525*38fd1498Szrj example:
4526*38fd1498Szrj
4527*38fd1498Szrj "__als__3fooRT0" => process "RT0"
4528*38fd1498Szrj "complexfunc5__FPFPc_PFl_i" => process "PFPc_PFl_i"
4529*38fd1498Szrj
4530*38fd1498Szrj DECLP must be already initialised, usually non-empty. It won't be freed
4531*38fd1498Szrj on failure.
4532*38fd1498Szrj
4533*38fd1498Szrj Note that g++ differs significantly from ARM and lucid style mangling
4534*38fd1498Szrj with regards to references to previously seen types. For example, given
4535*38fd1498Szrj the source fragment:
4536*38fd1498Szrj
4537*38fd1498Szrj class foo {
4538*38fd1498Szrj public:
4539*38fd1498Szrj foo::foo (int, foo &ia, int, foo &ib, int, foo &ic);
4540*38fd1498Szrj };
4541*38fd1498Szrj
4542*38fd1498Szrj foo::foo (int, foo &ia, int, foo &ib, int, foo &ic) { ia = ib = ic; }
4543*38fd1498Szrj void foo (int, foo &ia, int, foo &ib, int, foo &ic) { ia = ib = ic; }
4544*38fd1498Szrj
4545*38fd1498Szrj g++ produces the names:
4546*38fd1498Szrj
4547*38fd1498Szrj __3fooiRT0iT2iT2
4548*38fd1498Szrj foo__FiR3fooiT1iT1
4549*38fd1498Szrj
4550*38fd1498Szrj while lcc (and presumably other ARM style compilers as well) produces:
4551*38fd1498Szrj
4552*38fd1498Szrj foo__FiR3fooT1T2T1T2
4553*38fd1498Szrj __ct__3fooFiR3fooT1T2T1T2
4554*38fd1498Szrj
4555*38fd1498Szrj Note that g++ bases its type numbers starting at zero and counts all
4556*38fd1498Szrj previously seen types, while lucid/ARM bases its type numbers starting
4557*38fd1498Szrj at one and only considers types after it has seen the 'F' character
4558*38fd1498Szrj indicating the start of the function args. For lucid/ARM style, we
4559*38fd1498Szrj account for this difference by discarding any previously seen types when
4560*38fd1498Szrj we see the 'F' character, and subtracting one from the type number
4561*38fd1498Szrj reference.
4562*38fd1498Szrj
4563*38fd1498Szrj */
4564*38fd1498Szrj
4565*38fd1498Szrj static int
demangle_args(struct work_stuff * work,const char ** mangled,string * declp)4566*38fd1498Szrj demangle_args (struct work_stuff *work, const char **mangled,
4567*38fd1498Szrj string *declp)
4568*38fd1498Szrj {
4569*38fd1498Szrj string arg;
4570*38fd1498Szrj int need_comma = 0;
4571*38fd1498Szrj int r;
4572*38fd1498Szrj int t;
4573*38fd1498Szrj const char *tem;
4574*38fd1498Szrj char temptype;
4575*38fd1498Szrj
4576*38fd1498Szrj if (PRINT_ARG_TYPES)
4577*38fd1498Szrj {
4578*38fd1498Szrj string_append (declp, "(");
4579*38fd1498Szrj if (**mangled == '\0')
4580*38fd1498Szrj {
4581*38fd1498Szrj string_append (declp, "void");
4582*38fd1498Szrj }
4583*38fd1498Szrj }
4584*38fd1498Szrj
4585*38fd1498Szrj while ((**mangled != '_' && **mangled != '\0' && **mangled != 'e')
4586*38fd1498Szrj || work->nrepeats > 0)
4587*38fd1498Szrj {
4588*38fd1498Szrj if ((**mangled == 'N') || (**mangled == 'T'))
4589*38fd1498Szrj {
4590*38fd1498Szrj temptype = *(*mangled)++;
4591*38fd1498Szrj
4592*38fd1498Szrj if (temptype == 'N')
4593*38fd1498Szrj {
4594*38fd1498Szrj if (!get_count (mangled, &r))
4595*38fd1498Szrj {
4596*38fd1498Szrj return (0);
4597*38fd1498Szrj }
4598*38fd1498Szrj }
4599*38fd1498Szrj else
4600*38fd1498Szrj {
4601*38fd1498Szrj r = 1;
4602*38fd1498Szrj }
4603*38fd1498Szrj if ((HP_DEMANGLING || ARM_DEMANGLING || EDG_DEMANGLING) && work -> ntypes >= 10)
4604*38fd1498Szrj {
4605*38fd1498Szrj /* If we have 10 or more types we might have more than a 1 digit
4606*38fd1498Szrj index so we'll have to consume the whole count here. This
4607*38fd1498Szrj will lose if the next thing is a type name preceded by a
4608*38fd1498Szrj count but it's impossible to demangle that case properly
4609*38fd1498Szrj anyway. Eg if we already have 12 types is T12Pc "(..., type1,
4610*38fd1498Szrj Pc, ...)" or "(..., type12, char *, ...)" */
4611*38fd1498Szrj if ((t = consume_count(mangled)) <= 0)
4612*38fd1498Szrj {
4613*38fd1498Szrj return (0);
4614*38fd1498Szrj }
4615*38fd1498Szrj }
4616*38fd1498Szrj else
4617*38fd1498Szrj {
4618*38fd1498Szrj if (!get_count (mangled, &t))
4619*38fd1498Szrj {
4620*38fd1498Szrj return (0);
4621*38fd1498Szrj }
4622*38fd1498Szrj }
4623*38fd1498Szrj if (LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
4624*38fd1498Szrj {
4625*38fd1498Szrj t--;
4626*38fd1498Szrj }
4627*38fd1498Szrj /* Validate the type index. Protect against illegal indices from
4628*38fd1498Szrj malformed type strings. */
4629*38fd1498Szrj if ((t < 0) || (t >= work -> ntypes))
4630*38fd1498Szrj {
4631*38fd1498Szrj return (0);
4632*38fd1498Szrj }
4633*38fd1498Szrj while (work->nrepeats > 0 || --r >= 0)
4634*38fd1498Szrj {
4635*38fd1498Szrj tem = work -> typevec[t];
4636*38fd1498Szrj if (need_comma && PRINT_ARG_TYPES)
4637*38fd1498Szrj {
4638*38fd1498Szrj string_append (declp, ", ");
4639*38fd1498Szrj }
4640*38fd1498Szrj push_processed_type (work, t);
4641*38fd1498Szrj if (!do_arg (work, &tem, &arg))
4642*38fd1498Szrj {
4643*38fd1498Szrj pop_processed_type (work);
4644*38fd1498Szrj return (0);
4645*38fd1498Szrj }
4646*38fd1498Szrj pop_processed_type (work);
4647*38fd1498Szrj if (PRINT_ARG_TYPES)
4648*38fd1498Szrj {
4649*38fd1498Szrj string_appends (declp, &arg);
4650*38fd1498Szrj }
4651*38fd1498Szrj string_delete (&arg);
4652*38fd1498Szrj need_comma = 1;
4653*38fd1498Szrj }
4654*38fd1498Szrj }
4655*38fd1498Szrj else
4656*38fd1498Szrj {
4657*38fd1498Szrj if (need_comma && PRINT_ARG_TYPES)
4658*38fd1498Szrj string_append (declp, ", ");
4659*38fd1498Szrj if (!do_arg (work, mangled, &arg))
4660*38fd1498Szrj return (0);
4661*38fd1498Szrj if (PRINT_ARG_TYPES)
4662*38fd1498Szrj string_appends (declp, &arg);
4663*38fd1498Szrj string_delete (&arg);
4664*38fd1498Szrj need_comma = 1;
4665*38fd1498Szrj }
4666*38fd1498Szrj }
4667*38fd1498Szrj
4668*38fd1498Szrj if (**mangled == 'e')
4669*38fd1498Szrj {
4670*38fd1498Szrj (*mangled)++;
4671*38fd1498Szrj if (PRINT_ARG_TYPES)
4672*38fd1498Szrj {
4673*38fd1498Szrj if (need_comma)
4674*38fd1498Szrj {
4675*38fd1498Szrj string_append (declp, ",");
4676*38fd1498Szrj }
4677*38fd1498Szrj string_append (declp, "...");
4678*38fd1498Szrj }
4679*38fd1498Szrj }
4680*38fd1498Szrj
4681*38fd1498Szrj if (PRINT_ARG_TYPES)
4682*38fd1498Szrj {
4683*38fd1498Szrj string_append (declp, ")");
4684*38fd1498Szrj }
4685*38fd1498Szrj return (1);
4686*38fd1498Szrj }
4687*38fd1498Szrj
4688*38fd1498Szrj /* Like demangle_args, but for demangling the argument lists of function
4689*38fd1498Szrj and method pointers or references, not top-level declarations. */
4690*38fd1498Szrj
4691*38fd1498Szrj static int
demangle_nested_args(struct work_stuff * work,const char ** mangled,string * declp)4692*38fd1498Szrj demangle_nested_args (struct work_stuff *work, const char **mangled,
4693*38fd1498Szrj string *declp)
4694*38fd1498Szrj {
4695*38fd1498Szrj string* saved_previous_argument;
4696*38fd1498Szrj int result;
4697*38fd1498Szrj int saved_nrepeats;
4698*38fd1498Szrj
4699*38fd1498Szrj /* The G++ name-mangling algorithm does not remember types on nested
4700*38fd1498Szrj argument lists, unless -fsquangling is used, and in that case the
4701*38fd1498Szrj type vector updated by remember_type is not used. So, we turn
4702*38fd1498Szrj off remembering of types here. */
4703*38fd1498Szrj ++work->forgetting_types;
4704*38fd1498Szrj
4705*38fd1498Szrj /* For the repeat codes used with -fsquangling, we must keep track of
4706*38fd1498Szrj the last argument. */
4707*38fd1498Szrj saved_previous_argument = work->previous_argument;
4708*38fd1498Szrj saved_nrepeats = work->nrepeats;
4709*38fd1498Szrj work->previous_argument = 0;
4710*38fd1498Szrj work->nrepeats = 0;
4711*38fd1498Szrj
4712*38fd1498Szrj /* Actually demangle the arguments. */
4713*38fd1498Szrj result = demangle_args (work, mangled, declp);
4714*38fd1498Szrj
4715*38fd1498Szrj /* Restore the previous_argument field. */
4716*38fd1498Szrj if (work->previous_argument)
4717*38fd1498Szrj {
4718*38fd1498Szrj string_delete (work->previous_argument);
4719*38fd1498Szrj free ((char *) work->previous_argument);
4720*38fd1498Szrj }
4721*38fd1498Szrj work->previous_argument = saved_previous_argument;
4722*38fd1498Szrj --work->forgetting_types;
4723*38fd1498Szrj work->nrepeats = saved_nrepeats;
4724*38fd1498Szrj
4725*38fd1498Szrj return result;
4726*38fd1498Szrj }
4727*38fd1498Szrj
4728*38fd1498Szrj /* Returns 1 if a valid function name was found or 0 otherwise. */
4729*38fd1498Szrj
4730*38fd1498Szrj static int
demangle_function_name(struct work_stuff * work,const char ** mangled,string * declp,const char * scan)4731*38fd1498Szrj demangle_function_name (struct work_stuff *work, const char **mangled,
4732*38fd1498Szrj string *declp, const char *scan)
4733*38fd1498Szrj {
4734*38fd1498Szrj size_t i;
4735*38fd1498Szrj string type;
4736*38fd1498Szrj const char *tem;
4737*38fd1498Szrj
4738*38fd1498Szrj string_appendn (declp, (*mangled), scan - (*mangled));
4739*38fd1498Szrj string_need (declp, 1);
4740*38fd1498Szrj *(declp -> p) = '\0';
4741*38fd1498Szrj
4742*38fd1498Szrj /* Consume the function name, including the "__" separating the name
4743*38fd1498Szrj from the signature. We are guaranteed that SCAN points to the
4744*38fd1498Szrj separator. */
4745*38fd1498Szrj
4746*38fd1498Szrj (*mangled) = scan + 2;
4747*38fd1498Szrj /* We may be looking at an instantiation of a template function:
4748*38fd1498Szrj foo__Xt1t2_Ft3t4, where t1, t2, ... are template arguments and a
4749*38fd1498Szrj following _F marks the start of the function arguments. Handle
4750*38fd1498Szrj the template arguments first. */
4751*38fd1498Szrj
4752*38fd1498Szrj if (HP_DEMANGLING && (**mangled == 'X'))
4753*38fd1498Szrj {
4754*38fd1498Szrj demangle_arm_hp_template (work, mangled, 0, declp);
4755*38fd1498Szrj /* This leaves MANGLED pointing to the 'F' marking func args */
4756*38fd1498Szrj }
4757*38fd1498Szrj
4758*38fd1498Szrj if (LUCID_DEMANGLING || ARM_DEMANGLING || HP_DEMANGLING || EDG_DEMANGLING)
4759*38fd1498Szrj {
4760*38fd1498Szrj
4761*38fd1498Szrj /* See if we have an ARM style constructor or destructor operator.
4762*38fd1498Szrj If so, then just record it, clear the decl, and return.
4763*38fd1498Szrj We can't build the actual constructor/destructor decl until later,
4764*38fd1498Szrj when we recover the class name from the signature. */
4765*38fd1498Szrj
4766*38fd1498Szrj if (strcmp (declp -> b, "__ct") == 0)
4767*38fd1498Szrj {
4768*38fd1498Szrj work -> constructor += 1;
4769*38fd1498Szrj string_clear (declp);
4770*38fd1498Szrj return 1;
4771*38fd1498Szrj }
4772*38fd1498Szrj else if (strcmp (declp -> b, "__dt") == 0)
4773*38fd1498Szrj {
4774*38fd1498Szrj work -> destructor += 1;
4775*38fd1498Szrj string_clear (declp);
4776*38fd1498Szrj return 1;
4777*38fd1498Szrj }
4778*38fd1498Szrj }
4779*38fd1498Szrj
4780*38fd1498Szrj if (declp->p - declp->b >= 3
4781*38fd1498Szrj && declp->b[0] == 'o'
4782*38fd1498Szrj && declp->b[1] == 'p'
4783*38fd1498Szrj && strchr (cplus_markers, declp->b[2]) != NULL)
4784*38fd1498Szrj {
4785*38fd1498Szrj /* see if it's an assignment expression */
4786*38fd1498Szrj if (declp->p - declp->b >= 10 /* op$assign_ */
4787*38fd1498Szrj && memcmp (declp->b + 3, "assign_", 7) == 0)
4788*38fd1498Szrj {
4789*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
4790*38fd1498Szrj {
4791*38fd1498Szrj int len = declp->p - declp->b - 10;
4792*38fd1498Szrj if ((int) strlen (optable[i].in) == len
4793*38fd1498Szrj && memcmp (optable[i].in, declp->b + 10, len) == 0)
4794*38fd1498Szrj {
4795*38fd1498Szrj string_clear (declp);
4796*38fd1498Szrj string_append (declp, "operator");
4797*38fd1498Szrj string_append (declp, optable[i].out);
4798*38fd1498Szrj string_append (declp, "=");
4799*38fd1498Szrj break;
4800*38fd1498Szrj }
4801*38fd1498Szrj }
4802*38fd1498Szrj }
4803*38fd1498Szrj else
4804*38fd1498Szrj {
4805*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
4806*38fd1498Szrj {
4807*38fd1498Szrj int len = declp->p - declp->b - 3;
4808*38fd1498Szrj if ((int) strlen (optable[i].in) == len
4809*38fd1498Szrj && memcmp (optable[i].in, declp->b + 3, len) == 0)
4810*38fd1498Szrj {
4811*38fd1498Szrj string_clear (declp);
4812*38fd1498Szrj string_append (declp, "operator");
4813*38fd1498Szrj string_append (declp, optable[i].out);
4814*38fd1498Szrj break;
4815*38fd1498Szrj }
4816*38fd1498Szrj }
4817*38fd1498Szrj }
4818*38fd1498Szrj }
4819*38fd1498Szrj else if (declp->p - declp->b >= 5 && memcmp (declp->b, "type", 4) == 0
4820*38fd1498Szrj && strchr (cplus_markers, declp->b[4]) != NULL)
4821*38fd1498Szrj {
4822*38fd1498Szrj /* type conversion operator */
4823*38fd1498Szrj tem = declp->b + 5;
4824*38fd1498Szrj if (do_type (work, &tem, &type))
4825*38fd1498Szrj {
4826*38fd1498Szrj string_clear (declp);
4827*38fd1498Szrj string_append (declp, "operator ");
4828*38fd1498Szrj string_appends (declp, &type);
4829*38fd1498Szrj string_delete (&type);
4830*38fd1498Szrj }
4831*38fd1498Szrj }
4832*38fd1498Szrj else if (declp->b[0] == '_' && declp->b[1] == '_'
4833*38fd1498Szrj && declp->b[2] == 'o' && declp->b[3] == 'p')
4834*38fd1498Szrj {
4835*38fd1498Szrj /* ANSI. */
4836*38fd1498Szrj /* type conversion operator. */
4837*38fd1498Szrj tem = declp->b + 4;
4838*38fd1498Szrj if (do_type (work, &tem, &type))
4839*38fd1498Szrj {
4840*38fd1498Szrj string_clear (declp);
4841*38fd1498Szrj string_append (declp, "operator ");
4842*38fd1498Szrj string_appends (declp, &type);
4843*38fd1498Szrj string_delete (&type);
4844*38fd1498Szrj }
4845*38fd1498Szrj }
4846*38fd1498Szrj else if (declp->b[0] == '_' && declp->b[1] == '_'
4847*38fd1498Szrj && ISLOWER((unsigned char)declp->b[2])
4848*38fd1498Szrj && ISLOWER((unsigned char)declp->b[3]))
4849*38fd1498Szrj {
4850*38fd1498Szrj if (declp->b[4] == '\0')
4851*38fd1498Szrj {
4852*38fd1498Szrj /* Operator. */
4853*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
4854*38fd1498Szrj {
4855*38fd1498Szrj if (strlen (optable[i].in) == 2
4856*38fd1498Szrj && memcmp (optable[i].in, declp->b + 2, 2) == 0)
4857*38fd1498Szrj {
4858*38fd1498Szrj string_clear (declp);
4859*38fd1498Szrj string_append (declp, "operator");
4860*38fd1498Szrj string_append (declp, optable[i].out);
4861*38fd1498Szrj break;
4862*38fd1498Szrj }
4863*38fd1498Szrj }
4864*38fd1498Szrj }
4865*38fd1498Szrj else
4866*38fd1498Szrj {
4867*38fd1498Szrj if (declp->b[2] == 'a' && declp->b[5] == '\0')
4868*38fd1498Szrj {
4869*38fd1498Szrj /* Assignment. */
4870*38fd1498Szrj for (i = 0; i < ARRAY_SIZE (optable); i++)
4871*38fd1498Szrj {
4872*38fd1498Szrj if (strlen (optable[i].in) == 3
4873*38fd1498Szrj && memcmp (optable[i].in, declp->b + 2, 3) == 0)
4874*38fd1498Szrj {
4875*38fd1498Szrj string_clear (declp);
4876*38fd1498Szrj string_append (declp, "operator");
4877*38fd1498Szrj string_append (declp, optable[i].out);
4878*38fd1498Szrj break;
4879*38fd1498Szrj }
4880*38fd1498Szrj }
4881*38fd1498Szrj }
4882*38fd1498Szrj }
4883*38fd1498Szrj }
4884*38fd1498Szrj
4885*38fd1498Szrj /* If a function name was obtained but it's not valid, we were not
4886*38fd1498Szrj successful. */
4887*38fd1498Szrj if (LEN_STRING (declp) == 1 && declp->b[0] == '.')
4888*38fd1498Szrj return 0;
4889*38fd1498Szrj else
4890*38fd1498Szrj return 1;
4891*38fd1498Szrj }
4892*38fd1498Szrj
4893*38fd1498Szrj /* a mini string-handling package */
4894*38fd1498Szrj
4895*38fd1498Szrj static void
string_need(string * s,int n)4896*38fd1498Szrj string_need (string *s, int n)
4897*38fd1498Szrj {
4898*38fd1498Szrj int tem;
4899*38fd1498Szrj
4900*38fd1498Szrj if (s->b == NULL)
4901*38fd1498Szrj {
4902*38fd1498Szrj if (n < 32)
4903*38fd1498Szrj {
4904*38fd1498Szrj n = 32;
4905*38fd1498Szrj }
4906*38fd1498Szrj s->p = s->b = XNEWVEC (char, n);
4907*38fd1498Szrj s->e = s->b + n;
4908*38fd1498Szrj }
4909*38fd1498Szrj else if (s->e - s->p < n)
4910*38fd1498Szrj {
4911*38fd1498Szrj tem = s->p - s->b;
4912*38fd1498Szrj if (n > INT_MAX / 2 - tem)
4913*38fd1498Szrj xmalloc_failed (INT_MAX);
4914*38fd1498Szrj n += tem;
4915*38fd1498Szrj n *= 2;
4916*38fd1498Szrj s->b = XRESIZEVEC (char, s->b, n);
4917*38fd1498Szrj s->p = s->b + tem;
4918*38fd1498Szrj s->e = s->b + n;
4919*38fd1498Szrj }
4920*38fd1498Szrj }
4921*38fd1498Szrj
4922*38fd1498Szrj static void
string_delete(string * s)4923*38fd1498Szrj string_delete (string *s)
4924*38fd1498Szrj {
4925*38fd1498Szrj if (s->b != NULL)
4926*38fd1498Szrj {
4927*38fd1498Szrj free (s->b);
4928*38fd1498Szrj s->b = s->e = s->p = NULL;
4929*38fd1498Szrj }
4930*38fd1498Szrj }
4931*38fd1498Szrj
4932*38fd1498Szrj static void
string_init(string * s)4933*38fd1498Szrj string_init (string *s)
4934*38fd1498Szrj {
4935*38fd1498Szrj s->b = s->p = s->e = NULL;
4936*38fd1498Szrj }
4937*38fd1498Szrj
4938*38fd1498Szrj static void
string_clear(string * s)4939*38fd1498Szrj string_clear (string *s)
4940*38fd1498Szrj {
4941*38fd1498Szrj s->p = s->b;
4942*38fd1498Szrj }
4943*38fd1498Szrj
4944*38fd1498Szrj #if 0
4945*38fd1498Szrj
4946*38fd1498Szrj static int
4947*38fd1498Szrj string_empty (string *s)
4948*38fd1498Szrj {
4949*38fd1498Szrj return (s->b == s->p);
4950*38fd1498Szrj }
4951*38fd1498Szrj
4952*38fd1498Szrj #endif
4953*38fd1498Szrj
4954*38fd1498Szrj static void
string_append(string * p,const char * s)4955*38fd1498Szrj string_append (string *p, const char *s)
4956*38fd1498Szrj {
4957*38fd1498Szrj int n;
4958*38fd1498Szrj if (s == NULL || *s == '\0')
4959*38fd1498Szrj return;
4960*38fd1498Szrj n = strlen (s);
4961*38fd1498Szrj string_need (p, n);
4962*38fd1498Szrj memcpy (p->p, s, n);
4963*38fd1498Szrj p->p += n;
4964*38fd1498Szrj }
4965*38fd1498Szrj
4966*38fd1498Szrj static void
string_appends(string * p,string * s)4967*38fd1498Szrj string_appends (string *p, string *s)
4968*38fd1498Szrj {
4969*38fd1498Szrj int n;
4970*38fd1498Szrj
4971*38fd1498Szrj if (s->b != s->p)
4972*38fd1498Szrj {
4973*38fd1498Szrj n = s->p - s->b;
4974*38fd1498Szrj string_need (p, n);
4975*38fd1498Szrj memcpy (p->p, s->b, n);
4976*38fd1498Szrj p->p += n;
4977*38fd1498Szrj }
4978*38fd1498Szrj }
4979*38fd1498Szrj
4980*38fd1498Szrj static void
string_appendn(string * p,const char * s,int n)4981*38fd1498Szrj string_appendn (string *p, const char *s, int n)
4982*38fd1498Szrj {
4983*38fd1498Szrj if (n != 0)
4984*38fd1498Szrj {
4985*38fd1498Szrj string_need (p, n);
4986*38fd1498Szrj memcpy (p->p, s, n);
4987*38fd1498Szrj p->p += n;
4988*38fd1498Szrj }
4989*38fd1498Szrj }
4990*38fd1498Szrj
4991*38fd1498Szrj static void
string_prepend(string * p,const char * s)4992*38fd1498Szrj string_prepend (string *p, const char *s)
4993*38fd1498Szrj {
4994*38fd1498Szrj if (s != NULL && *s != '\0')
4995*38fd1498Szrj {
4996*38fd1498Szrj string_prependn (p, s, strlen (s));
4997*38fd1498Szrj }
4998*38fd1498Szrj }
4999*38fd1498Szrj
5000*38fd1498Szrj static void
string_prepends(string * p,string * s)5001*38fd1498Szrj string_prepends (string *p, string *s)
5002*38fd1498Szrj {
5003*38fd1498Szrj if (s->b != s->p)
5004*38fd1498Szrj {
5005*38fd1498Szrj string_prependn (p, s->b, s->p - s->b);
5006*38fd1498Szrj }
5007*38fd1498Szrj }
5008*38fd1498Szrj
5009*38fd1498Szrj static void
string_prependn(string * p,const char * s,int n)5010*38fd1498Szrj string_prependn (string *p, const char *s, int n)
5011*38fd1498Szrj {
5012*38fd1498Szrj char *q;
5013*38fd1498Szrj
5014*38fd1498Szrj if (n != 0)
5015*38fd1498Szrj {
5016*38fd1498Szrj string_need (p, n);
5017*38fd1498Szrj for (q = p->p - 1; q >= p->b; q--)
5018*38fd1498Szrj {
5019*38fd1498Szrj q[n] = q[0];
5020*38fd1498Szrj }
5021*38fd1498Szrj memcpy (p->b, s, n);
5022*38fd1498Szrj p->p += n;
5023*38fd1498Szrj }
5024*38fd1498Szrj }
5025*38fd1498Szrj
5026*38fd1498Szrj static void
string_append_template_idx(string * s,int idx)5027*38fd1498Szrj string_append_template_idx (string *s, int idx)
5028*38fd1498Szrj {
5029*38fd1498Szrj char buf[INTBUF_SIZE + 1 /* 'T' */];
5030*38fd1498Szrj sprintf(buf, "T%d", idx);
5031*38fd1498Szrj string_append (s, buf);
5032*38fd1498Szrj }
5033