OpenCores
URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [trunk/] [gnu-src/] [gdb-6.8/] [libiberty/] [cplus-dem.c] - Blame information for rev 252

Go to most recent revision | Details | Compare with Previous | View Log

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

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.