| /* Demangler for the D programming language |
| Copyright (C) 2014-2021 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 |
| { |
| if (n++) |
| string_append (decl, "."); |
| |
| /* Skip over anonymous symbols. */ |
| while (*mangled == '0') |
| mangled++; |
| |
| 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; |
| } |
| |