/* D language support routines for GDB, the GNU debugger.
- Copyright (C) 2005-2014 Free Software Foundation, Inc.
+ Copyright (C) 2005-2017 Free Software Foundation, Inc.
This file is part of GDB.
#include "varobj.h"
#include "d-lang.h"
#include "c-lang.h"
-#include "parser-defs.h"
-#include "gdb_obstack.h"
-
-#include "safe-ctype.h"
-
-static const char *parse_function_args (struct obstack *, const char *);
-static const char *parse_type (struct obstack *, const char *);
+#include "demangle.h"
+#include "cp-support.h"
/* The name of the symbol to use to get the name of the main subprogram. */
static const char D_MAIN[] = "D main";
const char *
d_main_name (void)
{
- struct minimal_symbol *msym;
+ struct bound_minimal_symbol msym;
msym = lookup_minimal_symbol (D_MAIN, NULL, NULL);
- if (msym != NULL)
+ if (msym.minsym != NULL)
return D_MAIN;
/* No known entry procedure found, the main program is probably not D. */
return NULL;
}
-/* Demangle the calling convention from MANGLE and append it to TEMPBUF.
- Return the remaining string on success or NULL on failure. */
-
-static const char *
-parse_call_convention (struct obstack *tempbuf, const char *mangle)
-{
- if ((mangle == NULL) || (*mangle == '\0'))
- return mangle;
-
- switch (*mangle)
- {
- case 'F': /* (D) */
- mangle++;
- break;
- case 'U': /* (C) */
- mangle++;
- obstack_grow_str (tempbuf, "extern(C) ");
- break;
- case 'W': /* (Windows) */
- mangle++;
- obstack_grow_str (tempbuf, "extern(Windows) ");
- break;
- case 'V': /* (Pascal) */
- mangle++;
- obstack_grow_str (tempbuf, "extern(Pascal) ");
- break;
- case 'R': /* (C++) */
- mangle++;
- obstack_grow_str (tempbuf, "extern(C++) ");
- break;
- default:
- return NULL;
- }
-
- return mangle;
-}
-
-/* Demangle the D function attributes from MANGLE and append it to TEMPBUF.
- Return the remaining string on success or NULL on failure. */
-
-static const char *
-parse_attributes (struct obstack *tempbuf, const char *mangle)
-{
- if ((mangle == NULL) || (*mangle == '\0'))
- return mangle;
-
- while (*mangle == 'N')
- {
- mangle++;
- switch (*mangle)
- {
- case 'a': /* pure */
- mangle++;
- obstack_grow_str (tempbuf, "pure ");
- continue;
- case 'b': /* nothrow */
- mangle++;
- obstack_grow_str (tempbuf, "nothrow ");
- continue;
- case 'c': /* ref */
- mangle++;
- obstack_grow_str (tempbuf, "ref ");
- continue;
- case 'd': /* @property */
- mangle++;
- obstack_grow_str (tempbuf, "@property ");
- continue;
- case 'e': /* @trusted */
- mangle++;
- obstack_grow_str (tempbuf, "@trusted ");
- continue;
- case 'f': /* @safe */
- mangle++;
- obstack_grow_str (tempbuf, "@safe ");
- continue;
- case 'g':
- case 'h':
- /* inout parameter is represented as 'Ng'.
- vector parameter is represented as 'Nh'.
- If we see this, then we know we're really in the
- parameter list. Rewind and break. */
- mangle--;
- }
- break;
- }
- return mangle;
-}
-
-/* Demangle the function type from MANGLE and append it to TEMPBUF.
- Return the remaining string on success or NULL on failure. */
-
-static const char *
-parse_function_type (struct obstack *tempbuf, const char *mangle)
-{
- struct obstack obattr, obargs, obtype;
- char *attr, *args, *type;
- size_t szattr, szargs, sztype;
-
- if ((mangle == NULL) || (*mangle == '\0'))
- return mangle;
-
- /* The order of the mangled string is:
- TypeFunction ::
- CallConvention FuncAttrs Arguments ArgClose Type
-
- The demangled string is re-ordered as:
- CallConvention Type Arguments FuncAttrs
- */
- obstack_init (&obattr);
- obstack_init (&obargs);
- obstack_init (&obtype);
-
- /* Function call convention. */
- mangle = parse_call_convention (tempbuf, mangle);
-
- /* Function attributes. */
- mangle = parse_attributes (&obattr, mangle);
- szattr = obstack_object_size (&obattr);
- attr = obstack_finish (&obattr);
-
- /* Function arguments. */
- mangle = parse_function_args (&obargs, mangle);
- szargs = obstack_object_size (&obargs);
- args = obstack_finish (&obargs);
-
- /* Function return type. */
- mangle = parse_type (&obtype, mangle);
- sztype = obstack_object_size (&obtype);
- type = obstack_finish (&obtype);
-
- /* Append to buffer in order. */
- obstack_grow (tempbuf, type, sztype);
- obstack_grow_str (tempbuf, "(");
- obstack_grow (tempbuf, args, szargs);
- obstack_grow_str (tempbuf, ") ");
- obstack_grow (tempbuf, attr, szattr);
-
- obstack_free (&obattr, NULL);
- obstack_free (&obargs, NULL);
- obstack_free (&obtype, NULL);
- return mangle;
-}
-
-/* Demangle the argument list from MANGLE and append it to TEMPBUF.
- Return the remaining string on success or NULL on failure. */
-
-static const char *
-parse_function_args (struct obstack *tempbuf, const char *mangle)
-{
- size_t n = 0;
-
- while ((mangle != NULL) && (*mangle != '\0'))
- {
- switch (*mangle)
- {
- case 'X': /* (variadic T t...) style. */
- mangle++;
- obstack_grow_str (tempbuf, "...");
- return mangle;
- case 'Y': /* (variadic T t, ...) style. */
- mangle++;
- obstack_grow_str (tempbuf, ", ...");
- return mangle;
- case 'Z': /* Normal function. */
- mangle++;
- return mangle;
- }
-
- if (n++)
- obstack_grow_str (tempbuf, ", ");
-
- if (*mangle == 'M') /* scope(T) */
- {
- mangle++;
- obstack_grow_str (tempbuf, "scope ");
- }
-
- switch (*mangle)
- {
- case 'J': /* out(T) */
- mangle++;
- obstack_grow_str (tempbuf, "out ");
- break;
- case 'K': /* ref(T) */
- mangle++;
- obstack_grow_str (tempbuf, "ref ");
- break;
- case 'L': /* lazy(T) */
- mangle++;
- obstack_grow_str (tempbuf, "lazy ");
- break;
- }
- mangle = parse_type (tempbuf, mangle);
- }
- return mangle;
-}
-
-/* Demangle the type from MANGLE and append it to TEMPBUF.
- Return the remaining string on success or NULL on failure. */
-
-static const char *
-parse_type (struct obstack *tempbuf, const char *mangle)
-{
- if ((mangle == NULL) || (*mangle == '\0'))
- return mangle;
-
- switch (*mangle)
- {
- case 'O': /* shared(T) */
- mangle++;
- obstack_grow_str (tempbuf, "shared(");
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, ")");
- return mangle;
- case 'x': /* const(T) */
- mangle++;
- obstack_grow_str (tempbuf, "const(");
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, ")");
- return mangle;
- case 'y': /* immutable(T) */
- mangle++;
- obstack_grow_str (tempbuf, "immutable(");
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, ")");
- return mangle;
- case 'N':
- mangle++;
- if (*mangle == 'g') /* wild(T) */
- {
- mangle++;
- obstack_grow_str (tempbuf, "inout(");
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, ")");
- return mangle;
- }
- else if (*mangle == 'h') /* vector(T) */
- {
- mangle++;
- /* The basetype for vectors are always static arrays. */
- if (*mangle != 'G')
- return NULL;
- obstack_grow_str (tempbuf, "__vector(");
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, ")");
- return mangle;
- }
- else
- return NULL;
- case 'A': /* dynamic array (T[]) */
- mangle++;
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, "[]");
- return mangle;
- case 'G': /* static array (T[N]) */
- {
- const char *numptr;
- size_t num = 0;
- mangle++;
-
- numptr = mangle;
- while (ISDIGIT (*mangle))
- {
- num++;
- mangle++;
- }
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, "[");
- obstack_grow (tempbuf, numptr, num);
- obstack_grow_str (tempbuf, "]");
- return mangle;
- }
- case 'H': /* associative array (T[T]) */
- {
- struct obstack obtype;
- char *type;
- size_t sztype;
- mangle++;
-
- obstack_init (&obtype);
- mangle = parse_type (&obtype, mangle);
- sztype = obstack_object_size (&obtype);
- type = obstack_finish (&obtype);
-
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, "[");
- obstack_grow (tempbuf, type, sztype);
- obstack_grow_str (tempbuf, "]");
-
- obstack_free (&obtype, NULL);
- return mangle;
- }
- case 'P': /* pointer (T*) */
- mangle++;
- mangle = parse_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, "*");
- return mangle;
- case 'I': /* ident T */
- case 'C': /* class T */
- case 'S': /* struct T */
- case 'E': /* enum T */
- case 'T': /* typedef T */
- mangle++;
- return d_parse_symbol (tempbuf, mangle);
- case 'D': /* delegate T */
- mangle++;
- mangle = parse_function_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, "delegate");
- return mangle;
- case 'B': /* tuple T */
- /* TODO: Handle this. */
- return NULL;
-
- /* Function types */
- case 'F': case 'U': case 'W':
- case 'V': case 'R':
- mangle = parse_function_type (tempbuf, mangle);
- obstack_grow_str (tempbuf, "function");
- return mangle;
-
- /* Basic types */
- case 'n':
- mangle++;
- obstack_grow_str (tempbuf, "none");
- return mangle;
- case 'v':
- mangle++;
- obstack_grow_str (tempbuf, "void");
- return mangle;
- case 'g':
- mangle++;
- obstack_grow_str (tempbuf, "byte");
- return mangle;
- case 'h':
- mangle++;
- obstack_grow_str (tempbuf, "ubyte");
- return mangle;
- case 's':
- mangle++;
- obstack_grow_str (tempbuf, "short");
- return mangle;
- case 't':
- mangle++;
- obstack_grow_str (tempbuf, "ushort");
- return mangle;
- case 'i':
- mangle++;
- obstack_grow_str (tempbuf, "int");
- return mangle;
- case 'k':
- mangle++;
- obstack_grow_str (tempbuf, "uint");
- return mangle;
- case 'l':
- mangle++;
- obstack_grow_str (tempbuf, "long");
- return mangle;
- case 'm':
- mangle++;
- obstack_grow_str (tempbuf, "ulong");
- return mangle;
- case 'f':
- mangle++;
- obstack_grow_str (tempbuf, "float");
- return mangle;
- case 'd':
- mangle++;
- obstack_grow_str (tempbuf, "double");
- return mangle;
- case 'e':
- mangle++;
- obstack_grow_str (tempbuf, "real");
- return mangle;
-
- /* Imaginary and Complex types */
- case 'o':
- mangle++;
- obstack_grow_str (tempbuf, "ifloat");
- return mangle;
- case 'p':
- mangle++;
- obstack_grow_str (tempbuf, "idouble");
- return mangle;
- case 'j':
- mangle++;
- obstack_grow_str (tempbuf, "ireal");
- return mangle;
- case 'q':
- mangle++;
- obstack_grow_str (tempbuf, "cfloat");
- return mangle;
- case 'r':
- mangle++;
- obstack_grow_str (tempbuf, "cdouble");
- return mangle;
- case 'c':
- mangle++;
- obstack_grow_str (tempbuf, "creal");
- return mangle;
-
- /* Other types */
- case 'b':
- mangle++;
- obstack_grow_str (tempbuf, "bool");
- return mangle;
- case 'a':
- mangle++;
- obstack_grow_str (tempbuf, "char");
- return mangle;
- case 'u':
- mangle++;
- obstack_grow_str (tempbuf, "wchar");
- return mangle;
- case 'w':
- mangle++;
- obstack_grow_str (tempbuf, "dchar");
- return mangle;
-
- default: /* unhandled */
- return NULL;
- }
-}
-
-/* Extract the identifier from MANGLE and append it to TEMPBUF.
- Return the remaining string on success or NULL on failure. */
+/* Implements the la_demangle language_defn routine for language D. */
-static const char *
-parse_identifier (struct obstack *tempbuf, const char *mangle)
+char *
+d_demangle (const char *symbol, int options)
{
- if ((mangle == NULL) || (*mangle == '\0'))
- return mangle;
-
- if (ISDIGIT (*mangle))
- {
- char *endptr;
- long i = strtol (mangle, &endptr, 10);
-
- if (i <= 0 || strlen (endptr) < i)
- return NULL;
-
- mangle = endptr;
-
- /* No support for demangling templates. */
- if (i >= 5 && strncmp (mangle, "__T", 3) == 0)
- return NULL;
-
- if (strncmp (mangle, "__ctor", i) == 0)
- {
- /* Constructor symbol for a class/struct. */
- obstack_grow_str (tempbuf, "this");
- mangle += i;
- return mangle;
- }
- else if (strncmp (mangle, "__dtor", i) == 0)
- {
- /* Destructor symbol for a class/struct. */
- obstack_grow_str (tempbuf, "~this");
- mangle += i;
- return mangle;
- }
- else if (strncmp (mangle, "__postblit", i) == 0)
- {
- /* Postblit symbol for a struct. */
- obstack_grow_str (tempbuf, "this(this)");
- mangle += i;
- return mangle;
- }
- else if (strncmp (mangle, "__initZ", i+1) == 0)
- {
- /* The static initialiser for a given symbol. */
- obstack_grow_str (tempbuf, "init$");
- mangle += i + 1;
- return mangle;
- }
- else if (strncmp (mangle, "__ClassZ", i+1) == 0)
- {
- /* The classinfo symbol for a given class. */
- obstack_grow_str (tempbuf, "classinfo$");
- mangle += i + 1;
- return mangle;
- }
- else if (strncmp (mangle, "__vtblZ", i+1) == 0)
- {
- /* The vtable symbol for a given class. */
- obstack_grow_str (tempbuf, "vtbl$");
- mangle += i + 1;
- return mangle;
- }
- else if (strncmp (mangle, "__InterfaceZ", i+1) == 0)
- {
- /* The interface symbol for a given class. */
- obstack_grow_str (tempbuf, "interface$");
- mangle += i + 1;
- return mangle;
- }
- else if (strncmp (mangle, "__ModuleInfoZ", i+1) == 0)
- {
- /* The ModuleInfo symbol for a given module. */
- obstack_grow_str (tempbuf, "moduleinfo$");
- mangle += i + 1;
- return mangle;
- }
- obstack_grow (tempbuf, mangle, i);
- mangle += i;
- }
- else
- return NULL;
-
- return mangle;
+ return gdb_demangle (symbol, options | DMGL_DLANG);
}
-/* Test whether the current position of MANGLE is pointing to the
- beginning of a mangled function parameter list, which starts with
- the calling convention. Returns 1 on success or 0 on failure. */
+/* la_sniff_from_mangled_name implementation for D. */
static int
-call_convention_p (const char *mangle)
-{
- size_t i;
-
- if ((mangle == NULL) || (*mangle == '\0'))
- return 0;
-
- switch (*mangle)
- {
- case 'F': case 'U': case 'V':
- case 'W': case 'R':
- return 1;
-
- case 'M': /* Prefix for functions needing 'this'. */
- i = 1;
- if (mangle[i] == 'x')
- i++;
-
- switch (mangle[i])
- {
- case 'F': case 'U': case 'V':
- case 'W': case 'R':
- return 1;
- }
-
- default:
- return 0;
- }
-}
-
-/* Extract and demangle the symbol in MANGLE and append it to TEMPBUF.
- Return the remaining signature on success or NULL on failure. */
-
-const char *
-d_parse_symbol (struct obstack *tempbuf, const char *mangle)
+d_sniff_from_mangled_name (const char *mangled, char **demangled)
{
- size_t n = 0;
- do
- {
- if (n++)
- obstack_grow_str (tempbuf, ".");
-
- mangle = parse_identifier (tempbuf, mangle);
-
- if (call_convention_p (mangle))
- {
- char *saved;
-
- /* Skip over 'this' parameter. */
- if (*mangle == 'M')
- mangle += (mangle[1] == 'x') ? 2 : 1;
-
- /* Skip over calling convention and attributes in qualified name. */
- saved = obstack_next_free (tempbuf);
- mangle = parse_call_convention (tempbuf, mangle);
- mangle = parse_attributes (tempbuf, mangle);
- obstack_next_free (tempbuf) = saved;
-
- obstack_grow_str (tempbuf, "(");
- mangle = parse_function_args (tempbuf, mangle);
- obstack_grow_str (tempbuf, ")");
-
- /* Demangle the function return type as a kind of sanity test. */
- if ((mangle != NULL) && !ISDIGIT (*mangle))
- {
- saved = obstack_next_free (tempbuf);
- mangle = parse_type (tempbuf, mangle);
- obstack_next_free (tempbuf) = saved;
- }
- }
- }
- while ((mangle != NULL) && ISDIGIT (*mangle));
-
- return mangle;
-}
-
-/* Implements the la_demangle language_defn routine for language D. */
-
-char *
-d_demangle (const char *symbol, int options)
-{
- struct obstack tempbuf;
- char *result;
-
- if ((symbol == NULL) || (*symbol == '\0'))
- return NULL;
- else if (strcmp (symbol, "_Dmain") == 0)
- return xstrdup ("D main");
-
- obstack_init (&tempbuf);
-
- if (strncmp (symbol, "_D", 2) == 0)
- symbol += 2;
- else
- {
- obstack_free (&tempbuf, NULL);
- return NULL;
- }
-
- if (d_parse_symbol (&tempbuf, symbol) != NULL)
- {
- obstack_grow_str0 (&tempbuf, "");
- result = xstrdup (obstack_finish (&tempbuf));
- obstack_free (&tempbuf, NULL);
- }
- else
- {
- obstack_free (&tempbuf, NULL);
- return NULL;
- }
-
- return result;
+ *demangled = d_demangle (mangled, 0);
+ return *demangled != NULL;
}
/* Table mapping opcodes into strings for printing operators
{"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
{"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
{"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
- {"==", BINOP_EQUAL, PREC_EQUAL, 0},
- {"!=", BINOP_NOTEQUAL, PREC_EQUAL, 0},
+ {"==", BINOP_EQUAL, PREC_ORDER, 0},
+ {"!=", BINOP_NOTEQUAL, PREC_ORDER, 0},
{"<=", BINOP_LEQ, PREC_ORDER, 0},
{">=", BINOP_GEQ, PREC_ORDER, 0},
{">", BINOP_GTR, PREC_ORDER, 0},
{"<<", BINOP_LSH, PREC_SHIFT, 0},
{"+", BINOP_ADD, PREC_ADD, 0},
{"-", BINOP_SUB, PREC_ADD, 0},
+ {"~", BINOP_CONCAT, PREC_ADD, 0},
{"*", BINOP_MUL, PREC_MUL, 0},
{"/", BINOP_DIV, PREC_MUL, 0},
{"%", BINOP_REM, PREC_MUL, 0},
+ {"^^", BINOP_EXP, PREC_REPEAT, 0},
{"@", BINOP_REPEAT, PREC_REPEAT, 0},
{"-", UNOP_NEG, PREC_PREFIX, 0},
{"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
{"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0},
{"++", UNOP_PREINCREMENT, PREC_PREFIX, 0},
{"--", UNOP_PREDECREMENT, PREC_PREFIX, 0},
- {NULL, 0, 0, 0}
+ {NULL, OP_NULL, PREC_PREFIX, 0}
};
/* Mapping of all D basic data types into the language vector. */
lai->bool_type_default = builtin->builtin_bool;
}
+static const char *d_extensions[] =
+{
+ ".d", NULL
+};
+
static const struct language_defn d_language_defn =
{
"d",
case_sensitive_on,
array_row_major,
macro_expansion_no,
+ d_extensions,
&exp_descriptor_c,
- c_parse,
- c_error,
+ d_parse,
+ d_yyerror,
null_post_parser,
c_printchar, /* Print a character constant. */
c_printstr, /* Function to print string constant. */
default_read_var_value, /* la_read_var_value */
NULL, /* Language specific skip_trampoline. */
"this",
- basic_lookup_symbol_nonlocal,
+ d_lookup_symbol_nonlocal,
basic_lookup_transparent_type,
d_demangle, /* Language specific symbol demangler. */
+ d_sniff_from_mangled_name,
NULL, /* Language specific
class_name_from_physname. */
d_op_print_tab, /* Expression operators for printing. */
NULL, /* la_get_symbol_name_cmp */
iterate_over_symbols,
&default_varobj_ops,
+ NULL,
+ NULL,
LANG_MAGIC
};
= arch_integer_type (gdbarch, 128, 1, "ucent");
builtin_d_type->builtin_float
= arch_float_type (gdbarch, gdbarch_float_bit (gdbarch),
- "float", NULL);
+ "float", gdbarch_float_format (gdbarch));
builtin_d_type->builtin_double
= arch_float_type (gdbarch, gdbarch_double_bit (gdbarch),
- "double", NULL);
+ "double", gdbarch_double_format (gdbarch));
builtin_d_type->builtin_real
= arch_float_type (gdbarch, gdbarch_long_double_bit (gdbarch),
- "real", NULL);
+ "real", gdbarch_long_double_format (gdbarch));
TYPE_INSTANCE_FLAGS (builtin_d_type->builtin_byte)
|= TYPE_INSTANCE_FLAG_NOTTEXT;
/* Imaginary and complex types. */
builtin_d_type->builtin_ifloat
= arch_float_type (gdbarch, gdbarch_float_bit (gdbarch),
- "ifloat", NULL);
+ "ifloat", gdbarch_float_format (gdbarch));
builtin_d_type->builtin_idouble
= arch_float_type (gdbarch, gdbarch_double_bit (gdbarch),
- "idouble", NULL);
+ "idouble", gdbarch_double_format (gdbarch));
builtin_d_type->builtin_ireal
= arch_float_type (gdbarch, gdbarch_long_double_bit (gdbarch),
- "ireal", NULL);
+ "ireal", gdbarch_long_double_format (gdbarch));
builtin_d_type->builtin_cfloat
= arch_complex_type (gdbarch, "cfloat",
builtin_d_type->builtin_float);
const struct builtin_d_type *
builtin_d_type (struct gdbarch *gdbarch)
{
- return gdbarch_data (gdbarch, d_type_data);
+ return (const struct builtin_d_type *) gdbarch_data (gdbarch, d_type_data);
}
/* Provide a prototype to silence -Wmissing-prototypes. */