12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982 |
- /* Demangler for the D programming language
- Copyright (C) 2014-2022 Free Software Foundation, Inc.
- Written by Iain Buclaw (ibuclaw@gdcproject.org)
- This file is part of the libiberty library.
- Libiberty is free software; you can redistribute it and/or
- modify it under the terms of the GNU Library General Public
- License as published by the Free Software Foundation; either
- version 2 of the License, or (at your option) any later version.
- In addition to the permissions in the GNU Library General Public
- License, the Free Software Foundation gives you unlimited permission
- to link the compiled version of this file into combinations with other
- programs, and to distribute those combinations without any restriction
- coming from the use of this file. (The Library Public License
- restrictions do apply in other respects; for example, they cover
- modification of the file, and distribution when not linked into a
- combined executable.)
- Libiberty is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Library General Public License for more details.
- You should have received a copy of the GNU Library General Public
- License along with libiberty; see the file COPYING.LIB.
- If not, see <http://www.gnu.org/licenses/>. */
- /* This file exports one function; dlang_demangle. */
- #ifdef HAVE_CONFIG_H
- #include "config.h"
- #endif
- #ifdef HAVE_LIMITS_H
- #include <limits.h>
- #endif
- #include "safe-ctype.h"
- #include <sys/types.h>
- #include <string.h>
- #include <stdio.h>
- #ifdef HAVE_STDLIB_H
- #include <stdlib.h>
- #endif
- #include <demangle.h>
- #include "libiberty.h"
- #ifndef ULONG_MAX
- #define ULONG_MAX (~0UL)
- #endif
- #ifndef UINT_MAX
- #define UINT_MAX (~0U)
- #endif
- /* A mini string-handling package */
- typedef struct string /* Beware: these aren't required to be */
- { /* '\0' terminated. */
- char *b; /* pointer to start of string */
- char *p; /* pointer after last character */
- char *e; /* pointer after end of allocated space */
- } string;
- static void
- string_need (string *s, size_t n)
- {
- size_t tem;
- if (s->b == NULL)
- {
- if (n < 32)
- {
- n = 32;
- }
- s->p = s->b = XNEWVEC (char, n);
- s->e = s->b + n;
- }
- else if ((size_t) (s->e - s->p) < n)
- {
- tem = s->p - s->b;
- n += tem;
- n *= 2;
- s->b = XRESIZEVEC (char, s->b, n);
- s->p = s->b + tem;
- s->e = s->b + n;
- }
- }
- static void
- string_delete (string *s)
- {
- if (s->b != NULL)
- {
- XDELETEVEC (s->b);
- s->b = s->e = s->p = NULL;
- }
- }
- static void
- string_init (string *s)
- {
- s->b = s->p = s->e = NULL;
- }
- static int
- string_length (string *s)
- {
- if (s->p == s->b)
- {
- return 0;
- }
- return s->p - s->b;
- }
- static void
- string_setlength (string *s, int n)
- {
- if (n - string_length (s) < 0)
- {
- s->p = s->b + n;
- }
- }
- static void
- string_append (string *p, const char *s)
- {
- size_t n = strlen (s);
- string_need (p, n);
- memcpy (p->p, s, n);
- p->p += n;
- }
- static void
- string_appendn (string *p, const char *s, size_t n)
- {
- if (n != 0)
- {
- string_need (p, n);
- memcpy (p->p, s, n);
- p->p += n;
- }
- }
- static void
- string_prependn (string *p, const char *s, size_t n)
- {
- char *q;
- if (n != 0)
- {
- string_need (p, n);
- for (q = p->p - 1; q >= p->b; q--)
- {
- q[n] = q[0];
- }
- memcpy (p->b, s, n);
- p->p += n;
- }
- }
- static void
- string_prepend (string *p, const char *s)
- {
- if (s != NULL && *s != '\0')
- {
- string_prependn (p, s, strlen (s));
- }
- }
- /* Demangle information structure we pass around. */
- struct dlang_info
- {
- /* The string we are demangling. */
- const char *s;
- /* The index of the last back reference. */
- int last_backref;
- };
- /* Pass as the LEN to dlang_parse_template if symbol length is not known. */
- #define TEMPLATE_LENGTH_UNKNOWN (-1UL)
- /* Prototypes for forward referenced functions */
- static const char *dlang_function_type (string *, const char *,
- struct dlang_info *);
- static const char *dlang_function_args (string *, const char *,
- struct dlang_info *);
- static const char *dlang_type (string *, const char *, struct dlang_info *);
- static const char *dlang_value (string *, const char *, const char *, char,
- struct dlang_info *);
- static const char *dlang_parse_qualified (string *, const char *,
- struct dlang_info *, int);
- static const char *dlang_parse_mangle (string *, const char *,
- struct dlang_info *);
- static const char *dlang_parse_tuple (string *, const char *,
- struct dlang_info *);
- static const char *dlang_parse_template (string *, const char *,
- struct dlang_info *, unsigned long);
- static const char *dlang_lname (string *, const char *, unsigned long);
- /* Extract the number from MANGLED, and assign the result to RET.
- Return the remaining string on success or NULL on failure.
- A result larger than UINT_MAX is considered a failure. */
- static const char *
- dlang_number (const char *mangled, unsigned long *ret)
- {
- /* Return NULL if trying to extract something that isn't a digit. */
- if (mangled == NULL || !ISDIGIT (*mangled))
- return NULL;
- unsigned long val = 0;
- while (ISDIGIT (*mangled))
- {
- unsigned long digit = mangled[0] - '0';
- /* Check for overflow. */
- if (val > (UINT_MAX - digit) / 10)
- return NULL;
- val = val * 10 + digit;
- mangled++;
- }
- if (*mangled == '\0')
- return NULL;
- *ret = val;
- return mangled;
- }
- /* Extract the hex-digit from MANGLED, and assign the result to RET.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_hexdigit (const char *mangled, char *ret)
- {
- char c;
- /* Return NULL if trying to extract something that isn't a hexdigit. */
- if (mangled == NULL || !ISXDIGIT (mangled[0]) || !ISXDIGIT (mangled[1]))
- return NULL;
- c = mangled[0];
- if (!ISDIGIT (c))
- *ret = c - (ISUPPER (c) ? 'A' : 'a') + 10;
- else
- *ret = c - '0';
- c = mangled[1];
- if (!ISDIGIT (c))
- *ret = (*ret << 4) | (c - (ISUPPER (c) ? 'A' : 'a') + 10);
- else
- *ret = (*ret << 4) | (c - '0');
- mangled += 2;
- return mangled;
- }
- /* Extract the function calling convention from MANGLED and
- return 1 on success or 0 on failure. */
- static int
- dlang_call_convention_p (const char *mangled)
- {
- switch (*mangled)
- {
- case 'F': case 'U': case 'V':
- case 'W': case 'R': case 'Y':
- return 1;
- default:
- return 0;
- }
- }
- /* Extract the back reference position from MANGLED, and assign the result
- to RET. Return the remaining string on success or NULL on failure.
- A result <= 0 is a failure. */
- static const char *
- dlang_decode_backref (const char *mangled, long *ret)
- {
- /* Return NULL if trying to extract something that isn't a digit. */
- if (mangled == NULL || !ISALPHA (*mangled))
- return NULL;
- /* Any identifier or non-basic type that has been emitted to the mangled
- symbol before will not be emitted again, but is referenced by a special
- sequence encoding the relative position of the original occurrence in the
- mangled symbol name.
- Numbers in back references are encoded with base 26 by upper case letters
- A-Z for higher digits but lower case letters a-z for the last digit.
- NumberBackRef:
- [a-z]
- [A-Z] NumberBackRef
- ^
- */
- unsigned long val = 0;
- while (ISALPHA (*mangled))
- {
- /* Check for overflow. */
- if (val > (ULONG_MAX - 25) / 26)
- break;
- val *= 26;
- if (mangled[0] >= 'a' && mangled[0] <= 'z')
- {
- val += mangled[0] - 'a';
- if ((long) val <= 0)
- break;
- *ret = val;
- return mangled + 1;
- }
- val += mangled[0] - 'A';
- mangled++;
- }
- return NULL;
- }
- /* Extract the symbol pointed at by the back reference and assign the result
- to RET. Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_backref (const char *mangled, const char **ret, struct dlang_info *info)
- {
- *ret = NULL;
- if (mangled == NULL || *mangled != 'Q')
- return NULL;
- /* Position of 'Q'. */
- const char *qpos = mangled;
- long refpos;
- mangled++;
- mangled = dlang_decode_backref (mangled, &refpos);
- if (mangled == NULL)
- return NULL;
- if (refpos > qpos - info->s)
- return NULL;
- /* Set the position of the back reference. */
- *ret = qpos - refpos;
- return mangled;
- }
- /* Demangle a back referenced symbol from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_symbol_backref (string *decl, const char *mangled,
- struct dlang_info *info)
- {
- /* An identifier back reference always points to a digit 0 to 9.
- IdentifierBackRef:
- Q NumberBackRef
- ^
- */
- const char *backref;
- unsigned long len;
- /* Get position of the back reference. */
- mangled = dlang_backref (mangled, &backref, info);
- /* Must point to a simple identifier. */
- backref = dlang_number (backref, &len);
- if (backref == NULL || strlen(backref) < len)
- return NULL;
- backref = dlang_lname (decl, backref, len);
- if (backref == NULL)
- return NULL;
- return mangled;
- }
- /* Demangle a back referenced type from MANGLED and append it to DECL.
- IS_FUNCTION is 1 if the back referenced type is expected to be a function.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_type_backref (string *decl, const char *mangled, struct dlang_info *info,
- int is_function)
- {
- /* A type back reference always points to a letter.
- TypeBackRef:
- Q NumberBackRef
- ^
- */
- const char *backref;
- /* If we appear to be moving backwards through the mangle string, then
- bail as this may be a recursive back reference. */
- if (mangled - info->s >= info->last_backref)
- return NULL;
- int save_refpos = info->last_backref;
- info->last_backref = mangled - info->s;
- /* Get position of the back reference. */
- mangled = dlang_backref (mangled, &backref, info);
- /* Must point to a type. */
- if (is_function)
- backref = dlang_function_type (decl, backref, info);
- else
- backref = dlang_type (decl, backref, info);
- info->last_backref = save_refpos;
- if (backref == NULL)
- return NULL;
- return mangled;
- }
- /* Extract the beginning of a symbol name from MANGLED and
- return 1 on success or 0 on failure. */
- static int
- dlang_symbol_name_p (const char *mangled, struct dlang_info *info)
- {
- long ret;
- const char *qref = mangled;
- if (ISDIGIT (*mangled))
- return 1;
- if (mangled[0] == '_' && mangled[1] == '_'
- && (mangled[2] == 'T' || mangled[2] == 'U'))
- return 1;
- if (*mangled != 'Q')
- return 0;
- mangled = dlang_decode_backref (mangled + 1, &ret);
- if (mangled == NULL || ret > qref - info->s)
- return 0;
- return ISDIGIT (qref[-ret]);
- }
- /* Demangle the calling convention from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_call_convention (string *decl, const char *mangled)
- {
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- switch (*mangled)
- {
- case 'F': /* (D) */
- mangled++;
- break;
- case 'U': /* (C) */
- mangled++;
- string_append (decl, "extern(C) ");
- break;
- case 'W': /* (Windows) */
- mangled++;
- string_append (decl, "extern(Windows) ");
- break;
- case 'V': /* (Pascal) */
- mangled++;
- string_append (decl, "extern(Pascal) ");
- break;
- case 'R': /* (C++) */
- mangled++;
- string_append (decl, "extern(C++) ");
- break;
- case 'Y': /* (Objective-C) */
- mangled++;
- string_append (decl, "extern(Objective-C) ");
- break;
- default:
- return NULL;
- }
- return mangled;
- }
- /* Extract the type modifiers from MANGLED and append them to DECL.
- Returns the remaining signature on success or NULL on failure. */
- static const char *
- dlang_type_modifiers (string *decl, const char *mangled)
- {
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- switch (*mangled)
- {
- case 'x': /* const */
- mangled++;
- string_append (decl, " const");
- return mangled;
- case 'y': /* immutable */
- mangled++;
- string_append (decl, " immutable");
- return mangled;
- case 'O': /* shared */
- mangled++;
- string_append (decl, " shared");
- return dlang_type_modifiers (decl, mangled);
- case 'N':
- mangled++;
- if (*mangled == 'g') /* wild */
- {
- mangled++;
- string_append (decl, " inout");
- return dlang_type_modifiers (decl, mangled);
- }
- else
- return NULL;
- default:
- return mangled;
- }
- }
- /* Demangle the D function attributes from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_attributes (string *decl, const char *mangled)
- {
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- while (*mangled == 'N')
- {
- mangled++;
- switch (*mangled)
- {
- case 'a': /* pure */
- mangled++;
- string_append (decl, "pure ");
- continue;
- case 'b': /* nothrow */
- mangled++;
- string_append (decl, "nothrow ");
- continue;
- case 'c': /* ref */
- mangled++;
- string_append (decl, "ref ");
- continue;
- case 'd': /* @property */
- mangled++;
- string_append (decl, "@property ");
- continue;
- case 'e': /* @trusted */
- mangled++;
- string_append (decl, "@trusted ");
- continue;
- case 'f': /* @safe */
- mangled++;
- string_append (decl, "@safe ");
- continue;
- case 'g':
- case 'h':
- case 'k':
- case 'n':
- /* inout parameter is represented as 'Ng'.
- vector parameter is represented as 'Nh'.
- return parameter is represented as 'Nk'.
- typeof(*null) parameter is represented as 'Nn'.
- If we see this, then we know we're really in the
- parameter list. Rewind and break. */
- mangled--;
- break;
- case 'i': /* @nogc */
- mangled++;
- string_append (decl, "@nogc ");
- continue;
- case 'j': /* return */
- mangled++;
- string_append (decl, "return ");
- continue;
- case 'l': /* scope */
- mangled++;
- string_append (decl, "scope ");
- continue;
- case 'm': /* @live */
- mangled++;
- string_append (decl, "@live ");
- continue;
- default: /* unknown attribute */
- return NULL;
- }
- break;
- }
- return mangled;
- }
- /* Demangle the function type from MANGLED without the return type.
- The arguments are appended to ARGS, the calling convention is appended
- to CALL and attributes are appended to ATTR. Any of these can be NULL
- to throw the information away. Return the remaining string on success
- or NULL on failure. */
- static const char *
- dlang_function_type_noreturn (string *args, string *call, string *attr,
- const char *mangled, struct dlang_info *info)
- {
- string dump;
- string_init (&dump);
- /* Skip over calling convention and attributes. */
- mangled = dlang_call_convention (call ? call : &dump, mangled);
- mangled = dlang_attributes (attr ? attr : &dump, mangled);
- if (args)
- string_append (args, "(");
- mangled = dlang_function_args (args ? args : &dump, mangled, info);
- if (args)
- string_append (args, ")");
- string_delete (&dump);
- return mangled;
- }
- /* Demangle the function type from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_function_type (string *decl, const char *mangled, struct dlang_info *info)
- {
- string attr, args, type;
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- /* The order of the mangled string is:
- CallConvention FuncAttrs Arguments ArgClose Type
- The demangled string is re-ordered as:
- CallConvention Type Arguments FuncAttrs
- */
- string_init (&attr);
- string_init (&args);
- string_init (&type);
- mangled = dlang_function_type_noreturn (&args, decl, &attr, mangled, info);
- /* Function return type. */
- mangled = dlang_type (&type, mangled, info);
- /* Append to decl in order. */
- string_appendn (decl, type.b, string_length (&type));
- string_appendn (decl, args.b, string_length (&args));
- string_append (decl, " ");
- string_appendn (decl, attr.b, string_length (&attr));
- string_delete (&attr);
- string_delete (&args);
- string_delete (&type);
- return mangled;
- }
- /* Demangle the argument list from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_function_args (string *decl, const char *mangled, struct dlang_info *info)
- {
- size_t n = 0;
- while (mangled && *mangled != '\0')
- {
- switch (*mangled)
- {
- case 'X': /* (variadic T t...) style. */
- mangled++;
- string_append (decl, "...");
- return mangled;
- case 'Y': /* (variadic T t, ...) style. */
- mangled++;
- if (n != 0)
- string_append (decl, ", ");
- string_append (decl, "...");
- return mangled;
- case 'Z': /* Normal function. */
- mangled++;
- return mangled;
- }
- if (n++)
- string_append (decl, ", ");
- if (*mangled == 'M') /* scope(T) */
- {
- mangled++;
- string_append (decl, "scope ");
- }
- if (mangled[0] == 'N' && mangled[1] == 'k') /* return(T) */
- {
- mangled += 2;
- string_append (decl, "return ");
- }
- switch (*mangled)
- {
- case 'I': /* in(T) */
- mangled++;
- string_append (decl, "in ");
- if (*mangled == 'K') /* in ref(T) */
- {
- mangled++;
- string_append (decl, "ref ");
- }
- break;
- case 'J': /* out(T) */
- mangled++;
- string_append (decl, "out ");
- break;
- case 'K': /* ref(T) */
- mangled++;
- string_append (decl, "ref ");
- break;
- case 'L': /* lazy(T) */
- mangled++;
- string_append (decl, "lazy ");
- break;
- }
- mangled = dlang_type (decl, mangled, info);
- }
- return mangled;
- }
- /* Demangle the type from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_type (string *decl, const char *mangled, struct dlang_info *info)
- {
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- switch (*mangled)
- {
- case 'O': /* shared(T) */
- mangled++;
- string_append (decl, "shared(");
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, ")");
- return mangled;
- case 'x': /* const(T) */
- mangled++;
- string_append (decl, "const(");
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, ")");
- return mangled;
- case 'y': /* immutable(T) */
- mangled++;
- string_append (decl, "immutable(");
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, ")");
- return mangled;
- case 'N':
- mangled++;
- if (*mangled == 'g') /* wild(T) */
- {
- mangled++;
- string_append (decl, "inout(");
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, ")");
- return mangled;
- }
- else if (*mangled == 'h') /* vector(T) */
- {
- mangled++;
- string_append (decl, "__vector(");
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, ")");
- return mangled;
- }
- else if (*mangled == 'n') /* typeof(*null) */
- {
- mangled++;
- string_append (decl, "typeof(*null)");
- return mangled;
- }
- else
- return NULL;
- case 'A': /* dynamic array (T[]) */
- mangled++;
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, "[]");
- return mangled;
- case 'G': /* static array (T[N]) */
- {
- const char *numptr;
- size_t num = 0;
- mangled++;
- numptr = mangled;
- while (ISDIGIT (*mangled))
- {
- num++;
- mangled++;
- }
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, "[");
- string_appendn (decl, numptr, num);
- string_append (decl, "]");
- return mangled;
- }
- case 'H': /* associative array (T[T]) */
- {
- string type;
- size_t sztype;
- mangled++;
- string_init (&type);
- mangled = dlang_type (&type, mangled, info);
- sztype = string_length (&type);
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, "[");
- string_appendn (decl, type.b, sztype);
- string_append (decl, "]");
- string_delete (&type);
- return mangled;
- }
- case 'P': /* pointer (T*) */
- mangled++;
- if (!dlang_call_convention_p (mangled))
- {
- mangled = dlang_type (decl, mangled, info);
- string_append (decl, "*");
- return mangled;
- }
- /* Fall through */
- case 'F': /* function T (D) */
- case 'U': /* function T (C) */
- case 'W': /* function T (Windows) */
- case 'V': /* function T (Pascal) */
- case 'R': /* function T (C++) */
- case 'Y': /* function T (Objective-C) */
- /* Function pointer types don't include the trailing asterisk. */
- mangled = dlang_function_type (decl, mangled, info);
- string_append (decl, "function");
- return mangled;
- case 'C': /* class T */
- case 'S': /* struct T */
- case 'E': /* enum T */
- case 'T': /* typedef T */
- mangled++;
- return dlang_parse_qualified (decl, mangled, info, 0);
- case 'D': /* delegate T */
- {
- string mods;
- size_t szmods;
- mangled++;
- string_init (&mods);
- mangled = dlang_type_modifiers (&mods, mangled);
- szmods = string_length (&mods);
- /* Back referenced function type. */
- if (mangled && *mangled == 'Q')
- mangled = dlang_type_backref (decl, mangled, info, 1);
- else
- mangled = dlang_function_type (decl, mangled, info);
- string_append (decl, "delegate");
- string_appendn (decl, mods.b, szmods);
- string_delete (&mods);
- return mangled;
- }
- case 'B': /* tuple T */
- mangled++;
- return dlang_parse_tuple (decl, mangled, info);
- /* Basic types */
- case 'n':
- mangled++;
- string_append (decl, "typeof(null)");
- return mangled;
- case 'v':
- mangled++;
- string_append (decl, "void");
- return mangled;
- case 'g':
- mangled++;
- string_append (decl, "byte");
- return mangled;
- case 'h':
- mangled++;
- string_append (decl, "ubyte");
- return mangled;
- case 's':
- mangled++;
- string_append (decl, "short");
- return mangled;
- case 't':
- mangled++;
- string_append (decl, "ushort");
- return mangled;
- case 'i':
- mangled++;
- string_append (decl, "int");
- return mangled;
- case 'k':
- mangled++;
- string_append (decl, "uint");
- return mangled;
- case 'l':
- mangled++;
- string_append (decl, "long");
- return mangled;
- case 'm':
- mangled++;
- string_append (decl, "ulong");
- return mangled;
- case 'f':
- mangled++;
- string_append (decl, "float");
- return mangled;
- case 'd':
- mangled++;
- string_append (decl, "double");
- return mangled;
- case 'e':
- mangled++;
- string_append (decl, "real");
- return mangled;
- /* Imaginary and Complex types */
- case 'o':
- mangled++;
- string_append (decl, "ifloat");
- return mangled;
- case 'p':
- mangled++;
- string_append (decl, "idouble");
- return mangled;
- case 'j':
- mangled++;
- string_append (decl, "ireal");
- return mangled;
- case 'q':
- mangled++;
- string_append (decl, "cfloat");
- return mangled;
- case 'r':
- mangled++;
- string_append (decl, "cdouble");
- return mangled;
- case 'c':
- mangled++;
- string_append (decl, "creal");
- return mangled;
- /* Other types */
- case 'b':
- mangled++;
- string_append (decl, "bool");
- return mangled;
- case 'a':
- mangled++;
- string_append (decl, "char");
- return mangled;
- case 'u':
- mangled++;
- string_append (decl, "wchar");
- return mangled;
- case 'w':
- mangled++;
- string_append (decl, "dchar");
- return mangled;
- case 'z':
- mangled++;
- switch (*mangled)
- {
- case 'i':
- mangled++;
- string_append (decl, "cent");
- return mangled;
- case 'k':
- mangled++;
- string_append (decl, "ucent");
- return mangled;
- }
- return NULL;
- /* Back referenced type. */
- case 'Q':
- return dlang_type_backref (decl, mangled, info, 0);
- default: /* unhandled */
- return NULL;
- }
- }
- /* Extract the identifier from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_identifier (string *decl, const char *mangled, struct dlang_info *info)
- {
- unsigned long len;
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- if (*mangled == 'Q')
- return dlang_symbol_backref (decl, mangled, info);
- /* May be a template instance without a length prefix. */
- if (mangled[0] == '_' && mangled[1] == '_'
- && (mangled[2] == 'T' || mangled[2] == 'U'))
- return dlang_parse_template (decl, mangled, info, TEMPLATE_LENGTH_UNKNOWN);
- const char *endptr = dlang_number (mangled, &len);
- if (endptr == NULL || len == 0)
- return NULL;
- if (strlen (endptr) < len)
- return NULL;
- mangled = endptr;
- /* May be a template instance with a length prefix. */
- if (len >= 5 && mangled[0] == '_' && mangled[1] == '_'
- && (mangled[2] == 'T' || mangled[2] == 'U'))
- return dlang_parse_template (decl, mangled, info, len);
- /* There can be multiple different declarations in the same function that have
- the same mangled name. To make the mangled names unique, a fake parent in
- the form `__Sddd' is added to the symbol. */
- if (len >= 4 && mangled[0] == '_' && mangled[1] == '_' && mangled[2] == 'S')
- {
- const char *numptr = mangled + 3;
- while (numptr < (mangled + len) && ISDIGIT (*numptr))
- numptr++;
- if (mangled + len == numptr)
- {
- /* Skip over the fake parent. */
- mangled += len;
- return dlang_identifier (decl, mangled, info);
- }
- /* else demangle it as a plain identifier. */
- }
- return dlang_lname (decl, mangled, len);
- }
- /* Extract the plain identifier from MANGLED and prepend/append it to DECL
- with special treatment for some magic compiler generted symbols.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_lname (string *decl, const char *mangled, unsigned long len)
- {
- switch (len)
- {
- case 6:
- if (strncmp (mangled, "__ctor", len) == 0)
- {
- /* Constructor symbol for a class/struct. */
- string_append (decl, "this");
- mangled += len;
- return mangled;
- }
- else if (strncmp (mangled, "__dtor", len) == 0)
- {
- /* Destructor symbol for a class/struct. */
- string_append (decl, "~this");
- mangled += len;
- return mangled;
- }
- else if (strncmp (mangled, "__initZ", len + 1) == 0)
- {
- /* The static initialiser for a given symbol. */
- string_prepend (decl, "initializer for ");
- string_setlength (decl, string_length (decl) - 1);
- mangled += len;
- return mangled;
- }
- else if (strncmp (mangled, "__vtblZ", len + 1) == 0)
- {
- /* The vtable symbol for a given class. */
- string_prepend (decl, "vtable for ");
- string_setlength (decl, string_length (decl) - 1);
- mangled += len;
- return mangled;
- }
- break;
- case 7:
- if (strncmp (mangled, "__ClassZ", len + 1) == 0)
- {
- /* The classinfo symbol for a given class. */
- string_prepend (decl, "ClassInfo for ");
- string_setlength (decl, string_length (decl) - 1);
- mangled += len;
- return mangled;
- }
- break;
- case 10:
- if (strncmp (mangled, "__postblitMFZ", len + 3) == 0)
- {
- /* Postblit symbol for a struct. */
- string_append (decl, "this(this)");
- mangled += len + 3;
- return mangled;
- }
- break;
- case 11:
- if (strncmp (mangled, "__InterfaceZ", len + 1) == 0)
- {
- /* The interface symbol for a given class. */
- string_prepend (decl, "Interface for ");
- string_setlength (decl, string_length (decl) - 1);
- mangled += len;
- return mangled;
- }
- break;
- case 12:
- if (strncmp (mangled, "__ModuleInfoZ", len + 1) == 0)
- {
- /* The ModuleInfo symbol for a given module. */
- string_prepend (decl, "ModuleInfo for ");
- string_setlength (decl, string_length (decl) - 1);
- mangled += len;
- return mangled;
- }
- break;
- }
- string_appendn (decl, mangled, len);
- mangled += len;
- return mangled;
- }
- /* Extract the integer value from MANGLED and append it to DECL,
- where TYPE is the type it should be represented as.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_integer (string *decl, const char *mangled, char type)
- {
- if (type == 'a' || type == 'u' || type == 'w')
- {
- /* Parse character value. */
- char value[20];
- int pos = sizeof(value);
- int width = 0;
- unsigned long val;
- mangled = dlang_number (mangled, &val);
- if (mangled == NULL)
- return NULL;
- string_append (decl, "'");
- if (type == 'a' && val >= 0x20 && val < 0x7F)
- {
- /* Represent as a character literal. */
- char c = (char) val;
- string_appendn (decl, &c, 1);
- }
- else
- {
- /* Represent as a hexadecimal value. */
- switch (type)
- {
- case 'a': /* char */
- string_append (decl, "\\x");
- width = 2;
- break;
- case 'u': /* wchar */
- string_append (decl, "\\u");
- width = 4;
- break;
- case 'w': /* dchar */
- string_append (decl, "\\U");
- width = 8;
- break;
- }
- while (val > 0)
- {
- int digit = val % 16;
- if (digit < 10)
- value[--pos] = (char)(digit + '0');
- else
- value[--pos] = (char)((digit - 10) + 'a');
- val /= 16;
- width--;
- }
- for (; width > 0; width--)
- value[--pos] = '0';
- string_appendn (decl, &(value[pos]), sizeof(value) - pos);
- }
- string_append (decl, "'");
- }
- else if (type == 'b')
- {
- /* Parse boolean value. */
- unsigned long val;
- mangled = dlang_number (mangled, &val);
- if (mangled == NULL)
- return NULL;
- string_append (decl, val ? "true" : "false");
- }
- else
- {
- /* Parse integer value. */
- const char *numptr = mangled;
- size_t num = 0;
- if (! ISDIGIT (*mangled))
- return NULL;
- while (ISDIGIT (*mangled))
- {
- num++;
- mangled++;
- }
- string_appendn (decl, numptr, num);
- /* Append suffix. */
- switch (type)
- {
- case 'h': /* ubyte */
- case 't': /* ushort */
- case 'k': /* uint */
- string_append (decl, "u");
- break;
- case 'l': /* long */
- string_append (decl, "L");
- break;
- case 'm': /* ulong */
- string_append (decl, "uL");
- break;
- }
- }
- return mangled;
- }
- /* Extract the floating-point value from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_real (string *decl, const char *mangled)
- {
- /* Handle NAN and +-INF. */
- if (strncmp (mangled, "NAN", 3) == 0)
- {
- string_append (decl, "NaN");
- mangled += 3;
- return mangled;
- }
- else if (strncmp (mangled, "INF", 3) == 0)
- {
- string_append (decl, "Inf");
- mangled += 3;
- return mangled;
- }
- else if (strncmp (mangled, "NINF", 4) == 0)
- {
- string_append (decl, "-Inf");
- mangled += 4;
- return mangled;
- }
- /* Hexadecimal prefix and leading bit. */
- if (*mangled == 'N')
- {
- string_append (decl, "-");
- mangled++;
- }
- if (!ISXDIGIT (*mangled))
- return NULL;
- string_append (decl, "0x");
- string_appendn (decl, mangled, 1);
- string_append (decl, ".");
- mangled++;
- /* Significand. */
- while (ISXDIGIT (*mangled))
- {
- string_appendn (decl, mangled, 1);
- mangled++;
- }
- /* Exponent. */
- if (*mangled != 'P')
- return NULL;
- string_append (decl, "p");
- mangled++;
- if (*mangled == 'N')
- {
- string_append (decl, "-");
- mangled++;
- }
- while (ISDIGIT (*mangled))
- {
- string_appendn (decl, mangled, 1);
- mangled++;
- }
- return mangled;
- }
- /* Extract the string value from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_string (string *decl, const char *mangled)
- {
- char type = *mangled;
- unsigned long len;
- mangled++;
- mangled = dlang_number (mangled, &len);
- if (mangled == NULL || *mangled != '_')
- return NULL;
- mangled++;
- string_append (decl, "\"");
- while (len--)
- {
- char val;
- const char *endptr = dlang_hexdigit (mangled, &val);
- if (endptr == NULL)
- return NULL;
- /* Sanitize white and non-printable characters. */
- switch (val)
- {
- case ' ':
- string_append (decl, " ");
- break;
- case '\t':
- string_append (decl, "\\t");
- break;
- case '\n':
- string_append (decl, "\\n");
- break;
- case '\r':
- string_append (decl, "\\r");
- break;
- case '\f':
- string_append (decl, "\\f");
- break;
- case '\v':
- string_append (decl, "\\v");
- break;
- default:
- if (ISPRINT (val))
- string_appendn (decl, &val, 1);
- else
- {
- string_append (decl, "\\x");
- string_appendn (decl, mangled, 2);
- }
- }
- mangled = endptr;
- }
- string_append (decl, "\"");
- if (type != 'a')
- string_appendn (decl, &type, 1);
- return mangled;
- }
- /* Extract the static array value from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_arrayliteral (string *decl, const char *mangled,
- struct dlang_info *info)
- {
- unsigned long elements;
- mangled = dlang_number (mangled, &elements);
- if (mangled == NULL)
- return NULL;
- string_append (decl, "[");
- while (elements--)
- {
- mangled = dlang_value (decl, mangled, NULL, '\0', info);
- if (mangled == NULL)
- return NULL;
- if (elements != 0)
- string_append (decl, ", ");
- }
- string_append (decl, "]");
- return mangled;
- }
- /* Extract the associative array value from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_assocarray (string *decl, const char *mangled,
- struct dlang_info *info)
- {
- unsigned long elements;
- mangled = dlang_number (mangled, &elements);
- if (mangled == NULL)
- return NULL;
- string_append (decl, "[");
- while (elements--)
- {
- mangled = dlang_value (decl, mangled, NULL, '\0', info);
- if (mangled == NULL)
- return NULL;
- string_append (decl, ":");
- mangled = dlang_value (decl, mangled, NULL, '\0', info);
- if (mangled == NULL)
- return NULL;
- if (elements != 0)
- string_append (decl, ", ");
- }
- string_append (decl, "]");
- return mangled;
- }
- /* Extract the struct literal value for NAME from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_structlit (string *decl, const char *mangled, const char *name,
- struct dlang_info *info)
- {
- unsigned long args;
- mangled = dlang_number (mangled, &args);
- if (mangled == NULL)
- return NULL;
- if (name != NULL)
- string_append (decl, name);
- string_append (decl, "(");
- while (args--)
- {
- mangled = dlang_value (decl, mangled, NULL, '\0', info);
- if (mangled == NULL)
- return NULL;
- if (args != 0)
- string_append (decl, ", ");
- }
- string_append (decl, ")");
- return mangled;
- }
- /* Extract the value from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_value (string *decl, const char *mangled, const char *name, char type,
- struct dlang_info *info)
- {
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- switch (*mangled)
- {
- /* Null value. */
- case 'n':
- mangled++;
- string_append (decl, "null");
- break;
- /* Integral values. */
- case 'N':
- mangled++;
- string_append (decl, "-");
- mangled = dlang_parse_integer (decl, mangled, type);
- break;
- case 'i':
- mangled++;
- /* Fall through */
- /* There really should always be an `i' before encoded numbers, but there
- wasn't in early versions of D2, so this case range must remain for
- backwards compatibility. */
- case '0': case '1': case '2': case '3': case '4':
- case '5': case '6': case '7': case '8': case '9':
- mangled = dlang_parse_integer (decl, mangled, type);
- break;
- /* Real value. */
- case 'e':
- mangled++;
- mangled = dlang_parse_real (decl, mangled);
- break;
- /* Complex value. */
- case 'c':
- mangled++;
- mangled = dlang_parse_real (decl, mangled);
- string_append (decl, "+");
- if (mangled == NULL || *mangled != 'c')
- return NULL;
- mangled++;
- mangled = dlang_parse_real (decl, mangled);
- string_append (decl, "i");
- break;
- /* String values. */
- case 'a': /* UTF8 */
- case 'w': /* UTF16 */
- case 'd': /* UTF32 */
- mangled = dlang_parse_string (decl, mangled);
- break;
- /* Array values. */
- case 'A':
- mangled++;
- if (type == 'H')
- mangled = dlang_parse_assocarray (decl, mangled, info);
- else
- mangled = dlang_parse_arrayliteral (decl, mangled, info);
- break;
- /* Struct values. */
- case 'S':
- mangled++;
- mangled = dlang_parse_structlit (decl, mangled, name, info);
- break;
- /* Function literal symbol. */
- case 'f':
- mangled++;
- if (strncmp (mangled, "_D", 2) != 0
- || !dlang_symbol_name_p (mangled + 2, info))
- return NULL;
- mangled = dlang_parse_mangle (decl, mangled, info);
- break;
- default:
- return NULL;
- }
- return mangled;
- }
- /* Extract and demangle the symbol in MANGLED and append it to DECL.
- Returns the remaining signature on success or NULL on failure. */
- static const char *
- dlang_parse_mangle (string *decl, const char *mangled, struct dlang_info *info)
- {
- /* A D mangled symbol is comprised of both scope and type information.
- MangleName:
- _D QualifiedName Type
- _D QualifiedName Z
- ^
- The caller should have guaranteed that the start pointer is at the
- above location.
- Note that type is never a function type, but only the return type of
- a function or the type of a variable.
- */
- mangled += 2;
- mangled = dlang_parse_qualified (decl, mangled, info, 1);
- if (mangled != NULL)
- {
- /* Artificial symbols end with 'Z' and have no type. */
- if (*mangled == 'Z')
- mangled++;
- else
- {
- /* Discard the declaration or return type. */
- string type;
- string_init (&type);
- mangled = dlang_type (&type, mangled, info);
- string_delete (&type);
- }
- }
- return mangled;
- }
- /* Extract and demangle the qualified symbol in MANGLED and append it to DECL.
- SUFFIX_MODIFIERS is 1 if we are printing modifiers on this after the symbol.
- Returns the remaining signature on success or NULL on failure. */
- static const char *
- dlang_parse_qualified (string *decl, const char *mangled,
- struct dlang_info *info, int suffix_modifiers)
- {
- /* Qualified names are identifiers separated by their encoded length.
- Nested functions also encode their argument types without specifying
- what they return.
- QualifiedName:
- SymbolFunctionName
- SymbolFunctionName QualifiedName
- ^
- SymbolFunctionName:
- SymbolName
- SymbolName TypeFunctionNoReturn
- SymbolName M TypeFunctionNoReturn
- SymbolName M TypeModifiers TypeFunctionNoReturn
- The start pointer should be at the above location.
- */
- size_t n = 0;
- do
- {
- /* Skip over anonymous symbols. */
- if (*mangled == '0')
- {
- do
- mangled++;
- while (*mangled == '0');
- continue;
- }
- if (n++)
- string_append (decl, ".");
- mangled = dlang_identifier (decl, mangled, info);
- /* Consume the encoded arguments. However if this is not followed by the
- next encoded length or mangle type, then this is not a continuation of
- a qualified name, in which case we backtrack and return the current
- unconsumed position of the mangled decl. */
- if (mangled && (*mangled == 'M' || dlang_call_convention_p (mangled)))
- {
- string mods;
- const char *start = mangled;
- int saved = string_length (decl);
- /* Save the type modifiers for appending at the end if needed. */
- string_init (&mods);
- /* Skip over 'this' parameter and type modifiers. */
- if (*mangled == 'M')
- {
- mangled++;
- mangled = dlang_type_modifiers (&mods, mangled);
- string_setlength (decl, saved);
- }
- mangled = dlang_function_type_noreturn (decl, NULL, NULL,
- mangled, info);
- if (suffix_modifiers)
- string_appendn (decl, mods.b, string_length (&mods));
- if (mangled == NULL || *mangled == '\0')
- {
- /* Did not match the rule we were looking for. */
- mangled = start;
- string_setlength (decl, saved);
- }
- string_delete (&mods);
- }
- }
- while (mangled && dlang_symbol_name_p (mangled, info));
- return mangled;
- }
- /* Demangle the tuple from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_parse_tuple (string *decl, const char *mangled, struct dlang_info *info)
- {
- unsigned long elements;
- mangled = dlang_number (mangled, &elements);
- if (mangled == NULL)
- return NULL;
- string_append (decl, "Tuple!(");
- while (elements--)
- {
- mangled = dlang_type (decl, mangled, info);
- if (mangled == NULL)
- return NULL;
- if (elements != 0)
- string_append (decl, ", ");
- }
- string_append (decl, ")");
- return mangled;
- }
- /* Demangle the template symbol parameter from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_template_symbol_param (string *decl, const char *mangled,
- struct dlang_info *info)
- {
- if (strncmp (mangled, "_D", 2) == 0
- && dlang_symbol_name_p (mangled + 2, info))
- return dlang_parse_mangle (decl, mangled, info);
- if (*mangled == 'Q')
- return dlang_parse_qualified (decl, mangled, info, 0);
- unsigned long len;
- const char *endptr = dlang_number (mangled, &len);
- if (endptr == NULL || len == 0)
- return NULL;
- /* In template parameter symbols generated by the frontend up to 2.076,
- the symbol length is encoded and the first character of the mangled
- name can be a digit. This causes ambiguity issues because the digits
- of the two numbers are adjacent. */
- long psize = len;
- const char *pend;
- int saved = string_length (decl);
- /* Work backwards until a match is found. */
- for (pend = endptr; endptr != NULL; pend--)
- {
- mangled = pend;
- /* Reached the beginning of the pointer to the name length,
- try parsing the entire symbol. */
- if (psize == 0)
- {
- psize = len;
- pend = endptr;
- endptr = NULL;
- }
- /* Check whether template parameter is a function with a valid
- return type or an untyped identifier. */
- if (dlang_symbol_name_p (mangled, info))
- mangled = dlang_parse_qualified (decl, mangled, info, 0);
- else if (strncmp (mangled, "_D", 2) == 0
- && dlang_symbol_name_p (mangled + 2, info))
- mangled = dlang_parse_mangle (decl, mangled, info);
- /* Check for name length mismatch. */
- if (mangled && (endptr == NULL || (mangled - pend) == psize))
- return mangled;
- psize /= 10;
- string_setlength (decl, saved);
- }
- /* No match on any combinations. */
- return NULL;
- }
- /* Demangle the argument list from MANGLED and append it to DECL.
- Return the remaining string on success or NULL on failure. */
- static const char *
- dlang_template_args (string *decl, const char *mangled, struct dlang_info *info)
- {
- size_t n = 0;
- while (mangled && *mangled != '\0')
- {
- switch (*mangled)
- {
- case 'Z': /* End of parameter list. */
- mangled++;
- return mangled;
- }
- if (n++)
- string_append (decl, ", ");
- /* Skip over specialised template prefix. */
- if (*mangled == 'H')
- mangled++;
- switch (*mangled)
- {
- case 'S': /* Symbol parameter. */
- mangled++;
- mangled = dlang_template_symbol_param (decl, mangled, info);
- break;
- case 'T': /* Type parameter. */
- mangled++;
- mangled = dlang_type (decl, mangled, info);
- break;
- case 'V': /* Value parameter. */
- {
- string name;
- char type;
- /* Peek at the type. */
- mangled++;
- type = *mangled;
- if (type == 'Q')
- {
- /* Value type is a back reference, peek at the real type. */
- const char *backref;
- if (dlang_backref (mangled, &backref, info) == NULL)
- return NULL;
- type = *backref;
- }
- /* In the few instances where the type is actually desired in
- the output, it should precede the value from dlang_value. */
- string_init (&name);
- mangled = dlang_type (&name, mangled, info);
- string_need (&name, 1);
- *(name.p) = '\0';
- mangled = dlang_value (decl, mangled, name.b, type, info);
- string_delete (&name);
- break;
- }
- case 'X': /* Externally mangled parameter. */
- {
- unsigned long len;
- const char *endptr;
- mangled++;
- endptr = dlang_number (mangled, &len);
- if (endptr == NULL || strlen (endptr) < len)
- return NULL;
- string_appendn (decl, endptr, len);
- mangled = endptr + len;
- break;
- }
- default:
- return NULL;
- }
- }
- return mangled;
- }
- /* Extract and demangle the template symbol in MANGLED, expected to
- be made up of LEN characters (-1 if unknown), and append it to DECL.
- Returns the remaining signature on success or NULL on failure. */
- static const char *
- dlang_parse_template (string *decl, const char *mangled,
- struct dlang_info *info, unsigned long len)
- {
- const char *start = mangled;
- string args;
- /* Template instance names have the types and values of its parameters
- encoded into it.
- TemplateInstanceName:
- Number __T LName TemplateArgs Z
- Number __U LName TemplateArgs Z
- ^
- The start pointer should be at the above location, and LEN should be
- the value of the decoded number.
- */
- /* Template symbol. */
- if (!dlang_symbol_name_p (mangled + 3, info) || mangled[3] == '0')
- return NULL;
- mangled += 3;
- /* Template identifier. */
- mangled = dlang_identifier (decl, mangled, info);
- /* Template arguments. */
- string_init (&args);
- mangled = dlang_template_args (&args, mangled, info);
- string_append (decl, "!(");
- string_appendn (decl, args.b, string_length (&args));
- string_append (decl, ")");
- string_delete (&args);
- /* Check for template name length mismatch. */
- if (len != TEMPLATE_LENGTH_UNKNOWN
- && mangled
- && (unsigned long) (mangled - start) != len)
- return NULL;
- return mangled;
- }
- /* Initialize the information structure we use to pass around information. */
- static void
- dlang_demangle_init_info (const char *mangled, int last_backref,
- struct dlang_info *info)
- {
- info->s = mangled;
- info->last_backref = last_backref;
- }
- /* Extract and demangle the symbol in MANGLED. Returns the demangled
- signature on success or NULL on failure. */
- char *
- dlang_demangle (const char *mangled, int option ATTRIBUTE_UNUSED)
- {
- string decl;
- char *demangled = NULL;
- if (mangled == NULL || *mangled == '\0')
- return NULL;
- if (strncmp (mangled, "_D", 2) != 0)
- return NULL;
- string_init (&decl);
- if (strcmp (mangled, "_Dmain") == 0)
- {
- string_append (&decl, "D main");
- }
- else
- {
- struct dlang_info info;
- dlang_demangle_init_info (mangled, strlen (mangled), &info);
- mangled = dlang_parse_mangle (&decl, mangled, &info);
- /* Check that the entire symbol was successfully demangled. */
- if (mangled == NULL || *mangled != '\0')
- string_delete (&decl);
- }
- if (string_length (&decl) > 0)
- {
- string_need (&decl, 1);
- *(decl.p) = '\0';
- demangled = decl.b;
- }
- return demangled;
- }
|