a02fd225ed
(check_typedef): Remove ``register'' keyword from argument. Preserve const and volatile attributes across filling in opaque types. * gdbtypes.h (finish_cv_type): Add prototype. * hp-symtab-read.c (hpread_read_struct_type): Call finish_cv_type. * stabsread.c (read_struct_type): Likewise. * dwarf2read.c (read_structure_scope): Likewise. Remove redundant assignment to die->type.
3979 lines
134 KiB
C
3979 lines
134 KiB
C
/* Read hp debug symbols and convert to internal format, for GDB.
|
||
Copyright 1993, 1996, 1998, 1999, 2000 Free Software Foundation, Inc.
|
||
|
||
This file is part of GDB.
|
||
|
||
This program is free software; you can redistribute it and/or modify
|
||
it under the terms of the GNU General Public License as published by
|
||
the Free Software Foundation; either version 2 of the License, or
|
||
(at your option) any later version.
|
||
|
||
This program 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 General Public License for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with this program; if not, write to the Free Software
|
||
Foundation, Inc., 59 Temple Place - Suite 330,
|
||
Boston, MA 02111-1307, USA.
|
||
|
||
Written by the Center for Software Science at the University of Utah
|
||
and by Cygnus Support. */
|
||
|
||
/* Common include for hp-symtab-read.c and hp-psymtab-read.c.
|
||
* Note this has nested includes for a bunch of stuff.
|
||
*/
|
||
#include "defs.h"
|
||
#include "symtab.h"
|
||
#include "gdbtypes.h"
|
||
#include "hpread.h"
|
||
#include "demangle.h"
|
||
#include "complaints.h"
|
||
|
||
|
||
|
||
|
||
static struct complaint hpread_unhandled_end_common_complaint =
|
||
{
|
||
"unhandled symbol in hp-symtab-read.c: DNTT_TYPE_COMMON/DNTT_TYPE_END.\n", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_unhandled_type_complaint =
|
||
{
|
||
"hpread_type_translate: unhandled type code.", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_struct_complaint =
|
||
{
|
||
"hpread_read_struct_type: expected SVAR type...", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_array_complaint =
|
||
{
|
||
"error in hpread_array_type.", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_type_lookup_complaint =
|
||
{
|
||
"error in hpread_type_lookup().", 0, 0
|
||
};
|
||
|
||
|
||
static struct complaint hpread_unexpected_end_complaint =
|
||
{
|
||
"internal error in hp-symtab-read.c: Unexpected DNTT_TYPE_END kind.", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_tagdef_complaint =
|
||
{
|
||
"error processing class tagdef", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_unhandled_common_complaint =
|
||
{
|
||
"unhandled symbol in hp-symtab-read.c: DNTT_TYPE_COMMON.", 0, 0
|
||
};
|
||
|
||
static struct complaint hpread_unhandled_blockdata_complaint =
|
||
{
|
||
"unhandled symbol in hp-symtab-read.c: DNTT_TYPE_BLOCKDATA.", 0, 0
|
||
};
|
||
|
||
|
||
/* Forward procedure declarations */
|
||
|
||
static unsigned long hpread_get_scope_start (sltpointer, struct objfile *);
|
||
|
||
static unsigned long hpread_get_line (sltpointer, struct objfile *);
|
||
|
||
static CORE_ADDR hpread_get_location (sltpointer, struct objfile *);
|
||
|
||
static void hpread_psymtab_to_symtab_1 (struct partial_symtab *);
|
||
|
||
void hpread_psymtab_to_symtab (struct partial_symtab *);
|
||
|
||
static struct symtab *hpread_expand_symtab
|
||
(struct objfile *, int, int, CORE_ADDR, int,
|
||
struct section_offsets *, char *);
|
||
|
||
static int hpread_type_translate (dnttpointer);
|
||
|
||
static struct type **hpread_lookup_type (dnttpointer, struct objfile *);
|
||
|
||
static struct type *hpread_alloc_type (dnttpointer, struct objfile *);
|
||
|
||
static struct type *hpread_read_enum_type
|
||
(dnttpointer, union dnttentry *, struct objfile *);
|
||
|
||
static struct type *hpread_read_function_type
|
||
(dnttpointer, union dnttentry *, struct objfile *, int);
|
||
|
||
static struct type *hpread_read_doc_function_type
|
||
(dnttpointer, union dnttentry *, struct objfile *, int);
|
||
|
||
static struct type *hpread_read_struct_type
|
||
(dnttpointer, union dnttentry *, struct objfile *);
|
||
|
||
static struct type *hpread_get_nth_template_arg (struct objfile *, int);
|
||
|
||
static struct type *hpread_read_templ_arg_type
|
||
(dnttpointer, union dnttentry *, struct objfile *, char *);
|
||
|
||
static struct type *hpread_read_set_type
|
||
(dnttpointer, union dnttentry *, struct objfile *);
|
||
|
||
static struct type *hpread_read_array_type
|
||
(dnttpointer, union dnttentry *dn_bufp, struct objfile *objfile);
|
||
|
||
static struct type *hpread_read_subrange_type
|
||
(dnttpointer, union dnttentry *, struct objfile *);
|
||
|
||
static struct type *hpread_type_lookup (dnttpointer, struct objfile *);
|
||
|
||
static sltpointer hpread_record_lines
|
||
(struct subfile *, sltpointer, sltpointer, struct objfile *, CORE_ADDR);
|
||
|
||
static void hpread_process_one_debug_symbol
|
||
(union dnttentry *, char *, struct section_offsets *,
|
||
struct objfile *, CORE_ADDR, int, char *, int, int *);
|
||
|
||
static int hpread_get_scope_depth (union dnttentry *, struct objfile *, int);
|
||
|
||
static void fix_static_member_physnames
|
||
(struct type *, char *, struct objfile *);
|
||
|
||
static void fixup_class_method_type
|
||
(struct type *, struct type *, struct objfile *);
|
||
|
||
static void hpread_adjust_bitoffsets (struct type *, int);
|
||
|
||
static dnttpointer hpread_get_next_skip_over_anon_unions
|
||
(int, dnttpointer, union dnttentry **, struct objfile *);
|
||
|
||
/* Global to indicate presence of HP-compiled objects,
|
||
in particular, SOM executable file with SOM debug info
|
||
Defined in symtab.c, used in hppa-tdep.c. */
|
||
extern int hp_som_som_object_present;
|
||
|
||
/* Static used to indicate a class type that requires a
|
||
fix-up of one of its method types */
|
||
static struct type *fixup_class = NULL;
|
||
|
||
/* Static used to indicate the method type that is to be
|
||
used to fix-up the type for fixup_class */
|
||
static struct type *fixup_method = NULL;
|
||
|
||
|
||
|
||
/* Get the nesting depth for the source line identified by INDEX. */
|
||
|
||
static unsigned long
|
||
hpread_get_scope_start (sltpointer index, struct objfile *objfile)
|
||
{
|
||
union sltentry *sl_bufp;
|
||
|
||
sl_bufp = hpread_get_slt (index, objfile);
|
||
return sl_bufp->sspec.backptr.dnttp.index;
|
||
}
|
||
|
||
/* Get the source line number the the line identified by INDEX. */
|
||
|
||
static unsigned long
|
||
hpread_get_line (sltpointer index, struct objfile *objfile)
|
||
{
|
||
union sltentry *sl_bufp;
|
||
|
||
sl_bufp = hpread_get_slt (index, objfile);
|
||
return sl_bufp->snorm.line;
|
||
}
|
||
|
||
/* Find the code address associated with a given sltpointer */
|
||
|
||
static CORE_ADDR
|
||
hpread_get_location (sltpointer index, struct objfile *objfile)
|
||
{
|
||
union sltentry *sl_bufp;
|
||
int i;
|
||
|
||
/* code location of special sltentrys is determined from context */
|
||
sl_bufp = hpread_get_slt (index, objfile);
|
||
|
||
if (sl_bufp->snorm.sltdesc == SLT_END)
|
||
{
|
||
/* find previous normal sltentry and get address */
|
||
for (i = 0; ((sl_bufp->snorm.sltdesc != SLT_NORMAL) &&
|
||
(sl_bufp->snorm.sltdesc != SLT_NORMAL_OFFSET) &&
|
||
(sl_bufp->snorm.sltdesc != SLT_EXIT)); i++)
|
||
sl_bufp = hpread_get_slt (index - i, objfile);
|
||
if (sl_bufp->snorm.sltdesc == SLT_NORMAL_OFFSET)
|
||
return sl_bufp->snormoff.address;
|
||
else
|
||
return sl_bufp->snorm.address;
|
||
}
|
||
|
||
/* find next normal sltentry and get address */
|
||
for (i = 0; ((sl_bufp->snorm.sltdesc != SLT_NORMAL) &&
|
||
(sl_bufp->snorm.sltdesc != SLT_NORMAL_OFFSET) &&
|
||
(sl_bufp->snorm.sltdesc != SLT_EXIT)); i++)
|
||
sl_bufp = hpread_get_slt (index + i, objfile);
|
||
if (sl_bufp->snorm.sltdesc == SLT_NORMAL_OFFSET)
|
||
return sl_bufp->snormoff.address;
|
||
else
|
||
return sl_bufp->snorm.address;
|
||
}
|
||
|
||
|
||
/* Return 1 if an HP debug symbol of type KIND has a name associated with
|
||
* it, else return 0. (This function is not currently used, but I'll
|
||
* leave it here in case it proves useful later on. - RT).
|
||
*/
|
||
|
||
int
|
||
hpread_has_name (enum dntt_entry_type kind)
|
||
{
|
||
switch (kind)
|
||
{
|
||
case DNTT_TYPE_SRCFILE:
|
||
case DNTT_TYPE_MODULE:
|
||
case DNTT_TYPE_FUNCTION:
|
||
case DNTT_TYPE_DOC_FUNCTION:
|
||
case DNTT_TYPE_ENTRY:
|
||
case DNTT_TYPE_IMPORT:
|
||
case DNTT_TYPE_LABEL:
|
||
case DNTT_TYPE_FPARAM:
|
||
case DNTT_TYPE_SVAR:
|
||
case DNTT_TYPE_DVAR:
|
||
case DNTT_TYPE_CONST:
|
||
case DNTT_TYPE_TYPEDEF:
|
||
case DNTT_TYPE_TAGDEF:
|
||
case DNTT_TYPE_MEMENUM:
|
||
case DNTT_TYPE_FIELD:
|
||
case DNTT_TYPE_SA:
|
||
case DNTT_TYPE_BLOCKDATA:
|
||
case DNTT_TYPE_MEMFUNC:
|
||
case DNTT_TYPE_DOC_MEMFUNC:
|
||
return 1;
|
||
|
||
case DNTT_TYPE_BEGIN:
|
||
case DNTT_TYPE_END:
|
||
case DNTT_TYPE_POINTER:
|
||
case DNTT_TYPE_ENUM:
|
||
case DNTT_TYPE_SET:
|
||
case DNTT_TYPE_ARRAY:
|
||
case DNTT_TYPE_STRUCT:
|
||
case DNTT_TYPE_UNION:
|
||
case DNTT_TYPE_VARIANT:
|
||
case DNTT_TYPE_FILE:
|
||
case DNTT_TYPE_FUNCTYPE:
|
||
case DNTT_TYPE_SUBRANGE:
|
||
case DNTT_TYPE_WITH:
|
||
case DNTT_TYPE_COMMON:
|
||
case DNTT_TYPE_COBSTRUCT:
|
||
case DNTT_TYPE_XREF:
|
||
case DNTT_TYPE_MACRO:
|
||
case DNTT_TYPE_CLASS_SCOPE:
|
||
case DNTT_TYPE_REFERENCE:
|
||
case DNTT_TYPE_PTRMEM:
|
||
case DNTT_TYPE_PTRMEMFUNC:
|
||
case DNTT_TYPE_CLASS:
|
||
case DNTT_TYPE_GENFIELD:
|
||
case DNTT_TYPE_VFUNC:
|
||
case DNTT_TYPE_MEMACCESS:
|
||
case DNTT_TYPE_INHERITANCE:
|
||
case DNTT_TYPE_FRIEND_CLASS:
|
||
case DNTT_TYPE_FRIEND_FUNC:
|
||
case DNTT_TYPE_MODIFIER:
|
||
case DNTT_TYPE_OBJECT_ID:
|
||
case DNTT_TYPE_TEMPLATE:
|
||
case DNTT_TYPE_TEMPLATE_ARG:
|
||
case DNTT_TYPE_FUNC_TEMPLATE:
|
||
case DNTT_TYPE_LINK:
|
||
/* DNTT_TYPE_DYN_ARRAY_DESC ? */
|
||
/* DNTT_TYPE_DESC_SUBRANGE ? */
|
||
/* DNTT_TYPE_BEGIN_EXT ? */
|
||
/* DNTT_TYPE_INLN ? */
|
||
/* DNTT_TYPE_INLN_LIST ? */
|
||
/* DNTT_TYPE_ALIAS ? */
|
||
default:
|
||
return 0;
|
||
}
|
||
}
|
||
|
||
/* Do the dirty work of reading in the full symbol from a partial symbol
|
||
table. */
|
||
|
||
static void
|
||
hpread_psymtab_to_symtab_1 (struct partial_symtab *pst)
|
||
{
|
||
struct cleanup *old_chain;
|
||
int i;
|
||
|
||
/* Get out quick if passed junk. */
|
||
if (!pst)
|
||
return;
|
||
|
||
/* Complain if we've already read in this symbol table. */
|
||
if (pst->readin)
|
||
{
|
||
fprintf (stderr, "Psymtab for %s already read in. Shouldn't happen.\n",
|
||
pst->filename);
|
||
return;
|
||
}
|
||
|
||
/* Read in all partial symtabs on which this one is dependent */
|
||
for (i = 0; i < pst->number_of_dependencies; i++)
|
||
if (!pst->dependencies[i]->readin)
|
||
{
|
||
/* Inform about additional files that need to be read in. */
|
||
if (info_verbose)
|
||
{
|
||
fputs_filtered (" ", gdb_stdout);
|
||
wrap_here ("");
|
||
fputs_filtered ("and ", gdb_stdout);
|
||
wrap_here ("");
|
||
printf_filtered ("%s...", pst->dependencies[i]->filename);
|
||
wrap_here (""); /* Flush output */
|
||
gdb_flush (gdb_stdout);
|
||
}
|
||
hpread_psymtab_to_symtab_1 (pst->dependencies[i]);
|
||
}
|
||
|
||
/* If it's real... */
|
||
if (LDSYMLEN (pst))
|
||
{
|
||
/* Init stuff necessary for reading in symbols */
|
||
buildsym_init ();
|
||
old_chain = make_cleanup (really_free_pendings, 0);
|
||
|
||
pst->symtab =
|
||
hpread_expand_symtab (pst->objfile, LDSYMOFF (pst), LDSYMLEN (pst),
|
||
pst->textlow, pst->texthigh - pst->textlow,
|
||
pst->section_offsets, pst->filename);
|
||
sort_symtab_syms (pst->symtab);
|
||
|
||
do_cleanups (old_chain);
|
||
}
|
||
|
||
pst->readin = 1;
|
||
}
|
||
|
||
/* Read in all of the symbols for a given psymtab for real.
|
||
Be verbose about it if the user wants that. */
|
||
|
||
void
|
||
hpread_psymtab_to_symtab (struct partial_symtab *pst)
|
||
{
|
||
/* Get out quick if given junk. */
|
||
if (!pst)
|
||
return;
|
||
|
||
/* Sanity check. */
|
||
if (pst->readin)
|
||
{
|
||
fprintf (stderr, "Psymtab for %s already read in. Shouldn't happen.\n",
|
||
pst->filename);
|
||
return;
|
||
}
|
||
|
||
/* elz: setting the flag to indicate that the code of the target
|
||
was compiled using an HP compiler (aCC, cc)
|
||
the processing_acc_compilation variable is declared in the
|
||
file buildsym.h, the HP_COMPILED_TARGET is defined to be equal
|
||
to 3 in the file tm_hppa.h */
|
||
|
||
processing_gcc_compilation = 0;
|
||
|
||
if (LDSYMLEN (pst) || pst->number_of_dependencies)
|
||
{
|
||
/* Print the message now, before reading the string table,
|
||
to avoid disconcerting pauses. */
|
||
if (info_verbose)
|
||
{
|
||
printf_filtered ("Reading in symbols for %s...", pst->filename);
|
||
gdb_flush (gdb_stdout);
|
||
}
|
||
|
||
hpread_psymtab_to_symtab_1 (pst);
|
||
|
||
/* Match with global symbols. This only needs to be done once,
|
||
after all of the symtabs and dependencies have been read in. */
|
||
scan_file_globals (pst->objfile);
|
||
|
||
/* Finish up the debug error message. */
|
||
if (info_verbose)
|
||
printf_filtered ("done.\n");
|
||
}
|
||
}
|
||
|
||
/* Read in a defined section of a specific object file's symbols.
|
||
|
||
DESC is the file descriptor for the file, positioned at the
|
||
beginning of the symtab
|
||
SYM_OFFSET is the offset within the file of
|
||
the beginning of the symbols we want to read
|
||
SYM_SIZE is the size of the symbol info to read in.
|
||
TEXT_OFFSET is the beginning of the text segment we are reading symbols for
|
||
TEXT_SIZE is the size of the text segment read in.
|
||
SECTION_OFFSETS are the relocation offsets which get added to each symbol. */
|
||
|
||
static struct symtab *
|
||
hpread_expand_symtab (struct objfile *objfile, int sym_offset, int sym_size,
|
||
CORE_ADDR text_offset, int text_size,
|
||
struct section_offsets *section_offsets, char *filename)
|
||
{
|
||
char *namestring;
|
||
union dnttentry *dn_bufp;
|
||
unsigned max_symnum;
|
||
int at_module_boundary = 0;
|
||
/* 1 => at end, -1 => at beginning */
|
||
|
||
int sym_index = sym_offset / sizeof (struct dntt_type_block);
|
||
|
||
current_objfile = objfile;
|
||
subfile_stack = 0;
|
||
|
||
last_source_file = 0;
|
||
|
||
/* Demangling style -- if EDG style already set, don't change it,
|
||
as HP style causes some problems with the KAI EDG compiler */
|
||
if (current_demangling_style != edg_demangling)
|
||
{
|
||
/* Otherwise, ensure that we are using HP style demangling */
|
||
set_demangling_style (HP_DEMANGLING_STYLE_STRING);
|
||
}
|
||
|
||
dn_bufp = hpread_get_lntt (sym_index, objfile);
|
||
if (!((dn_bufp->dblock.kind == (unsigned char) DNTT_TYPE_SRCFILE) ||
|
||
(dn_bufp->dblock.kind == (unsigned char) DNTT_TYPE_MODULE)))
|
||
{
|
||
start_symtab ("globals", NULL, 0);
|
||
record_debugformat ("HP");
|
||
}
|
||
|
||
/* The psymtab builder (hp-psymtab-read.c) is the one that
|
||
* determined the "sym_size" argument (i.e. how many DNTT symbols
|
||
* are in this symtab), which we use to compute "max_symnum"
|
||
* (point in DNTT to which we read).
|
||
*
|
||
* Perhaps this should be changed so that
|
||
* process_one_debug_symbol() "knows" when
|
||
* to stop reading (based on reading from the MODULE to the matching
|
||
* END), and take out this reliance on a #-syms being passed in...
|
||
* (I'm worried about the reliability of this number). But I'll
|
||
* leave it as-is, for now. - RT
|
||
*
|
||
* The change above has been made. I've left the "for" loop control
|
||
* in to prepare for backing this out again. -JB
|
||
*/
|
||
max_symnum = sym_size / sizeof (struct dntt_type_block);
|
||
/* No reason to multiply on pst side and divide on sym side... FIXME */
|
||
|
||
/* Read in and process each debug symbol within the specified range.
|
||
*/
|
||
for (symnum = 0;
|
||
symnum < max_symnum;
|
||
symnum++)
|
||
{
|
||
QUIT; /* Allow this to be interruptable */
|
||
dn_bufp = hpread_get_lntt (sym_index + symnum, objfile);
|
||
|
||
if (dn_bufp->dblock.extension)
|
||
continue;
|
||
|
||
/* Yow! We call SET_NAMESTRING on things without names! */
|
||
SET_NAMESTRING (dn_bufp, &namestring, objfile);
|
||
|
||
hpread_process_one_debug_symbol (dn_bufp, namestring, section_offsets,
|
||
objfile, text_offset, text_size,
|
||
filename, symnum + sym_index,
|
||
&at_module_boundary
|
||
);
|
||
|
||
/* OLD COMMENTS: This routine is only called for psts. All psts
|
||
* correspond to MODULES. If we ever do lazy-reading of globals
|
||
* from the LNTT, then there will be a pst which ends when the
|
||
* LNTT ends, and not at an END MODULE entry. Then we'll have
|
||
* to re-visit this break.
|
||
|
||
if( at_end_of_module )
|
||
break;
|
||
|
||
*/
|
||
|
||
/* We no longer break out of the loop when we reach the end of a
|
||
module. The reason is that with CTTI, the compiler can generate
|
||
function symbols (for template function instantiations) which are not
|
||
in any module; typically they show up beyond a module's end, and
|
||
before the next module's start. We include them in the current
|
||
module. However, we still don't trust the MAX_SYMNUM value from
|
||
the psymtab, so we break out if we enter a new module. */
|
||
|
||
if (at_module_boundary == -1)
|
||
break;
|
||
}
|
||
|
||
current_objfile = NULL;
|
||
hp_som_som_object_present = 1; /* Indicate we've processed an HP SOM SOM file */
|
||
|
||
return end_symtab (text_offset + text_size, objfile, SECT_OFF_TEXT (objfile));
|
||
}
|
||
|
||
|
||
|
||
|
||
/* Convert basic types from HP debug format into GDB internal format. */
|
||
|
||
static int
|
||
hpread_type_translate (dnttpointer typep)
|
||
{
|
||
if (!typep.dntti.immediate)
|
||
{
|
||
error ("error in hpread_type_translate\n.");
|
||
return FT_VOID;
|
||
}
|
||
|
||
switch (typep.dntti.type)
|
||
{
|
||
case HP_TYPE_BOOLEAN:
|
||
case HP_TYPE_BOOLEAN_S300_COMPAT:
|
||
case HP_TYPE_BOOLEAN_VAX_COMPAT:
|
||
return FT_BOOLEAN;
|
||
case HP_TYPE_CHAR: /* C signed char, C++ plain char */
|
||
|
||
case HP_TYPE_WIDE_CHAR:
|
||
return FT_CHAR;
|
||
case HP_TYPE_INT:
|
||
if (typep.dntti.bitlength <= 8)
|
||
return FT_SIGNED_CHAR; /* C++ signed char */
|
||
if (typep.dntti.bitlength <= 16)
|
||
return FT_SHORT;
|
||
if (typep.dntti.bitlength <= 32)
|
||
return FT_INTEGER;
|
||
return FT_LONG_LONG;
|
||
case HP_TYPE_LONG:
|
||
if (typep.dntti.bitlength <= 8)
|
||
return FT_SIGNED_CHAR; /* C++ signed char. */
|
||
return FT_LONG;
|
||
case HP_TYPE_UNSIGNED_LONG:
|
||
if (typep.dntti.bitlength <= 8)
|
||
return FT_UNSIGNED_CHAR; /* C/C++ unsigned char */
|
||
if (typep.dntti.bitlength <= 16)
|
||
return FT_UNSIGNED_SHORT;
|
||
if (typep.dntti.bitlength <= 32)
|
||
return FT_UNSIGNED_LONG;
|
||
return FT_UNSIGNED_LONG_LONG;
|
||
case HP_TYPE_UNSIGNED_INT:
|
||
if (typep.dntti.bitlength <= 8)
|
||
return FT_UNSIGNED_CHAR;
|
||
if (typep.dntti.bitlength <= 16)
|
||
return FT_UNSIGNED_SHORT;
|
||
if (typep.dntti.bitlength <= 32)
|
||
return FT_UNSIGNED_INTEGER;
|
||
return FT_UNSIGNED_LONG_LONG;
|
||
case HP_TYPE_REAL:
|
||
case HP_TYPE_REAL_3000:
|
||
case HP_TYPE_DOUBLE:
|
||
if (typep.dntti.bitlength == 64)
|
||
return FT_DBL_PREC_FLOAT;
|
||
if (typep.dntti.bitlength == 128)
|
||
return FT_EXT_PREC_FLOAT;
|
||
return FT_FLOAT;
|
||
case HP_TYPE_COMPLEX:
|
||
case HP_TYPE_COMPLEXS3000:
|
||
if (typep.dntti.bitlength == 128)
|
||
return FT_DBL_PREC_COMPLEX;
|
||
if (typep.dntti.bitlength == 192)
|
||
return FT_EXT_PREC_COMPLEX;
|
||
return FT_COMPLEX;
|
||
case HP_TYPE_VOID:
|
||
return FT_VOID;
|
||
case HP_TYPE_STRING200:
|
||
case HP_TYPE_LONGSTRING200:
|
||
case HP_TYPE_FTN_STRING_SPEC:
|
||
case HP_TYPE_MOD_STRING_SPEC:
|
||
case HP_TYPE_MOD_STRING_3000:
|
||
case HP_TYPE_FTN_STRING_S300_COMPAT:
|
||
case HP_TYPE_FTN_STRING_VAX_COMPAT:
|
||
return FT_STRING;
|
||
case HP_TYPE_TEMPLATE_ARG:
|
||
return FT_TEMPLATE_ARG;
|
||
case HP_TYPE_TEXT:
|
||
case HP_TYPE_FLABEL:
|
||
case HP_TYPE_PACKED_DECIMAL:
|
||
case HP_TYPE_ANYPOINTER:
|
||
case HP_TYPE_GLOBAL_ANYPOINTER:
|
||
case HP_TYPE_LOCAL_ANYPOINTER:
|
||
default:
|
||
warning ("hpread_type_translate: unhandled type code.\n");
|
||
return FT_VOID;
|
||
}
|
||
}
|
||
|
||
/* Given a position in the DNTT, return a pointer to the
|
||
* already-built "struct type" (if any), for the type defined
|
||
* at that position.
|
||
*/
|
||
|
||
static struct type **
|
||
hpread_lookup_type (dnttpointer hp_type, struct objfile *objfile)
|
||
{
|
||
unsigned old_len;
|
||
int index = hp_type.dnttp.index;
|
||
int size_changed = 0;
|
||
|
||
/* The immediate flag indicates this doesn't actually point to
|
||
* a type DNTT.
|
||
*/
|
||
if (hp_type.dntti.immediate)
|
||
return NULL;
|
||
|
||
/* For each objfile, we maintain a "type vector".
|
||
* This an array of "struct type *"'s with one pointer per DNTT index.
|
||
* Given a DNTT index, we look in this array to see if we have
|
||
* already processed this DNTT and if it is a type definition.
|
||
* If so, then we can locate a pointer to the already-built
|
||
* "struct type", and not build it again.
|
||
*
|
||
* The need for this arises because our DNTT-walking code wanders
|
||
* around. In particular, it will encounter the same type multiple
|
||
* times (once for each object of that type). We don't want to
|
||
* built multiple "struct type"'s for the same thing.
|
||
*
|
||
* Having said this, I should point out that this type-vector is
|
||
* an expensive way to keep track of this. If most DNTT entries are
|
||
* 3 words, the type-vector will be 1/3 the size of the DNTT itself.
|
||
* Alternative solutions:
|
||
* - Keep a compressed or hashed table. Less memory, but more expensive
|
||
* to search and update.
|
||
* - (Suggested by JB): Overwrite the DNTT entry itself
|
||
* with the info. Create a new type code "ALREADY_BUILT", and modify
|
||
* the DNTT to have that type code and point to the already-built entry.
|
||
* -RT
|
||
*/
|
||
|
||
if (index < LNTT_SYMCOUNT (objfile))
|
||
{
|
||
if (index >= TYPE_VECTOR_LENGTH (objfile))
|
||
{
|
||
old_len = TYPE_VECTOR_LENGTH (objfile);
|
||
|
||
/* See if we need to allocate a type-vector. */
|
||
if (old_len == 0)
|
||
{
|
||
TYPE_VECTOR_LENGTH (objfile) = LNTT_SYMCOUNT (objfile) + GNTT_SYMCOUNT (objfile);
|
||
TYPE_VECTOR (objfile) = (struct type **)
|
||
xmmalloc (objfile->md, TYPE_VECTOR_LENGTH (objfile) * sizeof (struct type *));
|
||
memset (&TYPE_VECTOR (objfile)[old_len], 0,
|
||
(TYPE_VECTOR_LENGTH (objfile) - old_len) *
|
||
sizeof (struct type *));
|
||
}
|
||
|
||
/* See if we need to resize type-vector. With my change to
|
||
* initially allocate a correct-size type-vector, this code
|
||
* should no longer trigger.
|
||
*/
|
||
while (index >= TYPE_VECTOR_LENGTH (objfile))
|
||
{
|
||
TYPE_VECTOR_LENGTH (objfile) *= 2;
|
||
size_changed = 1;
|
||
}
|
||
if (size_changed)
|
||
{
|
||
TYPE_VECTOR (objfile) = (struct type **)
|
||
xmrealloc (objfile->md,
|
||
(char *) TYPE_VECTOR (objfile),
|
||
(TYPE_VECTOR_LENGTH (objfile) * sizeof (struct type *)));
|
||
|
||
memset (&TYPE_VECTOR (objfile)[old_len], 0,
|
||
(TYPE_VECTOR_LENGTH (objfile) - old_len) *
|
||
sizeof (struct type *));
|
||
}
|
||
|
||
}
|
||
return &TYPE_VECTOR (objfile)[index];
|
||
}
|
||
else
|
||
return NULL;
|
||
}
|
||
|
||
/* Possibly allocate a GDB internal type so we can internalize HP_TYPE.
|
||
Note we'll just return the address of a GDB internal type if we already
|
||
have it lying around. */
|
||
|
||
static struct type *
|
||
hpread_alloc_type (dnttpointer hp_type, struct objfile *objfile)
|
||
{
|
||
struct type **type_addr;
|
||
|
||
type_addr = hpread_lookup_type (hp_type, objfile);
|
||
if (*type_addr == 0)
|
||
{
|
||
*type_addr = alloc_type (objfile);
|
||
|
||
/* A hack - if we really are a C++ class symbol, then this default
|
||
* will get overriden later on.
|
||
*/
|
||
TYPE_CPLUS_SPECIFIC (*type_addr)
|
||
= (struct cplus_struct_type *) &cplus_struct_default;
|
||
}
|
||
|
||
return *type_addr;
|
||
}
|
||
|
||
/* Read a native enumerated type and return it in GDB internal form. */
|
||
|
||
static struct type *
|
||
hpread_read_enum_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile)
|
||
{
|
||
struct type *type;
|
||
struct pending **symlist, *osyms, *syms;
|
||
struct pending *local_list = NULL;
|
||
int o_nsyms, nsyms = 0;
|
||
dnttpointer mem;
|
||
union dnttentry *memp;
|
||
char *name;
|
||
long n;
|
||
struct symbol *sym;
|
||
|
||
/* Allocate a GDB type. If we've already read in this enum type,
|
||
* it'll return the already built GDB type, so stop here.
|
||
* (Note: I added this check, to conform with what's done for
|
||
* struct, union, class.
|
||
* I assume this is OK. - RT)
|
||
*/
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if (TYPE_CODE (type) == TYPE_CODE_ENUM)
|
||
return type;
|
||
|
||
/* HP C supports "sized enums", where a specifier such as "short" or
|
||
"char" can be used to get enums of different sizes. So don't assume
|
||
an enum is always 4 bytes long. pai/1997-08-21 */
|
||
TYPE_LENGTH (type) = dn_bufp->denum.bitlength / 8;
|
||
|
||
symlist = &file_symbols;
|
||
osyms = *symlist;
|
||
o_nsyms = osyms ? osyms->nsyms : 0;
|
||
|
||
/* Get a name for each member and add it to our list of members.
|
||
* The list of "mem" SOM records we are walking should all be
|
||
* SOM type DNTT_TYPE_MEMENUM (not checked).
|
||
*/
|
||
mem = dn_bufp->denum.firstmem;
|
||
while (mem.word && mem.word != DNTTNIL)
|
||
{
|
||
memp = hpread_get_lntt (mem.dnttp.index, objfile);
|
||
|
||
name = VT (objfile) + memp->dmember.name;
|
||
sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
|
||
sizeof (struct symbol));
|
||
memset (sym, 0, sizeof (struct symbol));
|
||
SYMBOL_NAME (sym) = obsavestring (name, strlen (name),
|
||
&objfile->symbol_obstack);
|
||
SYMBOL_CLASS (sym) = LOC_CONST;
|
||
SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
|
||
SYMBOL_VALUE (sym) = memp->dmember.value;
|
||
add_symbol_to_list (sym, symlist);
|
||
nsyms++;
|
||
mem = memp->dmember.nextmem;
|
||
}
|
||
|
||
/* Now that we know more about the enum, fill in more info. */
|
||
TYPE_CODE (type) = TYPE_CODE_ENUM;
|
||
TYPE_FLAGS (type) &= ~TYPE_FLAG_STUB;
|
||
TYPE_NFIELDS (type) = nsyms;
|
||
TYPE_FIELDS (type) = (struct field *)
|
||
obstack_alloc (&objfile->type_obstack, sizeof (struct field) * nsyms);
|
||
|
||
/* Find the symbols for the members and put them into the type.
|
||
The symbols can be found in the symlist that we put them on
|
||
to cause them to be defined. osyms contains the old value
|
||
of that symlist; everything up to there was defined by us.
|
||
|
||
Note that we preserve the order of the enum constants, so
|
||
that in something like "enum {FOO, LAST_THING=FOO}" we print
|
||
FOO, not LAST_THING. */
|
||
for (syms = *symlist, n = 0; syms; syms = syms->next)
|
||
{
|
||
int j = 0;
|
||
if (syms == osyms)
|
||
j = o_nsyms;
|
||
for (; j < syms->nsyms; j++, n++)
|
||
{
|
||
struct symbol *xsym = syms->symbol[j];
|
||
SYMBOL_TYPE (xsym) = type;
|
||
TYPE_FIELD_NAME (type, n) = SYMBOL_NAME (xsym);
|
||
TYPE_FIELD_BITPOS (type, n) = SYMBOL_VALUE (xsym);
|
||
TYPE_FIELD_BITSIZE (type, n) = 0;
|
||
}
|
||
if (syms == osyms)
|
||
break;
|
||
}
|
||
|
||
return type;
|
||
}
|
||
|
||
/* Read and internalize a native function debug symbol. */
|
||
|
||
static struct type *
|
||
hpread_read_function_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile, int newblock)
|
||
{
|
||
struct type *type, *type1;
|
||
struct pending *syms;
|
||
struct pending *local_list = NULL;
|
||
int nsyms = 0;
|
||
dnttpointer param;
|
||
union dnttentry *paramp;
|
||
char *name;
|
||
long n;
|
||
struct symbol *sym;
|
||
int record_args = 1;
|
||
|
||
/* See if we've already read in this type. */
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if (TYPE_CODE (type) == TYPE_CODE_FUNC)
|
||
{
|
||
record_args = 0; /* already read in, don't modify type */
|
||
}
|
||
else
|
||
{
|
||
/* Nope, so read it in and store it away. */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_FUNCTION ||
|
||
dn_bufp->dblock.kind == DNTT_TYPE_MEMFUNC)
|
||
type1 = lookup_function_type (hpread_type_lookup (dn_bufp->dfunc.retval,
|
||
objfile));
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_FUNCTYPE)
|
||
type1 = lookup_function_type (hpread_type_lookup (dn_bufp->dfunctype.retval,
|
||
objfile));
|
||
else /* expect DNTT_TYPE_FUNC_TEMPLATE */
|
||
type1 = lookup_function_type (hpread_type_lookup (dn_bufp->dfunc_template.retval,
|
||
objfile));
|
||
memcpy ((char *) type, (char *) type1, sizeof (struct type));
|
||
|
||
/* Mark it -- in the middle of processing */
|
||
TYPE_FLAGS (type) |= TYPE_FLAG_INCOMPLETE;
|
||
}
|
||
|
||
/* Now examine each parameter noting its type, location, and a
|
||
wealth of other information. */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_FUNCTION ||
|
||
dn_bufp->dblock.kind == DNTT_TYPE_MEMFUNC)
|
||
param = dn_bufp->dfunc.firstparam;
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_FUNCTYPE)
|
||
param = dn_bufp->dfunctype.firstparam;
|
||
else /* expect DNTT_TYPE_FUNC_TEMPLATE */
|
||
param = dn_bufp->dfunc_template.firstparam;
|
||
while (param.word && param.word != DNTTNIL)
|
||
{
|
||
paramp = hpread_get_lntt (param.dnttp.index, objfile);
|
||
nsyms++;
|
||
param = paramp->dfparam.nextparam;
|
||
|
||
/* Get the name. */
|
||
name = VT (objfile) + paramp->dfparam.name;
|
||
sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
|
||
sizeof (struct symbol));
|
||
(void) memset (sym, 0, sizeof (struct symbol));
|
||
SYMBOL_NAME (sym) = obsavestring (name, strlen (name),
|
||
&objfile->symbol_obstack);
|
||
|
||
/* Figure out where it lives. */
|
||
if (paramp->dfparam.regparam)
|
||
SYMBOL_CLASS (sym) = LOC_REGPARM;
|
||
else if (paramp->dfparam.indirect)
|
||
SYMBOL_CLASS (sym) = LOC_REF_ARG;
|
||
else
|
||
SYMBOL_CLASS (sym) = LOC_ARG;
|
||
SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
|
||
if (paramp->dfparam.copyparam)
|
||
{
|
||
SYMBOL_VALUE (sym) = paramp->dfparam.location;
|
||
#ifdef HPREAD_ADJUST_STACK_ADDRESS
|
||
SYMBOL_VALUE (sym)
|
||
+= HPREAD_ADJUST_STACK_ADDRESS (CURRENT_FUNCTION_VALUE (objfile));
|
||
#endif
|
||
/* This is likely a pass-by-invisible reference parameter,
|
||
Hack on the symbol class to make GDB happy. */
|
||
/* ??rehrauer: This appears to be broken w/r/t to passing
|
||
C values of type float and struct. Perhaps this ought
|
||
to be highighted as a special case, but for now, just
|
||
allowing these to be LOC_ARGs seems to work fine.
|
||
*/
|
||
#if 0
|
||
SYMBOL_CLASS (sym) = LOC_REGPARM_ADDR;
|
||
#endif
|
||
}
|
||
else
|
||
SYMBOL_VALUE (sym) = paramp->dfparam.location;
|
||
|
||
/* Get its type. */
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (paramp->dfparam.type, objfile);
|
||
/* Add it to the symbol list. */
|
||
/* Note 1 (RT) At the moment, add_symbol_to_list() is also being
|
||
* called on FPARAM symbols from the process_one_debug_symbol()
|
||
* level... so parameters are getting added twice! (this shows
|
||
* up in the symbol dump you get from "maint print symbols ...").
|
||
* Note 2 (RT) I took out the processing of FPARAM from the
|
||
* process_one_debug_symbol() level, so at the moment parameters are only
|
||
* being processed here. This seems to have no ill effect.
|
||
*/
|
||
/* Note 3 (pai/1997-08-11) I removed the add_symbol_to_list() which put
|
||
each fparam on the local_symbols list from here. Now we use the
|
||
local_list to which fparams are added below, and set the param_symbols
|
||
global to point to that at the end of this routine. */
|
||
/* elz: I added this new list of symbols which is local to the function.
|
||
this list is the one which is actually used to build the type for the
|
||
function rather than the gloabal list pointed to by symlist.
|
||
Using a global list to keep track of the parameters is wrong, because
|
||
this function is called recursively if one parameter happend to be
|
||
a function itself with more parameters in it. Adding parameters to the
|
||
same global symbol list would not work!
|
||
Actually it did work in case of cc compiled programs where you do
|
||
not check the parameter lists of the arguments. */
|
||
add_symbol_to_list (sym, &local_list);
|
||
|
||
}
|
||
|
||
/* If type was read in earlier, don't bother with modifying
|
||
the type struct */
|
||
if (!record_args)
|
||
goto finish;
|
||
|
||
/* Note how many parameters we found. */
|
||
TYPE_NFIELDS (type) = nsyms;
|
||
TYPE_FIELDS (type) = (struct field *)
|
||
obstack_alloc (&objfile->type_obstack,
|
||
sizeof (struct field) * nsyms);
|
||
|
||
/* Find the symbols for the parameters and
|
||
use them to fill parameter-type information into the function-type.
|
||
The parameter symbols can be found in the local_list that we just put them on. */
|
||
/* Note that we preserve the order of the parameters, so
|
||
that in something like "enum {FOO, LAST_THING=FOO}" we print
|
||
FOO, not LAST_THING. */
|
||
|
||
/* get the parameters types from the local list not the global list
|
||
so that the type can be correctly constructed for functions which
|
||
have function as parameters */
|
||
for (syms = local_list, n = 0; syms; syms = syms->next)
|
||
{
|
||
int j = 0;
|
||
for (j = 0; j < syms->nsyms; j++, n++)
|
||
{
|
||
struct symbol *xsym = syms->symbol[j];
|
||
TYPE_FIELD_NAME (type, n) = SYMBOL_NAME (xsym);
|
||
TYPE_FIELD_TYPE (type, n) = SYMBOL_TYPE (xsym);
|
||
TYPE_FIELD_BITPOS (type, n) = n;
|
||
TYPE_FIELD_BITSIZE (type, n) = 0;
|
||
}
|
||
}
|
||
/* Mark it as having been processed */
|
||
TYPE_FLAGS (type) &= ~(TYPE_FLAG_INCOMPLETE);
|
||
|
||
/* Check whether we need to fix-up a class type with this function's type */
|
||
if (fixup_class && (fixup_method == type))
|
||
{
|
||
fixup_class_method_type (fixup_class, fixup_method, objfile);
|
||
fixup_class = NULL;
|
||
fixup_method = NULL;
|
||
}
|
||
|
||
/* Set the param list of this level of the context stack
|
||
to our local list. Do this only if this function was
|
||
called for creating a new block, and not if it was called
|
||
simply to get the function type. This prevents recursive
|
||
invocations from trashing param_symbols. */
|
||
finish:
|
||
if (newblock)
|
||
param_symbols = local_list;
|
||
|
||
return type;
|
||
}
|
||
|
||
|
||
/* Read and internalize a native DOC function debug symbol. */
|
||
/* This is almost identical to hpread_read_function_type(), except
|
||
* for references to dn_bufp->ddocfunc instead of db_bufp->dfunc.
|
||
* Since debug information for DOC functions is more likely to be
|
||
* volatile, please leave it this way.
|
||
*/
|
||
static struct type *
|
||
hpread_read_doc_function_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile, int newblock)
|
||
{
|
||
struct type *type, *type1;
|
||
struct pending *syms;
|
||
struct pending *local_list = NULL;
|
||
int nsyms = 0;
|
||
dnttpointer param;
|
||
union dnttentry *paramp;
|
||
char *name;
|
||
long n;
|
||
struct symbol *sym;
|
||
int record_args = 1;
|
||
|
||
/* See if we've already read in this type. */
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if (TYPE_CODE (type) == TYPE_CODE_FUNC)
|
||
{
|
||
record_args = 0; /* already read in, don't modify type */
|
||
}
|
||
else
|
||
{
|
||
/* Nope, so read it in and store it away. */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_DOC_FUNCTION ||
|
||
dn_bufp->dblock.kind == DNTT_TYPE_DOC_MEMFUNC)
|
||
type1 = lookup_function_type (hpread_type_lookup (dn_bufp->ddocfunc.retval,
|
||
objfile));
|
||
memcpy ((char *) type, (char *) type1, sizeof (struct type));
|
||
|
||
/* Mark it -- in the middle of processing */
|
||
TYPE_FLAGS (type) |= TYPE_FLAG_INCOMPLETE;
|
||
}
|
||
|
||
/* Now examine each parameter noting its type, location, and a
|
||
wealth of other information. */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_DOC_FUNCTION ||
|
||
dn_bufp->dblock.kind == DNTT_TYPE_DOC_MEMFUNC)
|
||
param = dn_bufp->ddocfunc.firstparam;
|
||
while (param.word && param.word != DNTTNIL)
|
||
{
|
||
paramp = hpread_get_lntt (param.dnttp.index, objfile);
|
||
nsyms++;
|
||
param = paramp->dfparam.nextparam;
|
||
|
||
/* Get the name. */
|
||
name = VT (objfile) + paramp->dfparam.name;
|
||
sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
|
||
sizeof (struct symbol));
|
||
(void) memset (sym, 0, sizeof (struct symbol));
|
||
SYMBOL_NAME (sym) = name;
|
||
|
||
/* Figure out where it lives. */
|
||
if (paramp->dfparam.regparam)
|
||
SYMBOL_CLASS (sym) = LOC_REGPARM;
|
||
else if (paramp->dfparam.indirect)
|
||
SYMBOL_CLASS (sym) = LOC_REF_ARG;
|
||
else
|
||
SYMBOL_CLASS (sym) = LOC_ARG;
|
||
SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
|
||
if (paramp->dfparam.copyparam)
|
||
{
|
||
SYMBOL_VALUE (sym) = paramp->dfparam.location;
|
||
#ifdef HPREAD_ADJUST_STACK_ADDRESS
|
||
SYMBOL_VALUE (sym)
|
||
+= HPREAD_ADJUST_STACK_ADDRESS (CURRENT_FUNCTION_VALUE (objfile));
|
||
#endif
|
||
/* This is likely a pass-by-invisible reference parameter,
|
||
Hack on the symbol class to make GDB happy. */
|
||
/* ??rehrauer: This appears to be broken w/r/t to passing
|
||
C values of type float and struct. Perhaps this ought
|
||
to be highighted as a special case, but for now, just
|
||
allowing these to be LOC_ARGs seems to work fine.
|
||
*/
|
||
#if 0
|
||
SYMBOL_CLASS (sym) = LOC_REGPARM_ADDR;
|
||
#endif
|
||
}
|
||
else
|
||
SYMBOL_VALUE (sym) = paramp->dfparam.location;
|
||
|
||
/* Get its type. */
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (paramp->dfparam.type, objfile);
|
||
/* Add it to the symbol list. */
|
||
/* Note 1 (RT) At the moment, add_symbol_to_list() is also being
|
||
* called on FPARAM symbols from the process_one_debug_symbol()
|
||
* level... so parameters are getting added twice! (this shows
|
||
* up in the symbol dump you get from "maint print symbols ...").
|
||
* Note 2 (RT) I took out the processing of FPARAM from the
|
||
* process_one_debug_symbol() level, so at the moment parameters are only
|
||
* being processed here. This seems to have no ill effect.
|
||
*/
|
||
/* Note 3 (pai/1997-08-11) I removed the add_symbol_to_list() which put
|
||
each fparam on the local_symbols list from here. Now we use the
|
||
local_list to which fparams are added below, and set the param_symbols
|
||
global to point to that at the end of this routine. */
|
||
|
||
/* elz: I added this new list of symbols which is local to the function.
|
||
this list is the one which is actually used to build the type for the
|
||
function rather than the gloabal list pointed to by symlist.
|
||
Using a global list to keep track of the parameters is wrong, because
|
||
this function is called recursively if one parameter happend to be
|
||
a function itself with more parameters in it. Adding parameters to the
|
||
same global symbol list would not work!
|
||
Actually it did work in case of cc compiled programs where you do not check the
|
||
parameter lists of the arguments. */
|
||
add_symbol_to_list (sym, &local_list);
|
||
}
|
||
|
||
/* If type was read in earlier, don't bother with modifying
|
||
the type struct */
|
||
if (!record_args)
|
||
goto finish;
|
||
|
||
/* Note how many parameters we found. */
|
||
TYPE_NFIELDS (type) = nsyms;
|
||
TYPE_FIELDS (type) = (struct field *)
|
||
obstack_alloc (&objfile->type_obstack,
|
||
sizeof (struct field) * nsyms);
|
||
|
||
/* Find the symbols for the parameters and
|
||
use them to fill parameter-type information into the function-type.
|
||
The parameter symbols can be found in the local_list that we just put them on. */
|
||
/* Note that we preserve the order of the parameters, so
|
||
that in something like "enum {FOO, LAST_THING=FOO}" we print
|
||
FOO, not LAST_THING. */
|
||
|
||
/* get the parameters types from the local list not the global list
|
||
so that the type can be correctly constructed for functions which
|
||
have function as parameters
|
||
*/
|
||
for (syms = local_list, n = 0; syms; syms = syms->next)
|
||
{
|
||
int j = 0;
|
||
for (j = 0; j < syms->nsyms; j++, n++)
|
||
{
|
||
struct symbol *xsym = syms->symbol[j];
|
||
TYPE_FIELD_NAME (type, n) = SYMBOL_NAME (xsym);
|
||
TYPE_FIELD_TYPE (type, n) = SYMBOL_TYPE (xsym);
|
||
TYPE_FIELD_BITPOS (type, n) = n;
|
||
TYPE_FIELD_BITSIZE (type, n) = 0;
|
||
}
|
||
}
|
||
|
||
/* Mark it as having been processed */
|
||
TYPE_FLAGS (type) &= ~(TYPE_FLAG_INCOMPLETE);
|
||
|
||
/* Check whether we need to fix-up a class type with this function's type */
|
||
if (fixup_class && (fixup_method == type))
|
||
{
|
||
fixup_class_method_type (fixup_class, fixup_method, objfile);
|
||
fixup_class = NULL;
|
||
fixup_method = NULL;
|
||
}
|
||
|
||
/* Set the param list of this level of the context stack
|
||
to our local list. Do this only if this function was
|
||
called for creating a new block, and not if it was called
|
||
simply to get the function type. This prevents recursive
|
||
invocations from trashing param_symbols. */
|
||
finish:
|
||
if (newblock)
|
||
param_symbols = local_list;
|
||
|
||
return type;
|
||
}
|
||
|
||
|
||
|
||
/* A file-level variable which keeps track of the current-template
|
||
* being processed. Set in hpread_read_struct_type() while processing
|
||
* a template type. Referred to in hpread_get_nth_templ_arg().
|
||
* Yes, this is a kludge, but it arises from the kludge that already
|
||
* exists in symtab.h, namely the fact that they encode
|
||
* "template argument n" with fundamental type FT_TEMPLATE_ARG and
|
||
* bitlength n. This means that deep in processing fundamental types
|
||
* I need to ask the question "what template am I in the middle of?".
|
||
* The alternative to stuffing a global would be to pass an argument
|
||
* down the chain of calls just for this purpose.
|
||
*
|
||
* There may be problems handling nested templates... tough.
|
||
*/
|
||
static struct type *current_template = NULL;
|
||
|
||
/* Read in and internalize a structure definition.
|
||
* This same routine is called for struct, union, and class types.
|
||
* Also called for templates, since they build a very similar
|
||
* type entry as for class types.
|
||
*/
|
||
|
||
static struct type *
|
||
hpread_read_struct_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile)
|
||
{
|
||
/* The data members get linked together into a list of struct nextfield's */
|
||
struct nextfield
|
||
{
|
||
struct nextfield *next;
|
||
struct field field;
|
||
unsigned char attributes; /* store visibility and virtuality info */
|
||
#define ATTR_VIRTUAL 1
|
||
#define ATTR_PRIVATE 2
|
||
#define ATTR_PROTECT 3
|
||
};
|
||
|
||
|
||
/* The methods get linked together into a list of struct next_fn_field's */
|
||
struct next_fn_field
|
||
{
|
||
struct next_fn_field *next;
|
||
struct fn_fieldlist field;
|
||
struct fn_field fn_field;
|
||
int num_fn_fields;
|
||
};
|
||
|
||
/* The template args get linked together into a list of struct next_template's */
|
||
struct next_template
|
||
{
|
||
struct next_template *next;
|
||
struct template_arg arg;
|
||
};
|
||
|
||
/* The template instantiations get linked together into a list of these... */
|
||
struct next_instantiation
|
||
{
|
||
struct next_instantiation *next;
|
||
struct type *t;
|
||
};
|
||
|
||
struct type *type;
|
||
struct type *baseclass;
|
||
struct type *memtype;
|
||
struct nextfield *list = 0, *tmp_list = 0;
|
||
struct next_fn_field *fn_list = 0;
|
||
struct next_fn_field *fn_p;
|
||
struct next_template *t_new, *t_list = 0;
|
||
struct nextfield *new;
|
||
struct next_fn_field *fn_new;
|
||
struct next_instantiation *i_new, *i_list = 0;
|
||
int n, nfields = 0, n_fn_fields = 0, n_fn_fields_total = 0;
|
||
int n_base_classes = 0, n_templ_args = 0;
|
||
int ninstantiations = 0;
|
||
dnttpointer field, fn_field, parent;
|
||
union dnttentry *fieldp, *fn_fieldp, *parentp;
|
||
int i;
|
||
int static_member = 0;
|
||
int const_member = 0;
|
||
int volatile_member = 0;
|
||
unsigned long vtbl_offset;
|
||
int need_bitvectors = 0;
|
||
char *method_name = NULL;
|
||
char *method_alias = NULL;
|
||
|
||
|
||
/* Is it something we've already dealt with? */
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if ((TYPE_CODE (type) == TYPE_CODE_STRUCT) ||
|
||
(TYPE_CODE (type) == TYPE_CODE_UNION) ||
|
||
(TYPE_CODE (type) == TYPE_CODE_CLASS) ||
|
||
(TYPE_CODE (type) == TYPE_CODE_TEMPLATE))
|
||
return type;
|
||
|
||
/* Get the basic type correct. */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_STRUCT)
|
||
{
|
||
TYPE_CODE (type) = TYPE_CODE_STRUCT;
|
||
TYPE_LENGTH (type) = dn_bufp->dstruct.bitlength / 8;
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_UNION)
|
||
{
|
||
TYPE_CODE (type) = TYPE_CODE_UNION;
|
||
TYPE_LENGTH (type) = dn_bufp->dunion.bitlength / 8;
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_CLASS)
|
||
{
|
||
TYPE_CODE (type) = TYPE_CODE_CLASS;
|
||
TYPE_LENGTH (type) = dn_bufp->dclass.bitlength / 8;
|
||
|
||
/* Overrides the TYPE_CPLUS_SPECIFIC(type) with allocated memory
|
||
* rather than &cplus_struct_default.
|
||
*/
|
||
allocate_cplus_struct_type (type);
|
||
|
||
/* Fill in declared-type.
|
||
* (The C++ compiler will emit TYPE_CODE_CLASS
|
||
* for all 3 of "class", "struct"
|
||
* "union", and we have to look at the "class_decl" field if we
|
||
* want to know how it was really declared)
|
||
*/
|
||
/* (0==class, 1==union, 2==struct) */
|
||
TYPE_DECLARED_TYPE (type) = dn_bufp->dclass.class_decl;
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_TEMPLATE)
|
||
{
|
||
/* Get the basic type correct. */
|
||
TYPE_CODE (type) = TYPE_CODE_TEMPLATE;
|
||
allocate_cplus_struct_type (type);
|
||
TYPE_DECLARED_TYPE (type) = DECLARED_TYPE_TEMPLATE;
|
||
}
|
||
else
|
||
return type;
|
||
|
||
|
||
TYPE_FLAGS (type) &= ~TYPE_FLAG_STUB;
|
||
|
||
/* For classes, read the parent list.
|
||
* Question (RT): Do we need to do this for templates also?
|
||
*/
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_CLASS)
|
||
{
|
||
|
||
/* First read the parent-list (classes from which we derive fields) */
|
||
parent = dn_bufp->dclass.parentlist;
|
||
while (parent.word && parent.word != DNTTNIL)
|
||
{
|
||
parentp = hpread_get_lntt (parent.dnttp.index, objfile);
|
||
|
||
/* "parentp" should point to a DNTT_TYPE_INHERITANCE record */
|
||
|
||
/* Get space to record the next field/data-member. */
|
||
new = (struct nextfield *) alloca (sizeof (struct nextfield));
|
||
new->next = list;
|
||
list = new;
|
||
|
||
FIELD_BITSIZE (list->field) = 0;
|
||
|
||
/* The "classname" field is actually a DNTT pointer to the base class */
|
||
baseclass = hpread_type_lookup (parentp->dinheritance.classname,
|
||
objfile);
|
||
FIELD_TYPE (list->field) = baseclass;
|
||
|
||
list->field.name = type_name_no_tag (FIELD_TYPE (list->field));
|
||
|
||
list->attributes = 0;
|
||
|
||
/* Check for virtuality of base, and set the
|
||
* offset of the base subobject within the object.
|
||
* (Offset set to -1 for virtual bases (for now).)
|
||
*/
|
||
if (parentp->dinheritance.Virtual)
|
||
{
|
||
B_SET (&(list->attributes), ATTR_VIRTUAL);
|
||
parentp->dinheritance.offset = -1;
|
||
}
|
||
else
|
||
FIELD_BITPOS (list->field) = parentp->dinheritance.offset;
|
||
|
||
/* Check visibility */
|
||
switch (parentp->dinheritance.visibility)
|
||
{
|
||
case 1:
|
||
B_SET (&(list->attributes), ATTR_PROTECT);
|
||
break;
|
||
case 2:
|
||
B_SET (&(list->attributes), ATTR_PRIVATE);
|
||
break;
|
||
}
|
||
|
||
n_base_classes++;
|
||
nfields++;
|
||
|
||
parent = parentp->dinheritance.next;
|
||
}
|
||
}
|
||
|
||
/* For templates, read the template argument list.
|
||
* This must be done before processing the member list, because
|
||
* the member list may refer back to this. E.g.:
|
||
* template <class T1, class T2> class q2 {
|
||
* public:
|
||
* T1 a;
|
||
* T2 b;
|
||
* };
|
||
* We need to read the argument list "T1", "T2" first.
|
||
*/
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_TEMPLATE)
|
||
{
|
||
/* Kludge alert: This stuffs a global "current_template" which
|
||
* is referred to by hpread_get_nth_templ_arg(). The global
|
||
* is cleared at the end of this routine.
|
||
*/
|
||
current_template = type;
|
||
|
||
/* Read in the argument list */
|
||
field = dn_bufp->dtemplate.arglist;
|
||
while (field.word && field.word != DNTTNIL)
|
||
{
|
||
/* Get this template argument */
|
||
fieldp = hpread_get_lntt (field.dnttp.index, objfile);
|
||
if (fieldp->dblock.kind != DNTT_TYPE_TEMPLATE_ARG)
|
||
{
|
||
warning ("Invalid debug info: Template argument entry is of wrong kind");
|
||
break;
|
||
}
|
||
/* Bump the count */
|
||
n_templ_args++;
|
||
/* Allocate and fill in a struct next_template */
|
||
t_new = (struct next_template *) alloca (sizeof (struct next_template));
|
||
t_new->next = t_list;
|
||
t_list = t_new;
|
||
t_list->arg.name = VT (objfile) + fieldp->dtempl_arg.name;
|
||
t_list->arg.type = hpread_read_templ_arg_type (field, fieldp,
|
||
objfile, t_list->arg.name);
|
||
/* Walk to the next template argument */
|
||
field = fieldp->dtempl_arg.nextarg;
|
||
}
|
||
}
|
||
|
||
TYPE_NTEMPLATE_ARGS (type) = n_templ_args;
|
||
|
||
if (n_templ_args > 0)
|
||
TYPE_TEMPLATE_ARGS (type) = (struct template_arg *)
|
||
obstack_alloc (&objfile->type_obstack, sizeof (struct template_arg) * n_templ_args);
|
||
for (n = n_templ_args; t_list; t_list = t_list->next)
|
||
{
|
||
n -= 1;
|
||
TYPE_TEMPLATE_ARG (type, n) = t_list->arg;
|
||
}
|
||
|
||
/* Next read in and internalize all the fields/members. */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_STRUCT)
|
||
field = dn_bufp->dstruct.firstfield;
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_UNION)
|
||
field = dn_bufp->dunion.firstfield;
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_CLASS)
|
||
field = dn_bufp->dclass.memberlist;
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_TEMPLATE)
|
||
field = dn_bufp->dtemplate.memberlist;
|
||
else
|
||
field.word = DNTTNIL;
|
||
|
||
while (field.word && field.word != DNTTNIL)
|
||
{
|
||
fieldp = hpread_get_lntt (field.dnttp.index, objfile);
|
||
|
||
/* At this point "fieldp" may point to either a DNTT_TYPE_FIELD
|
||
* or a DNTT_TYPE_GENFIELD record.
|
||
*/
|
||
vtbl_offset = 0;
|
||
static_member = 0;
|
||
const_member = 0;
|
||
volatile_member = 0;
|
||
|
||
if (fieldp->dblock.kind == DNTT_TYPE_GENFIELD)
|
||
{
|
||
|
||
/* The type will be GENFIELD if the field is a method or
|
||
* a static member (or some other cases -- see below)
|
||
*/
|
||
|
||
/* Follow a link to get to the record for the field. */
|
||
fn_field = fieldp->dgenfield.field;
|
||
fn_fieldp = hpread_get_lntt (fn_field.dnttp.index, objfile);
|
||
|
||
/* Virtual funcs are indicated by a VFUNC which points to the
|
||
* real entry
|
||
*/
|
||
if (fn_fieldp->dblock.kind == DNTT_TYPE_VFUNC)
|
||
{
|
||
vtbl_offset = fn_fieldp->dvfunc.vtbl_offset;
|
||
fn_field = fn_fieldp->dvfunc.funcptr;
|
||
fn_fieldp = hpread_get_lntt (fn_field.dnttp.index, objfile);
|
||
}
|
||
|
||
/* A function's entry may be preceded by a modifier which
|
||
* labels it static/constant/volatile.
|
||
*/
|
||
if (fn_fieldp->dblock.kind == DNTT_TYPE_MODIFIER)
|
||
{
|
||
static_member = fn_fieldp->dmodifier.m_static;
|
||
const_member = fn_fieldp->dmodifier.m_const;
|
||
volatile_member = fn_fieldp->dmodifier.m_volatile;
|
||
fn_field = fn_fieldp->dmodifier.type;
|
||
fn_fieldp = hpread_get_lntt (fn_field.dnttp.index, objfile);
|
||
}
|
||
|
||
/* Check whether we have a method */
|
||
if ((fn_fieldp->dblock.kind == DNTT_TYPE_MEMFUNC) ||
|
||
(fn_fieldp->dblock.kind == DNTT_TYPE_FUNCTION) ||
|
||
(fn_fieldp->dblock.kind == DNTT_TYPE_DOC_MEMFUNC) ||
|
||
(fn_fieldp->dblock.kind == DNTT_TYPE_DOC_FUNCTION))
|
||
{
|
||
/* Method found */
|
||
|
||
short ix = 0;
|
||
|
||
/* Look up function type of method */
|
||
memtype = hpread_type_lookup (fn_field, objfile);
|
||
|
||
/* Methods can be seen before classes in the SOM records.
|
||
If we are processing this class because it's a parameter of a
|
||
method, at this point the method's type is actually incomplete;
|
||
we'll have to fix it up later; mark the class for this. */
|
||
|
||
if (TYPE_INCOMPLETE (memtype))
|
||
{
|
||
TYPE_FLAGS (type) |= TYPE_FLAG_INCOMPLETE;
|
||
if (fixup_class)
|
||
warning ("Two classes to fix up for method?? Type information may be incorrect for some classes.");
|
||
if (fixup_method)
|
||
warning ("Two methods to be fixed up at once?? Type information may be incorrect for some classes.");
|
||
fixup_class = type; /* remember this class has to be fixed up */
|
||
fixup_method = memtype; /* remember the method type to be used in fixup */
|
||
}
|
||
|
||
/* HP aCC generates operator names without the "operator" keyword, and
|
||
generates null strings as names for operators that are
|
||
user-defined type conversions to basic types (e.g. operator int ()).
|
||
So try to reconstruct name as best as possible. */
|
||
|
||
method_name = (char *) (VT (objfile) + fn_fieldp->dfunc.name);
|
||
method_alias = (char *) (VT (objfile) + fn_fieldp->dfunc.alias);
|
||
|
||
if (!method_name || /* no name */
|
||
!*method_name || /* or null name */
|
||
cplus_mangle_opname (method_name, DMGL_ANSI)) /* or name is an operator like "<" */
|
||
{
|
||
char *tmp_name = cplus_demangle (method_alias, DMGL_ANSI);
|
||
char *op_string = strstr (tmp_name, "operator");
|
||
method_name = xmalloc (strlen (op_string) + 1); /* don't overwrite VT! */
|
||
strcpy (method_name, op_string);
|
||
}
|
||
|
||
/* First check if a method of the same name has already been seen. */
|
||
fn_p = fn_list;
|
||
while (fn_p)
|
||
{
|
||
if (STREQ (fn_p->field.name, method_name))
|
||
break;
|
||
fn_p = fn_p->next;
|
||
}
|
||
|
||
/* If no such method was found, allocate a new entry in the list */
|
||
if (!fn_p)
|
||
{
|
||
/* Get space to record this member function */
|
||
/* Note: alloca used; this will disappear on routine exit */
|
||
fn_new = (struct next_fn_field *) alloca (sizeof (struct next_fn_field));
|
||
fn_new->next = fn_list;
|
||
fn_list = fn_new;
|
||
|
||
/* Fill in the fields of the struct nextfield */
|
||
|
||
/* Record the (unmangled) method name */
|
||
fn_list->field.name = method_name;
|
||
/* Initial space for overloaded methods */
|
||
/* Note: xmalloc is used; this will persist after this routine exits */
|
||
fn_list->field.fn_fields = (struct fn_field *) xmalloc (5 * (sizeof (struct fn_field)));
|
||
fn_list->field.length = 1; /* Init # of overloaded instances */
|
||
fn_list->num_fn_fields = 5; /* # of entries for which space allocated */
|
||
fn_p = fn_list;
|
||
ix = 0; /* array index for fn_field */
|
||
/* Bump the total count of the distinctly named methods */
|
||
n_fn_fields++;
|
||
}
|
||
else
|
||
/* Another overloaded instance of an already seen method name */
|
||
{
|
||
if (++(fn_p->field.length) > fn_p->num_fn_fields)
|
||
{
|
||
/* Increase space allocated for overloaded instances */
|
||
fn_p->field.fn_fields
|
||
= (struct fn_field *) xrealloc (fn_p->field.fn_fields,
|
||
(fn_p->num_fn_fields + 5) * sizeof (struct fn_field));
|
||
fn_p->num_fn_fields += 5;
|
||
}
|
||
ix = fn_p->field.length - 1; /* array index for fn_field */
|
||
}
|
||
|
||
/* "physname" is intended to be the name of this overloaded instance. */
|
||
if ((fn_fieldp->dfunc.language == HP_LANGUAGE_CPLUSPLUS) &&
|
||
method_alias &&
|
||
*method_alias) /* not a null string */
|
||
fn_p->field.fn_fields[ix].physname = method_alias;
|
||
else
|
||
fn_p->field.fn_fields[ix].physname = method_name;
|
||
/* What's expected here is the function type */
|
||
/* But mark it as NULL if the method was incompletely processed
|
||
We'll fix this up later when the method is fully processed */
|
||
if (TYPE_INCOMPLETE (memtype))
|
||
{
|
||
fn_p->field.fn_fields[ix].type = NULL;
|
||
fn_p->field.fn_fields[ix].args = NULL;
|
||
}
|
||
else
|
||
{
|
||
fn_p->field.fn_fields[ix].type = memtype;
|
||
|
||
/* The argument list */
|
||
fn_p->field.fn_fields[ix].type->type_specific.arg_types =
|
||
(struct type **) obstack_alloc (&objfile->type_obstack,
|
||
sizeof (struct type *) * (memtype->nfields + 1));
|
||
for (i = 0; i < memtype->nfields; i++)
|
||
fn_p->field.fn_fields[ix].type->type_specific.arg_types[i] = memtype->fields[i].type;
|
||
/* void termination */
|
||
fn_p->field.fn_fields[ix].type->type_specific.arg_types[memtype->nfields] = builtin_type_void;
|
||
|
||
/* pai: It's not clear why this args field has to be set. Perhaps
|
||
* it should be eliminated entirely. */
|
||
fn_p->field.fn_fields[ix].args =
|
||
(struct type **) obstack_alloc (&objfile->type_obstack,
|
||
sizeof (struct type *) * (memtype->nfields + 1));
|
||
for (i = 0; i < memtype->nfields; i++)
|
||
fn_p->field.fn_fields[ix].args[i] = memtype->fields[i].type;
|
||
/* null-terminated, unlike arg_types above e */
|
||
fn_p->field.fn_fields[ix].args[memtype->nfields] = NULL;
|
||
}
|
||
/* For virtual functions, fill in the voffset field with the
|
||
* virtual table offset. (This is just copied over from the
|
||
* SOM record; not sure if it is what GDB expects here...).
|
||
* But if the function is a static method, set it to 1.
|
||
*
|
||
* Note that we have to add 1 because 1 indicates a static
|
||
* method, and 0 indicates a non-static, non-virtual method */
|
||
|
||
if (static_member)
|
||
fn_p->field.fn_fields[ix].voffset = VOFFSET_STATIC;
|
||
else
|
||
fn_p->field.fn_fields[ix].voffset = vtbl_offset ? vtbl_offset + 1 : 0;
|
||
|
||
/* Also fill in the fcontext field with the current
|
||
* class. (The latter isn't quite right: should be the baseclass
|
||
* that defines the virtual function... Note we do have
|
||
* a variable "baseclass" that we could stuff into the fcontext
|
||
* field, but "baseclass" isn't necessarily right either,
|
||
* since the virtual function could have been defined more
|
||
* than one level up).
|
||
*/
|
||
|
||
if (vtbl_offset != 0)
|
||
fn_p->field.fn_fields[ix].fcontext = type;
|
||
else
|
||
fn_p->field.fn_fields[ix].fcontext = NULL;
|
||
|
||
/* Other random fields pertaining to this method */
|
||
fn_p->field.fn_fields[ix].is_const = const_member;
|
||
fn_p->field.fn_fields[ix].is_volatile = volatile_member; /* ?? */
|
||
switch (fieldp->dgenfield.visibility)
|
||
{
|
||
case 1:
|
||
fn_p->field.fn_fields[ix].is_protected = 1;
|
||
fn_p->field.fn_fields[ix].is_private = 0;
|
||
break;
|
||
case 2:
|
||
fn_p->field.fn_fields[ix].is_protected = 0;
|
||
fn_p->field.fn_fields[ix].is_private = 1;
|
||
break;
|
||
default: /* public */
|
||
fn_p->field.fn_fields[ix].is_protected = 0;
|
||
fn_p->field.fn_fields[ix].is_private = 0;
|
||
}
|
||
fn_p->field.fn_fields[ix].is_stub = 0;
|
||
|
||
/* HP aCC emits both MEMFUNC and FUNCTION entries for a method;
|
||
if the class points to the FUNCTION, there is usually separate
|
||
code for the method; but if we have a MEMFUNC, the method has
|
||
been inlined (and there is usually no FUNCTION entry)
|
||
FIXME Not sure if this test is accurate. pai/1997-08-22 */
|
||
if ((fn_fieldp->dblock.kind == DNTT_TYPE_MEMFUNC) ||
|
||
(fn_fieldp->dblock.kind == DNTT_TYPE_DOC_MEMFUNC))
|
||
fn_p->field.fn_fields[ix].is_inlined = 1;
|
||
else
|
||
fn_p->field.fn_fields[ix].is_inlined = 0;
|
||
|
||
fn_p->field.fn_fields[ix].dummy = 0;
|
||
|
||
/* Bump the total count of the member functions */
|
||
n_fn_fields_total++;
|
||
|
||
}
|
||
else if (fn_fieldp->dblock.kind == DNTT_TYPE_SVAR)
|
||
{
|
||
/* This case is for static data members of classes */
|
||
|
||
/* pai:: FIXME -- check that "staticmem" bit is set */
|
||
|
||
/* Get space to record this static member */
|
||
new = (struct nextfield *) alloca (sizeof (struct nextfield));
|
||
new->next = list;
|
||
list = new;
|
||
|
||
list->field.name = VT (objfile) + fn_fieldp->dsvar.name;
|
||
FIELD_BITSIZE (list->field) = -1; /* indicates static member */
|
||
SET_FIELD_PHYSNAME (list->field, 0); /* initialize to empty */
|
||
memtype = hpread_type_lookup (fn_fieldp->dsvar.type, objfile);
|
||
|
||
FIELD_TYPE (list->field) = memtype;
|
||
list->attributes = 0;
|
||
switch (fieldp->dgenfield.visibility)
|
||
{
|
||
case 1:
|
||
B_SET (&(list->attributes), ATTR_PROTECT);
|
||
break;
|
||
case 2:
|
||
B_SET (&(list->attributes), ATTR_PRIVATE);
|
||
break;
|
||
}
|
||
nfields++;
|
||
}
|
||
|
||
else if (fn_fieldp->dblock.kind == DNTT_TYPE_FIELD)
|
||
{
|
||
/* FIELDs follow GENFIELDs for fields of anonymous unions.
|
||
Code below is replicated from the case for FIELDs further
|
||
below, except that fieldp is replaced by fn_fieldp */
|
||
if (!fn_fieldp->dfield.a_union)
|
||
warning ("Debug info inconsistent: FIELD of anonymous union doesn't have a_union bit set");
|
||
/* Get space to record the next field/data-member. */
|
||
new = (struct nextfield *) alloca (sizeof (struct nextfield));
|
||
new->next = list;
|
||
list = new;
|
||
|
||
list->field.name = VT (objfile) + fn_fieldp->dfield.name;
|
||
FIELD_BITPOS (list->field) = fn_fieldp->dfield.bitoffset;
|
||
if (fn_fieldp->dfield.bitlength % 8)
|
||
list->field.bitsize = fn_fieldp->dfield.bitlength;
|
||
else
|
||
list->field.bitsize = 0;
|
||
|
||
memtype = hpread_type_lookup (fn_fieldp->dfield.type, objfile);
|
||
list->field.type = memtype;
|
||
list->attributes = 0;
|
||
switch (fn_fieldp->dfield.visibility)
|
||
{
|
||
case 1:
|
||
B_SET (&(list->attributes), ATTR_PROTECT);
|
||
break;
|
||
case 2:
|
||
B_SET (&(list->attributes), ATTR_PRIVATE);
|
||
break;
|
||
}
|
||
nfields++;
|
||
}
|
||
else if (fn_fieldp->dblock.kind == DNTT_TYPE_SVAR)
|
||
{
|
||
/* Field of anonymous union; union is not inside a class */
|
||
if (!fn_fieldp->dsvar.a_union)
|
||
warning ("Debug info inconsistent: SVAR field in anonymous union doesn't have a_union bit set");
|
||
/* Get space to record the next field/data-member. */
|
||
new = (struct nextfield *) alloca (sizeof (struct nextfield));
|
||
new->next = list;
|
||
list = new;
|
||
|
||
list->field.name = VT (objfile) + fn_fieldp->dsvar.name;
|
||
FIELD_BITPOS (list->field) = 0; /* FIXME is this always true? */
|
||
FIELD_BITSIZE (list->field) = 0; /* use length from type */
|
||
memtype = hpread_type_lookup (fn_fieldp->dsvar.type, objfile);
|
||
list->field.type = memtype;
|
||
list->attributes = 0;
|
||
/* No info to set visibility -- always public */
|
||
nfields++;
|
||
}
|
||
else if (fn_fieldp->dblock.kind == DNTT_TYPE_DVAR)
|
||
{
|
||
/* Field of anonymous union; union is not inside a class */
|
||
if (!fn_fieldp->ddvar.a_union)
|
||
warning ("Debug info inconsistent: DVAR field in anonymous union doesn't have a_union bit set");
|
||
/* Get space to record the next field/data-member. */
|
||
new = (struct nextfield *) alloca (sizeof (struct nextfield));
|
||
new->next = list;
|
||
list = new;
|
||
|
||
list->field.name = VT (objfile) + fn_fieldp->ddvar.name;
|
||
FIELD_BITPOS (list->field) = 0; /* FIXME is this always true? */
|
||
FIELD_BITSIZE (list->field) = 0; /* use length from type */
|
||
memtype = hpread_type_lookup (fn_fieldp->ddvar.type, objfile);
|
||
list->field.type = memtype;
|
||
list->attributes = 0;
|
||
/* No info to set visibility -- always public */
|
||
nfields++;
|
||
}
|
||
else
|
||
{ /* Not a method, nor a static data member, nor an anon union field */
|
||
|
||
/* This case is for miscellaneous type entries (local enums,
|
||
local function templates, etc.) that can be present
|
||
inside a class. */
|
||
|
||
/* Enums -- will be handled by other code that takes care
|
||
of DNTT_TYPE_ENUM; here we see only DNTT_TYPE_MEMENUM so
|
||
it's not clear we could have handled them here at all. */
|
||
/* FUNC_TEMPLATE: is handled by other code (?). */
|
||
/* MEMACCESS: modified access for inherited member. Not
|
||
sure what to do with this, ignoriing it at present. */
|
||
|
||
/* What other entries can appear following a GENFIELD which
|
||
we do not handle above? (MODIFIER, VFUNC handled above.) */
|
||
|
||
if ((fn_fieldp->dblock.kind != DNTT_TYPE_MEMACCESS) &&
|
||
(fn_fieldp->dblock.kind != DNTT_TYPE_MEMENUM) &&
|
||
(fn_fieldp->dblock.kind != DNTT_TYPE_FUNC_TEMPLATE))
|
||
warning ("Internal error: Unexpected debug record kind %d found following DNTT_GENFIELD",
|
||
fn_fieldp->dblock.kind);
|
||
}
|
||
/* walk to the next FIELD or GENFIELD */
|
||
field = fieldp->dgenfield.nextfield;
|
||
|
||
}
|
||
else if (fieldp->dblock.kind == DNTT_TYPE_FIELD)
|
||
{
|
||
|
||
/* Ordinary structure/union/class field */
|
||
struct type *anon_union_type;
|
||
|
||
/* Get space to record the next field/data-member. */
|
||
new = (struct nextfield *) alloca (sizeof (struct nextfield));
|
||
new->next = list;
|
||
list = new;
|
||
|
||
list->field.name = VT (objfile) + fieldp->dfield.name;
|
||
|
||
|
||
/* A FIELD by itself (without a GENFIELD) can also be a static member */
|
||
if (fieldp->dfield.staticmem)
|
||
{
|
||
FIELD_BITPOS (list->field) = -1;
|
||
FIELD_BITSIZE (list->field) = 0;
|
||
}
|
||
else
|
||
/* Non-static data member */
|
||
{
|
||
FIELD_BITPOS (list->field) = fieldp->dfield.bitoffset;
|
||
if (fieldp->dfield.bitlength % 8)
|
||
FIELD_BITSIZE (list->field) = fieldp->dfield.bitlength;
|
||
else
|
||
FIELD_BITSIZE (list->field) = 0;
|
||
}
|
||
|
||
memtype = hpread_type_lookup (fieldp->dfield.type, objfile);
|
||
FIELD_TYPE (list->field) = memtype;
|
||
list->attributes = 0;
|
||
switch (fieldp->dfield.visibility)
|
||
{
|
||
case 1:
|
||
B_SET (&(list->attributes), ATTR_PROTECT);
|
||
break;
|
||
case 2:
|
||
B_SET (&(list->attributes), ATTR_PRIVATE);
|
||
break;
|
||
}
|
||
nfields++;
|
||
|
||
|
||
/* Note 1: First, we have to check if the current field is an anonymous
|
||
union. If it is, then *its* fields are threaded along in the
|
||
nextfield chain. :-( This was supposed to help debuggers, but is
|
||
really just a nuisance since we deal with anonymous unions anyway by
|
||
checking that the name is null. So anyway, we skip over the fields
|
||
of the anonymous union. pai/1997-08-22 */
|
||
/* Note 2: In addition, the bitoffsets for the fields of the anon union
|
||
are relative to the enclosing struct, *NOT* relative to the anon
|
||
union! This is an even bigger nuisance -- we have to go in and munge
|
||
the anon union's type information appropriately. pai/1997-08-22 */
|
||
|
||
/* Both tasks noted above are done by a separate function. This takes us
|
||
to the next FIELD or GENFIELD, skipping anon unions, and recursively
|
||
processing intermediate types. */
|
||
field = hpread_get_next_skip_over_anon_unions (1, field, &fieldp, objfile);
|
||
|
||
}
|
||
else
|
||
{
|
||
/* neither field nor genfield ?? is this possible?? */
|
||
/* pai:: FIXME walk to the next -- how? */
|
||
warning ("Internal error: unexpected DNTT kind %d encountered as field of struct",
|
||
fieldp->dblock.kind);
|
||
warning ("Skipping remaining fields of struct");
|
||
break; /* get out of loop of fields */
|
||
}
|
||
}
|
||
|
||
/* If it's a template, read in the instantiation list */
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_TEMPLATE)
|
||
{
|
||
ninstantiations = 0;
|
||
field = dn_bufp->dtemplate.expansions;
|
||
while (field.word && field.word != DNTTNIL)
|
||
{
|
||
fieldp = hpread_get_lntt (field.dnttp.index, objfile);
|
||
|
||
/* The expansions or nextexp should point to a tagdef */
|
||
if (fieldp->dblock.kind != DNTT_TYPE_TAGDEF)
|
||
break;
|
||
|
||
i_new = (struct next_instantiation *) alloca (sizeof (struct next_instantiation));
|
||
i_new->next = i_list;
|
||
i_list = i_new;
|
||
i_list->t = hpread_type_lookup (field, objfile);
|
||
ninstantiations++;
|
||
|
||
/* And the "type" field of that should point to a class */
|
||
field = fieldp->dtag.type;
|
||
fieldp = hpread_get_lntt (field.dnttp.index, objfile);
|
||
if (fieldp->dblock.kind != DNTT_TYPE_CLASS)
|
||
break;
|
||
|
||
/* Get the next expansion */
|
||
field = fieldp->dclass.nextexp;
|
||
}
|
||
}
|
||
TYPE_NINSTANTIATIONS (type) = ninstantiations;
|
||
if (ninstantiations > 0)
|
||
TYPE_INSTANTIATIONS (type) = (struct type **)
|
||
obstack_alloc (&objfile->type_obstack, sizeof (struct type *) * ninstantiations);
|
||
for (n = ninstantiations; i_list; i_list = i_list->next)
|
||
{
|
||
n -= 1;
|
||
TYPE_INSTANTIATION (type, n) = i_list->t;
|
||
}
|
||
|
||
|
||
/* Copy the field-list to GDB's symbol table */
|
||
TYPE_NFIELDS (type) = nfields;
|
||
TYPE_N_BASECLASSES (type) = n_base_classes;
|
||
TYPE_FIELDS (type) = (struct field *)
|
||
obstack_alloc (&objfile->type_obstack, sizeof (struct field) * nfields);
|
||
/* Copy the saved-up fields into the field vector. */
|
||
for (n = nfields, tmp_list = list; tmp_list; tmp_list = tmp_list->next)
|
||
{
|
||
n -= 1;
|
||
TYPE_FIELD (type, n) = tmp_list->field;
|
||
}
|
||
|
||
/* Copy the "function-field-list" (i.e., the list of member
|
||
* functions in the class) to GDB's symbol table
|
||
*/
|
||
TYPE_NFN_FIELDS (type) = n_fn_fields;
|
||
TYPE_NFN_FIELDS_TOTAL (type) = n_fn_fields_total;
|
||
TYPE_FN_FIELDLISTS (type) = (struct fn_fieldlist *)
|
||
obstack_alloc (&objfile->type_obstack, sizeof (struct fn_fieldlist) * n_fn_fields);
|
||
for (n = n_fn_fields; fn_list; fn_list = fn_list->next)
|
||
{
|
||
n -= 1;
|
||
TYPE_FN_FIELDLIST (type, n) = fn_list->field;
|
||
}
|
||
|
||
/* pai:: FIXME -- perhaps each bitvector should be created individually */
|
||
for (n = nfields, tmp_list = list; tmp_list; tmp_list = tmp_list->next)
|
||
{
|
||
n -= 1;
|
||
if (tmp_list->attributes)
|
||
{
|
||
need_bitvectors = 1;
|
||
break;
|
||
}
|
||
}
|
||
|
||
if (need_bitvectors)
|
||
{
|
||
/* pai:: this step probably redundant */
|
||
ALLOCATE_CPLUS_STRUCT_TYPE (type);
|
||
|
||
TYPE_FIELD_VIRTUAL_BITS (type) =
|
||
(B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
|
||
B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type), nfields);
|
||
|
||
TYPE_FIELD_PRIVATE_BITS (type) =
|
||
(B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
|
||
B_CLRALL (TYPE_FIELD_PRIVATE_BITS (type), nfields);
|
||
|
||
TYPE_FIELD_PROTECTED_BITS (type) =
|
||
(B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
|
||
B_CLRALL (TYPE_FIELD_PROTECTED_BITS (type), nfields);
|
||
|
||
/* this field vector isn't actually used with HP aCC */
|
||
TYPE_FIELD_IGNORE_BITS (type) =
|
||
(B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
|
||
B_CLRALL (TYPE_FIELD_IGNORE_BITS (type), nfields);
|
||
|
||
while (nfields-- > 0)
|
||
{
|
||
if (B_TST (&(list->attributes), ATTR_VIRTUAL))
|
||
SET_TYPE_FIELD_VIRTUAL (type, nfields);
|
||
if (B_TST (&(list->attributes), ATTR_PRIVATE))
|
||
SET_TYPE_FIELD_PRIVATE (type, nfields);
|
||
if (B_TST (&(list->attributes), ATTR_PROTECT))
|
||
SET_TYPE_FIELD_PROTECTED (type, nfields);
|
||
|
||
list = list->next;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
TYPE_FIELD_VIRTUAL_BITS (type) = NULL;
|
||
TYPE_FIELD_PROTECTED_BITS (type) = NULL;
|
||
TYPE_FIELD_PRIVATE_BITS (type) = NULL;
|
||
}
|
||
|
||
if (has_vtable (type))
|
||
{
|
||
/* Allocate space for class runtime information */
|
||
TYPE_RUNTIME_PTR (type) = (struct runtime_info *) xmalloc (sizeof (struct runtime_info));
|
||
/* Set flag for vtable */
|
||
TYPE_VTABLE (type) = 1;
|
||
/* The first non-virtual base class with a vtable. */
|
||
TYPE_PRIMARY_BASE (type) = primary_base_class (type);
|
||
/* The virtual base list. */
|
||
TYPE_VIRTUAL_BASE_LIST (type) = virtual_base_list (type);
|
||
}
|
||
else
|
||
TYPE_RUNTIME_PTR (type) = NULL;
|
||
|
||
/* If this is a local type (C++ - declared inside a function), record file name & line # */
|
||
if (hpread_get_scope_depth (dn_bufp, objfile, 1 /* no need for real depth */ ))
|
||
{
|
||
TYPE_LOCALTYPE_PTR (type) = (struct local_type_info *) xmalloc (sizeof (struct local_type_info));
|
||
TYPE_LOCALTYPE_FILE (type) = (char *) xmalloc (strlen (current_subfile->name) + 1);
|
||
strcpy (TYPE_LOCALTYPE_FILE (type), current_subfile->name);
|
||
if (current_subfile->line_vector && (current_subfile->line_vector->nitems > 0))
|
||
TYPE_LOCALTYPE_LINE (type) = current_subfile->line_vector->item[current_subfile->line_vector->nitems - 1].line;
|
||
else
|
||
TYPE_LOCALTYPE_LINE (type) = 0;
|
||
}
|
||
else
|
||
TYPE_LOCALTYPE_PTR (type) = NULL;
|
||
|
||
/* Clear the global saying what template we are in the middle of processing */
|
||
current_template = NULL;
|
||
|
||
/* Fix up any cv-qualified versions of this type. */
|
||
finish_cv_type (type);
|
||
|
||
return type;
|
||
}
|
||
|
||
/* Adjust the physnames for each static member of a struct
|
||
or class type to be something like "A::x"; then various
|
||
other pieces of code that do a lookup_symbol on the phyname
|
||
work correctly.
|
||
TYPE is a pointer to the struct/class type
|
||
NAME is a char * (string) which is the class/struct name
|
||
Void return */
|
||
|
||
static void
|
||
fix_static_member_physnames (struct type *type, char *class_name,
|
||
struct objfile *objfile)
|
||
{
|
||
int i;
|
||
|
||
/* We fix the member names only for classes or structs */
|
||
if (TYPE_CODE (type) != TYPE_CODE_STRUCT)
|
||
return;
|
||
|
||
for (i = 0; i < TYPE_NFIELDS (type); i++)
|
||
if (TYPE_FIELD_STATIC (type, i))
|
||
{
|
||
if (TYPE_FIELD_STATIC_PHYSNAME (type, i))
|
||
return; /* physnames are already set */
|
||
|
||
SET_FIELD_PHYSNAME (type->fields[i],
|
||
obstack_alloc (&objfile->type_obstack,
|
||
strlen (class_name) + strlen (TYPE_FIELD_NAME (type, i)) + 3));
|
||
strcpy (TYPE_FIELD_STATIC_PHYSNAME (type, i), class_name);
|
||
strcat (TYPE_FIELD_STATIC_PHYSNAME (type, i), "::");
|
||
strcat (TYPE_FIELD_STATIC_PHYSNAME (type, i), TYPE_FIELD_NAME (type, i));
|
||
}
|
||
}
|
||
|
||
/* Fix-up the type structure for a CLASS so that the type entry
|
||
* for a method (previously marked with a null type in hpread_read_struct_type()
|
||
* is set correctly to METHOD.
|
||
* OBJFILE is as for other such functions.
|
||
* Void return. */
|
||
|
||
static void
|
||
fixup_class_method_type (struct type *class, struct type *method,
|
||
struct objfile *objfile)
|
||
{
|
||
int i, j, k;
|
||
|
||
if (!class || !method || !objfile)
|
||
return;
|
||
|
||
/* Only for types that have methods */
|
||
if ((TYPE_CODE (class) != TYPE_CODE_CLASS) &&
|
||
(TYPE_CODE (class) != TYPE_CODE_UNION))
|
||
return;
|
||
|
||
/* Loop over all methods and find the one marked with a NULL type */
|
||
for (i = 0; i < TYPE_NFN_FIELDS (class); i++)
|
||
for (j = 0; j < TYPE_FN_FIELDLIST_LENGTH (class, i); j++)
|
||
if (TYPE_FN_FIELD_TYPE (TYPE_FN_FIELDLIST1 (class, i), j) == NULL)
|
||
{
|
||
/* Set the method type */
|
||
TYPE_FN_FIELD_TYPE (TYPE_FN_FIELDLIST1 (class, i), j) = method;
|
||
/* The argument list */
|
||
(TYPE_FN_FIELD_TYPE (TYPE_FN_FIELDLIST1 (class, i), j))->type_specific.arg_types
|
||
= (struct type **) obstack_alloc (&objfile->type_obstack,
|
||
sizeof (struct type *) * (method->nfields + 1));
|
||
for (k = 0; k < method->nfields; k++)
|
||
(TYPE_FN_FIELD_TYPE (TYPE_FN_FIELDLIST1 (class, i), j))->type_specific.arg_types[k] = method->fields[k].type;
|
||
/* void termination */
|
||
(TYPE_FN_FIELD_TYPE (TYPE_FN_FIELDLIST1 (class, i), j))->type_specific.arg_types[method->nfields] = builtin_type_void;
|
||
|
||
/* pai: It's not clear why this args field has to be set. Perhaps
|
||
* it should be eliminated entirely. */
|
||
(TYPE_FN_FIELD (TYPE_FN_FIELDLIST1 (class, i), j)).args
|
||
= (struct type **) obstack_alloc (&objfile->type_obstack,
|
||
sizeof (struct type *) * (method->nfields + 1));
|
||
for (k = 0; k < method->nfields; k++)
|
||
(TYPE_FN_FIELD (TYPE_FN_FIELDLIST1 (class, i), j)).args[k] = method->fields[k].type;
|
||
/* null-terminated, unlike arg_types above */
|
||
(TYPE_FN_FIELD (TYPE_FN_FIELDLIST1 (class, i), j)).args[method->nfields] = NULL;
|
||
|
||
/* Break out of both loops -- only one method to fix up in a class */
|
||
goto finish;
|
||
}
|
||
|
||
finish:
|
||
TYPE_FLAGS (class) &= ~TYPE_FLAG_INCOMPLETE;
|
||
}
|
||
|
||
|
||
/* If we're in the middle of processing a template, get a pointer
|
||
* to the Nth template argument.
|
||
* An example may make this clearer:
|
||
* template <class T1, class T2> class q2 {
|
||
* public:
|
||
* T1 a;
|
||
* T2 b;
|
||
* };
|
||
* The type for "a" will be "first template arg" and
|
||
* the type for "b" will be "second template arg".
|
||
* We need to look these up in order to fill in "a" and "b"'s type.
|
||
* This is called from hpread_type_lookup().
|
||
*/
|
||
static struct type *
|
||
hpread_get_nth_template_arg (struct objfile *objfile, int n)
|
||
{
|
||
if (current_template != NULL)
|
||
return TYPE_TEMPLATE_ARG (current_template, n).type;
|
||
else
|
||
return lookup_fundamental_type (objfile, FT_TEMPLATE_ARG);
|
||
}
|
||
|
||
/* Read in and internalize a TEMPL_ARG (template arg) symbol. */
|
||
|
||
static struct type *
|
||
hpread_read_templ_arg_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile, char *name)
|
||
{
|
||
struct type *type;
|
||
|
||
/* See if it's something we've already deal with. */
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if (TYPE_CODE (type) == TYPE_CODE_TEMPLATE_ARG)
|
||
return type;
|
||
|
||
/* Nope. Fill in the appropriate fields. */
|
||
TYPE_CODE (type) = TYPE_CODE_TEMPLATE_ARG;
|
||
TYPE_LENGTH (type) = 0;
|
||
TYPE_NFIELDS (type) = 0;
|
||
TYPE_NAME (type) = name;
|
||
return type;
|
||
}
|
||
|
||
/* Read in and internalize a set debug symbol. */
|
||
|
||
static struct type *
|
||
hpread_read_set_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile)
|
||
{
|
||
struct type *type;
|
||
|
||
/* See if it's something we've already deal with. */
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if (TYPE_CODE (type) == TYPE_CODE_SET)
|
||
return type;
|
||
|
||
/* Nope. Fill in the appropriate fields. */
|
||
TYPE_CODE (type) = TYPE_CODE_SET;
|
||
TYPE_LENGTH (type) = dn_bufp->dset.bitlength / 8;
|
||
TYPE_NFIELDS (type) = 0;
|
||
TYPE_TARGET_TYPE (type) = hpread_type_lookup (dn_bufp->dset.subtype,
|
||
objfile);
|
||
return type;
|
||
}
|
||
|
||
/* Read in and internalize an array debug symbol. */
|
||
|
||
static struct type *
|
||
hpread_read_array_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile)
|
||
{
|
||
struct type *type;
|
||
|
||
/* Allocate an array type symbol.
|
||
* Why no check for already-read here, like in the other
|
||
* hpread_read_xxx_type routines? Because it kept us
|
||
* from properly determining the size of the array!
|
||
*/
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
|
||
TYPE_CODE (type) = TYPE_CODE_ARRAY;
|
||
|
||
/* Although the hp-symtab.h does not *require* this to be the case,
|
||
* GDB is assuming that "arrayisbytes" and "elemisbytes" be consistent.
|
||
* I.e., express both array-length and element-length in bits,
|
||
* or express both array-length and element-length in bytes.
|
||
*/
|
||
if (!((dn_bufp->darray.arrayisbytes && dn_bufp->darray.elemisbytes) ||
|
||
(!dn_bufp->darray.arrayisbytes && !dn_bufp->darray.elemisbytes)))
|
||
{
|
||
warning ("error in hpread_array_type.\n");
|
||
return NULL;
|
||
}
|
||
else if (dn_bufp->darray.arraylength == 0x7fffffff)
|
||
{
|
||
/* The HP debug format represents char foo[]; as an array with
|
||
* length 0x7fffffff. Internally GDB wants to represent this
|
||
* as an array of length zero.
|
||
*/
|
||
TYPE_LENGTH (type) = 0;
|
||
}
|
||
else if (dn_bufp->darray.arrayisbytes)
|
||
TYPE_LENGTH (type) = dn_bufp->darray.arraylength;
|
||
else /* arraylength is in bits */
|
||
TYPE_LENGTH (type) = dn_bufp->darray.arraylength / 8;
|
||
|
||
TYPE_TARGET_TYPE (type) = hpread_type_lookup (dn_bufp->darray.elemtype,
|
||
objfile);
|
||
|
||
/* The one "field" is used to store the subscript type */
|
||
/* Since C and C++ multi-dimensional arrays are simply represented
|
||
* as: array of array of ..., we only need one subscript-type
|
||
* per array. This subscript type is typically a subrange of integer.
|
||
* If this gets extended to support languages like Pascal, then
|
||
* we need to fix this to represent multi-dimensional arrays properly.
|
||
*/
|
||
TYPE_NFIELDS (type) = 1;
|
||
TYPE_FIELDS (type) = (struct field *)
|
||
obstack_alloc (&objfile->type_obstack, sizeof (struct field));
|
||
TYPE_FIELD_TYPE (type, 0) = hpread_type_lookup (dn_bufp->darray.indextype,
|
||
objfile);
|
||
return type;
|
||
}
|
||
|
||
/* Read in and internalize a subrange debug symbol. */
|
||
static struct type *
|
||
hpread_read_subrange_type (dnttpointer hp_type, union dnttentry *dn_bufp,
|
||
struct objfile *objfile)
|
||
{
|
||
struct type *type;
|
||
|
||
/* Is it something we've already dealt with. */
|
||
type = hpread_alloc_type (hp_type, objfile);
|
||
if (TYPE_CODE (type) == TYPE_CODE_RANGE)
|
||
return type;
|
||
|
||
/* Nope, internalize it. */
|
||
TYPE_CODE (type) = TYPE_CODE_RANGE;
|
||
TYPE_LENGTH (type) = dn_bufp->dsubr.bitlength / 8;
|
||
TYPE_NFIELDS (type) = 2;
|
||
TYPE_FIELDS (type)
|
||
= (struct field *) obstack_alloc (&objfile->type_obstack,
|
||
2 * sizeof (struct field));
|
||
|
||
if (dn_bufp->dsubr.dyn_low)
|
||
TYPE_FIELD_BITPOS (type, 0) = 0;
|
||
else
|
||
TYPE_FIELD_BITPOS (type, 0) = dn_bufp->dsubr.lowbound;
|
||
|
||
if (dn_bufp->dsubr.dyn_high)
|
||
TYPE_FIELD_BITPOS (type, 1) = -1;
|
||
else
|
||
TYPE_FIELD_BITPOS (type, 1) = dn_bufp->dsubr.highbound;
|
||
TYPE_TARGET_TYPE (type) = hpread_type_lookup (dn_bufp->dsubr.subtype,
|
||
objfile);
|
||
return type;
|
||
}
|
||
|
||
/* struct type * hpread_type_lookup(hp_type, objfile)
|
||
* Arguments:
|
||
* hp_type: A pointer into the DNTT specifying what type we
|
||
* are about to "look up"., or else [for fundamental types
|
||
* like int, float, ...] an "immediate" structure describing
|
||
* the type.
|
||
* objfile: ?
|
||
* Return value: A pointer to a "struct type" (representation of a
|
||
* type in GDB's internal symbol table - see gdbtypes.h)
|
||
* Routine description:
|
||
* There are a variety of places when scanning the DNTT when we
|
||
* need to interpret a "type" field. The simplest and most basic
|
||
* example is when we're processing the symbol table record
|
||
* for a data symbol (a SVAR or DVAR record). That has
|
||
* a "type" field specifying the type of the data symbol. That
|
||
* "type" field is either an "immediate" type specification (for the
|
||
* fundamental types) or a DNTT pointer (for more complicated types).
|
||
* For the more complicated types, we may or may not have already
|
||
* processed the pointed-to type. (Multiple data symbols can of course
|
||
* share the same type).
|
||
* The job of hpread_type_lookup() is to process this "type" field.
|
||
* Most of the real work is done in subroutines. Here we interpret
|
||
* the immediate flag. If not immediate, chase the DNTT pointer to
|
||
* find our way to the SOM record describing the type, switch on
|
||
* the SOM kind, and then call an appropriate subroutine depending
|
||
* on what kind of type we are constructing. (e.g., an array type,
|
||
* a struct/class type, etc).
|
||
*/
|
||
static struct type *
|
||
hpread_type_lookup (dnttpointer hp_type, struct objfile *objfile)
|
||
{
|
||
union dnttentry *dn_bufp;
|
||
struct type *tmp_type;
|
||
|
||
/* First see if it's a simple builtin type. */
|
||
if (hp_type.dntti.immediate)
|
||
{
|
||
/* If this is a template argument, the argument number is
|
||
* encoded in the bitlength. All other cases, just return
|
||
* GDB's representation of this fundamental type.
|
||
*/
|
||
if (hp_type.dntti.type == HP_TYPE_TEMPLATE_ARG)
|
||
return hpread_get_nth_template_arg (objfile, hp_type.dntti.bitlength);
|
||
else
|
||
return lookup_fundamental_type (objfile,
|
||
hpread_type_translate (hp_type));
|
||
}
|
||
|
||
/* Not a builtin type. We'll have to read it in. */
|
||
if (hp_type.dnttp.index < LNTT_SYMCOUNT (objfile))
|
||
dn_bufp = hpread_get_lntt (hp_type.dnttp.index, objfile);
|
||
else
|
||
/* This is a fancy way of returning NULL */
|
||
return lookup_fundamental_type (objfile, FT_VOID);
|
||
|
||
switch (dn_bufp->dblock.kind)
|
||
{
|
||
case DNTT_TYPE_SRCFILE:
|
||
case DNTT_TYPE_MODULE:
|
||
case DNTT_TYPE_ENTRY:
|
||
case DNTT_TYPE_BEGIN:
|
||
case DNTT_TYPE_END:
|
||
case DNTT_TYPE_IMPORT:
|
||
case DNTT_TYPE_LABEL:
|
||
case DNTT_TYPE_FPARAM:
|
||
case DNTT_TYPE_SVAR:
|
||
case DNTT_TYPE_DVAR:
|
||
case DNTT_TYPE_CONST:
|
||
case DNTT_TYPE_MEMENUM:
|
||
case DNTT_TYPE_VARIANT:
|
||
case DNTT_TYPE_FILE:
|
||
case DNTT_TYPE_WITH:
|
||
case DNTT_TYPE_COMMON:
|
||
case DNTT_TYPE_COBSTRUCT:
|
||
case DNTT_TYPE_XREF:
|
||
case DNTT_TYPE_SA:
|
||
case DNTT_TYPE_MACRO:
|
||
case DNTT_TYPE_BLOCKDATA:
|
||
case DNTT_TYPE_CLASS_SCOPE:
|
||
case DNTT_TYPE_MEMACCESS:
|
||
case DNTT_TYPE_INHERITANCE:
|
||
case DNTT_TYPE_OBJECT_ID:
|
||
case DNTT_TYPE_FRIEND_CLASS:
|
||
case DNTT_TYPE_FRIEND_FUNC:
|
||
/* These are not types - something went wrong. */
|
||
/* This is a fancy way of returning NULL */
|
||
return lookup_fundamental_type (objfile, FT_VOID);
|
||
|
||
case DNTT_TYPE_FUNCTION:
|
||
/* We wind up here when dealing with class member functions
|
||
* (called from hpread_read_struct_type(), i.e. when processing
|
||
* the class definition itself).
|
||
*/
|
||
return hpread_read_function_type (hp_type, dn_bufp, objfile, 0);
|
||
|
||
case DNTT_TYPE_DOC_FUNCTION:
|
||
return hpread_read_doc_function_type (hp_type, dn_bufp, objfile, 0);
|
||
|
||
case DNTT_TYPE_TYPEDEF:
|
||
{
|
||
/* A typedef - chase it down by making a recursive call */
|
||
struct type *structtype = hpread_type_lookup (dn_bufp->dtype.type,
|
||
objfile);
|
||
|
||
/* The following came from the base hpread.c that we inherited.
|
||
* It is WRONG so I have commented it out. - RT
|
||
*...
|
||
|
||
char *suffix;
|
||
suffix = VT (objfile) + dn_bufp->dtype.name;
|
||
TYPE_NAME (structtype) = suffix;
|
||
|
||
* ... further explanation ....
|
||
*
|
||
* What we have here is a typedef pointing to a typedef.
|
||
* E.g.,
|
||
* typedef int foo;
|
||
* typedef foo fum;
|
||
*
|
||
* What we desire to build is (these are pictures
|
||
* of "struct type"'s):
|
||
*
|
||
* +---------+ +----------+ +------------+
|
||
* | typedef | | typedef | | fund. type |
|
||
* | type| -> | type| -> | |
|
||
* | "fum" | | "foo" | | "int" |
|
||
* +---------+ +----------+ +------------+
|
||
*
|
||
* What this commented-out code is doing is smashing the
|
||
* name of pointed-to-type to be the same as the pointed-from
|
||
* type. So we wind up with something like:
|
||
*
|
||
* +---------+ +----------+ +------------+
|
||
* | typedef | | typedef | | fund. type |
|
||
* | type| -> | type| -> | |
|
||
* | "fum" | | "fum" | | "fum" |
|
||
* +---------+ +----------+ +------------+
|
||
*
|
||
*/
|
||
|
||
return structtype;
|
||
}
|
||
|
||
case DNTT_TYPE_TAGDEF:
|
||
{
|
||
/* Just a little different from above. We have to tack on
|
||
* an identifier of some kind (struct, union, enum, class, etc).
|
||
*/
|
||
struct type *structtype = hpread_type_lookup (dn_bufp->dtype.type,
|
||
objfile);
|
||
char *prefix, *suffix;
|
||
suffix = VT (objfile) + dn_bufp->dtype.name;
|
||
|
||
/* Lookup the next type in the list. It should be a structure,
|
||
* union, class, enum, or template type.
|
||
* We will need to attach that to our name.
|
||
*/
|
||
if (dn_bufp->dtype.type.dnttp.index < LNTT_SYMCOUNT (objfile))
|
||
dn_bufp = hpread_get_lntt (dn_bufp->dtype.type.dnttp.index, objfile);
|
||
else
|
||
{
|
||
complain (&hpread_type_lookup_complaint);
|
||
return NULL;
|
||
}
|
||
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_STRUCT)
|
||
{
|
||
prefix = "struct ";
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_UNION)
|
||
{
|
||
prefix = "union ";
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_CLASS)
|
||
{
|
||
/* Further field for CLASS saying how it was really declared */
|
||
/* 0==class, 1==union, 2==struct */
|
||
if (dn_bufp->dclass.class_decl == 0)
|
||
prefix = "class ";
|
||
else if (dn_bufp->dclass.class_decl == 1)
|
||
prefix = "union ";
|
||
else if (dn_bufp->dclass.class_decl == 2)
|
||
prefix = "struct ";
|
||
else
|
||
prefix = "";
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_ENUM)
|
||
{
|
||
prefix = "enum ";
|
||
}
|
||
else if (dn_bufp->dblock.kind == DNTT_TYPE_TEMPLATE)
|
||
{
|
||
prefix = "template ";
|
||
}
|
||
else
|
||
{
|
||
prefix = "";
|
||
}
|
||
|
||
/* Build the correct name. */
|
||
structtype->name
|
||
= (char *) obstack_alloc (&objfile->type_obstack,
|
||
strlen (prefix) + strlen (suffix) + 1);
|
||
TYPE_NAME (structtype) = strcpy (TYPE_NAME (structtype), prefix);
|
||
TYPE_NAME (structtype) = strcat (TYPE_NAME (structtype), suffix);
|
||
TYPE_TAG_NAME (structtype) = suffix;
|
||
|
||
/* For classes/structs, we have to set the static member "physnames"
|
||
to point to strings like "Class::Member" */
|
||
if (TYPE_CODE (structtype) == TYPE_CODE_STRUCT)
|
||
fix_static_member_physnames (structtype, suffix, objfile);
|
||
|
||
return structtype;
|
||
}
|
||
|
||
case DNTT_TYPE_POINTER:
|
||
/* Pointer type - call a routine in gdbtypes.c that constructs
|
||
* the appropriate GDB type.
|
||
*/
|
||
return make_pointer_type (
|
||
hpread_type_lookup (dn_bufp->dptr.pointsto,
|
||
objfile),
|
||
NULL);
|
||
|
||
case DNTT_TYPE_REFERENCE:
|
||
/* C++ reference type - call a routine in gdbtypes.c that constructs
|
||
* the appropriate GDB type.
|
||
*/
|
||
return make_reference_type (
|
||
hpread_type_lookup (dn_bufp->dreference.pointsto,
|
||
objfile),
|
||
NULL);
|
||
|
||
case DNTT_TYPE_ENUM:
|
||
return hpread_read_enum_type (hp_type, dn_bufp, objfile);
|
||
case DNTT_TYPE_SET:
|
||
return hpread_read_set_type (hp_type, dn_bufp, objfile);
|
||
case DNTT_TYPE_SUBRANGE:
|
||
return hpread_read_subrange_type (hp_type, dn_bufp, objfile);
|
||
case DNTT_TYPE_ARRAY:
|
||
return hpread_read_array_type (hp_type, dn_bufp, objfile);
|
||
case DNTT_TYPE_STRUCT:
|
||
case DNTT_TYPE_UNION:
|
||
return hpread_read_struct_type (hp_type, dn_bufp, objfile);
|
||
case DNTT_TYPE_FIELD:
|
||
return hpread_type_lookup (dn_bufp->dfield.type, objfile);
|
||
|
||
case DNTT_TYPE_FUNCTYPE:
|
||
/* Here we want to read the function SOMs and return a
|
||
* type for it. We get here, for instance, when processing
|
||
* pointer-to-function type.
|
||
*/
|
||
return hpread_read_function_type (hp_type, dn_bufp, objfile, 0);
|
||
|
||
case DNTT_TYPE_PTRMEM:
|
||
/* Declares a C++ pointer-to-data-member type.
|
||
* The "pointsto" field defines the class,
|
||
* while the "memtype" field defines the pointed-to-type.
|
||
*/
|
||
{
|
||
struct type *ptrmemtype;
|
||
struct type *class_type;
|
||
struct type *memtype;
|
||
memtype = hpread_type_lookup (dn_bufp->dptrmem.memtype,
|
||
objfile),
|
||
class_type = hpread_type_lookup (dn_bufp->dptrmem.pointsto,
|
||
objfile),
|
||
ptrmemtype = alloc_type (objfile);
|
||
smash_to_member_type (ptrmemtype, class_type, memtype);
|
||
return make_pointer_type (ptrmemtype, NULL);
|
||
}
|
||
break;
|
||
|
||
case DNTT_TYPE_PTRMEMFUNC:
|
||
/* Defines a C++ pointer-to-function-member type.
|
||
* The "pointsto" field defines the class,
|
||
* while the "memtype" field defines the pointed-to-type.
|
||
*/
|
||
{
|
||
struct type *ptrmemtype;
|
||
struct type *class_type;
|
||
struct type *functype;
|
||
struct type *retvaltype;
|
||
int nargs;
|
||
int i;
|
||
struct type **args_type;
|
||
class_type = hpread_type_lookup (dn_bufp->dptrmem.pointsto,
|
||
objfile);
|
||
functype = hpread_type_lookup (dn_bufp->dptrmem.memtype,
|
||
objfile);
|
||
retvaltype = TYPE_TARGET_TYPE (functype);
|
||
nargs = TYPE_NFIELDS (functype);
|
||
args_type = (struct type **) xmalloc ((nargs + 1) * sizeof (struct type *));
|
||
for (i = 0; i < nargs; i++)
|
||
{
|
||
args_type[i] = TYPE_FIELD_TYPE (functype, i);
|
||
}
|
||
args_type[nargs] = NULL;
|
||
ptrmemtype = alloc_type (objfile);
|
||
smash_to_method_type (ptrmemtype, class_type, retvaltype, args_type);
|
||
return make_pointer_type (ptrmemtype, NULL);
|
||
}
|
||
break;
|
||
|
||
case DNTT_TYPE_CLASS:
|
||
return hpread_read_struct_type (hp_type, dn_bufp, objfile);
|
||
|
||
case DNTT_TYPE_GENFIELD:
|
||
/* Chase pointer from GENFIELD to FIELD, and make recursive
|
||
* call on that.
|
||
*/
|
||
return hpread_type_lookup (dn_bufp->dgenfield.field, objfile);
|
||
|
||
case DNTT_TYPE_VFUNC:
|
||
/* C++ virtual function.
|
||
* We get here in the course of processing a class type which
|
||
* contains virtual functions. Just go through another level
|
||
* of indirection to get to the pointed-to function SOM.
|
||
*/
|
||
return hpread_type_lookup (dn_bufp->dvfunc.funcptr, objfile);
|
||
|
||
case DNTT_TYPE_MODIFIER:
|
||
/* Check the modifiers and then just make a recursive call on
|
||
* the "type" pointed to by the modifier DNTT.
|
||
*
|
||
* pai:: FIXME -- do we ever want to handle "m_duplicate" and
|
||
* "m_void" modifiers? Is static_flag really needed here?
|
||
* (m_static used for methods of classes, elsewhere).
|
||
*/
|
||
tmp_type = make_cv_type (dn_bufp->dmodifier.m_const,
|
||
dn_bufp->dmodifier.m_volatile,
|
||
hpread_type_lookup (dn_bufp->dmodifier.type, objfile),
|
||
0);
|
||
return tmp_type;
|
||
|
||
|
||
case DNTT_TYPE_MEMFUNC:
|
||
/* Member function. Treat like a function.
|
||
* I think we get here in the course of processing a
|
||
* pointer-to-member-function type...
|
||
*/
|
||
return hpread_read_function_type (hp_type, dn_bufp, objfile, 0);
|
||
|
||
case DNTT_TYPE_DOC_MEMFUNC:
|
||
return hpread_read_doc_function_type (hp_type, dn_bufp, objfile, 0);
|
||
|
||
case DNTT_TYPE_TEMPLATE:
|
||
/* Template - sort of the header for a template definition,
|
||
* which like a class, points to a member list and also points
|
||
* to a TEMPLATE_ARG list of type-arguments.
|
||
*/
|
||
return hpread_read_struct_type (hp_type, dn_bufp, objfile);
|
||
|
||
case DNTT_TYPE_TEMPLATE_ARG:
|
||
{
|
||
char *name;
|
||
/* The TEMPLATE record points to an argument list of
|
||
* TEMPLATE_ARG records, each of which describes one
|
||
* of the type-arguments.
|
||
*/
|
||
name = VT (objfile) + dn_bufp->dtempl_arg.name;
|
||
return hpread_read_templ_arg_type (hp_type, dn_bufp, objfile, name);
|
||
}
|
||
|
||
case DNTT_TYPE_FUNC_TEMPLATE:
|
||
/* We wind up here when processing a TEMPLATE type,
|
||
* if the template has member function(s).
|
||
* Treat it like a FUNCTION.
|
||
*/
|
||
return hpread_read_function_type (hp_type, dn_bufp, objfile, 0);
|
||
|
||
case DNTT_TYPE_LINK:
|
||
/* The LINK record is used to link up templates with instantiations.
|
||
* There is no type associated with the LINK record per se.
|
||
*/
|
||
return lookup_fundamental_type (objfile, FT_VOID);
|
||
|
||
/* Also not yet handled... */
|
||
/* case DNTT_TYPE_DYN_ARRAY_DESC: */
|
||
/* case DNTT_TYPE_DESC_SUBRANGE: */
|
||
/* case DNTT_TYPE_BEGIN_EXT: */
|
||
/* case DNTT_TYPE_INLN: */
|
||
/* case DNTT_TYPE_INLN_LIST: */
|
||
/* case DNTT_TYPE_ALIAS: */
|
||
default:
|
||
/* A fancy way of returning NULL */
|
||
return lookup_fundamental_type (objfile, FT_VOID);
|
||
}
|
||
}
|
||
|
||
static sltpointer
|
||
hpread_record_lines (struct subfile *subfile, sltpointer s_idx,
|
||
sltpointer e_idx, struct objfile *objfile,
|
||
CORE_ADDR offset)
|
||
{
|
||
union sltentry *sl_bufp;
|
||
|
||
while (s_idx <= e_idx)
|
||
{
|
||
sl_bufp = hpread_get_slt (s_idx, objfile);
|
||
/* Only record "normal" entries in the SLT. */
|
||
if (sl_bufp->snorm.sltdesc == SLT_NORMAL
|
||
|| sl_bufp->snorm.sltdesc == SLT_EXIT)
|
||
record_line (subfile, sl_bufp->snorm.line,
|
||
sl_bufp->snorm.address + offset);
|
||
else if (sl_bufp->snorm.sltdesc == SLT_NORMAL_OFFSET)
|
||
record_line (subfile, sl_bufp->snormoff.line,
|
||
sl_bufp->snormoff.address + offset);
|
||
s_idx++;
|
||
}
|
||
return e_idx;
|
||
}
|
||
|
||
/* Given a function "f" which is a member of a class, find
|
||
* the classname that it is a member of. Used to construct
|
||
* the name (e.g., "c::f") which GDB will put in the
|
||
* "demangled name" field of the function's symbol.
|
||
* Called from hpread_process_one_debug_symbol()
|
||
* If "f" is not a member function, return NULL.
|
||
*/
|
||
char *
|
||
class_of (struct type *functype)
|
||
{
|
||
struct type *first_param_type;
|
||
char *first_param_name;
|
||
struct type *pointed_to_type;
|
||
char *class_name;
|
||
|
||
/* Check that the function has a first argument "this",
|
||
* and that "this" is a pointer to a class. If not,
|
||
* functype is not a member function, so return NULL.
|
||
*/
|
||
if (TYPE_NFIELDS (functype) == 0)
|
||
return NULL;
|
||
first_param_name = TYPE_FIELD_NAME (functype, 0);
|
||
if (first_param_name == NULL)
|
||
return NULL; /* paranoia */
|
||
if (strcmp (first_param_name, "this"))
|
||
return NULL;
|
||
first_param_type = TYPE_FIELD_TYPE (functype, 0);
|
||
if (first_param_type == NULL)
|
||
return NULL; /* paranoia */
|
||
if (TYPE_CODE (first_param_type) != TYPE_CODE_PTR)
|
||
return NULL;
|
||
|
||
/* Get the thing that "this" points to, check that
|
||
* it's a class, and get its class name.
|
||
*/
|
||
pointed_to_type = TYPE_TARGET_TYPE (first_param_type);
|
||
if (pointed_to_type == NULL)
|
||
return NULL; /* paranoia */
|
||
if (TYPE_CODE (pointed_to_type) != TYPE_CODE_CLASS)
|
||
return NULL;
|
||
class_name = TYPE_NAME (pointed_to_type);
|
||
if (class_name == NULL)
|
||
return NULL; /* paranoia */
|
||
|
||
/* The class name may be of the form "class c", in which case
|
||
* we want to strip off the leading "class ".
|
||
*/
|
||
if (strncmp (class_name, "class ", 6) == 0)
|
||
class_name += 6;
|
||
|
||
return class_name;
|
||
}
|
||
|
||
/* Internalize one native debug symbol.
|
||
* Called in a loop from hpread_expand_symtab().
|
||
* Arguments:
|
||
* dn_bufp:
|
||
* name:
|
||
* section_offsets:
|
||
* objfile:
|
||
* text_offset:
|
||
* text_size:
|
||
* filename:
|
||
* index: Index of this symbol
|
||
* at_module_boundary_p Pointer to boolean flag to control caller's loop.
|
||
*/
|
||
|
||
static void
|
||
hpread_process_one_debug_symbol (union dnttentry *dn_bufp, char *name,
|
||
struct section_offsets *section_offsets,
|
||
struct objfile *objfile, CORE_ADDR text_offset,
|
||
int text_size, char *filename, int index,
|
||
int *at_module_boundary_p)
|
||
{
|
||
unsigned long desc;
|
||
int type;
|
||
CORE_ADDR valu;
|
||
int offset = ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
|
||
int data_offset = ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
|
||
union dnttentry *dn_temp;
|
||
dnttpointer hp_type;
|
||
struct symbol *sym;
|
||
struct context_stack *new;
|
||
char *class_scope_name;
|
||
|
||
/* Allocate one GDB debug symbol and fill in some default values. */
|
||
sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
|
||
sizeof (struct symbol));
|
||
memset (sym, 0, sizeof (struct symbol));
|
||
SYMBOL_NAME (sym) = obsavestring (name, strlen (name), &objfile->symbol_obstack);
|
||
SYMBOL_LANGUAGE (sym) = language_auto;
|
||
SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
|
||
SYMBOL_LINE (sym) = 0;
|
||
SYMBOL_VALUE (sym) = 0;
|
||
SYMBOL_CLASS (sym) = LOC_TYPEDEF;
|
||
|
||
/* Just a trick in case the SOM debug symbol is a type definition.
|
||
* There are routines that are set up to build a GDB type symbol, given
|
||
* a SOM dnttpointer. So we set up a dummy SOM dnttpointer "hp_type".
|
||
* This allows us to call those same routines.
|
||
*/
|
||
hp_type.dnttp.extension = 1;
|
||
hp_type.dnttp.immediate = 0;
|
||
hp_type.dnttp.global = 0;
|
||
hp_type.dnttp.index = index;
|
||
|
||
/* This "type" is the type of SOM record.
|
||
* Switch on SOM type.
|
||
*/
|
||
type = dn_bufp->dblock.kind;
|
||
switch (type)
|
||
{
|
||
case DNTT_TYPE_SRCFILE:
|
||
/* This type of symbol indicates from which source file or
|
||
* include file any following data comes. It may indicate:
|
||
*
|
||
* o The start of an entirely new source file (and thus
|
||
* a new module)
|
||
*
|
||
* o The start of a different source file due to #include
|
||
*
|
||
* o The end of an include file and the return to the original
|
||
* file. Thus if "foo.c" includes "bar.h", we see first
|
||
* a SRCFILE for foo.c, then one for bar.h, and then one for
|
||
* foo.c again.
|
||
*
|
||
* If it indicates the start of a new module then we must
|
||
* finish the symbol table of the previous module
|
||
* (if any) and start accumulating a new symbol table.
|
||
*/
|
||
|
||
valu = text_offset;
|
||
if (!last_source_file)
|
||
{
|
||
/*
|
||
* A note on "last_source_file": this is a char* pointing
|
||
* to the actual file name. "start_symtab" sets it,
|
||
* "end_symtab" clears it.
|
||
*
|
||
* So if "last_source_file" is NULL, then either this is
|
||
* the first record we are looking at, or a previous call
|
||
* to "end_symtab()" was made to close out the previous
|
||
* module. Since we're now quitting the scan loop when we
|
||
* see a MODULE END record, we should never get here, except
|
||
* in the case that we're not using the quick look-up tables
|
||
* and have to use the old system as a fall-back.
|
||
*/
|
||
start_symtab (name, NULL, valu);
|
||
record_debugformat ("HP");
|
||
SL_INDEX (objfile) = dn_bufp->dsfile.address;
|
||
}
|
||
|
||
else
|
||
{
|
||
/* Either a new include file, or a SRCFILE record
|
||
* saying we are back in the main source (or out of
|
||
* a nested include file) again.
|
||
*/
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dsfile.address,
|
||
objfile, offset);
|
||
}
|
||
|
||
/* A note on "start_subfile". This routine will check
|
||
* the name we pass it and look for an existing subfile
|
||
* of that name. There's thus only one sub-file for the
|
||
* actual source (e.g. for "foo.c" in foo.c), despite the
|
||
* fact that we'll see lots of SRCFILE entries for foo.c
|
||
* inside foo.c.
|
||
*/
|
||
start_subfile (name, NULL);
|
||
break;
|
||
|
||
case DNTT_TYPE_MODULE:
|
||
/*
|
||
* We no longer ignore DNTT_TYPE_MODULE symbols. The module
|
||
* represents the meaningful semantic structure of a compilation
|
||
* unit. We expect to start the psymtab-to-symtab expansion
|
||
* looking at a MODULE entry, and to end it at the corresponding
|
||
* END MODULE entry.
|
||
*
|
||
*--Begin outdated comments
|
||
*
|
||
* This record signifies the start of a new source module
|
||
* In C/C++ there is no explicit "module" construct in the language,
|
||
* but each compilation unit is implicitly a module and they
|
||
* do emit the DNTT_TYPE_MODULE records.
|
||
* The end of the module is marked by a matching DNTT_TYPE_END record.
|
||
*
|
||
* The reason GDB gets away with ignoring the DNTT_TYPE_MODULE record
|
||
* is it notices the DNTT_TYPE_END record for the previous
|
||
* module (see comments under DNTT_TYPE_END case), and then treats
|
||
* the next DNTT_TYPE_SRCFILE record as if it were the module-start record.
|
||
* (i.e., it makes a start_symtab() call).
|
||
* This scheme seems a little convoluted, but I'll leave it
|
||
* alone on the principle "if it ain't broke don't fix
|
||
* it". (RT).
|
||
*
|
||
*-- End outdated comments
|
||
*/
|
||
|
||
valu = text_offset;
|
||
if (!last_source_file)
|
||
{
|
||
/* Start of a new module. We know this because "last_source_file"
|
||
* is NULL, which can only happen the first time or if we just
|
||
* made a call to end_symtab() to close out the previous module.
|
||
*/
|
||
start_symtab (name, NULL, valu);
|
||
SL_INDEX (objfile) = dn_bufp->dmodule.address;
|
||
}
|
||
else
|
||
{
|
||
/* This really shouldn't happen if we're using the quick
|
||
* look-up tables, as it would mean we'd scanned past an
|
||
* END MODULE entry. But if we're not using the tables,
|
||
* we started the module on the SRCFILE entry, so it's ok.
|
||
* For now, accept this.
|
||
*/
|
||
/* warning( "Error expanding psymtab, missed module end, found entry for %s",
|
||
* name );
|
||
*/
|
||
*at_module_boundary_p = -1;
|
||
}
|
||
|
||
start_subfile (name, NULL);
|
||
break;
|
||
|
||
case DNTT_TYPE_FUNCTION:
|
||
case DNTT_TYPE_ENTRY:
|
||
/* A function or secondary entry point. */
|
||
valu = dn_bufp->dfunc.lowaddr + offset;
|
||
|
||
/* Record lines up to this point. */
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dfunc.address,
|
||
objfile, offset);
|
||
|
||
WITHIN_FUNCTION (objfile) = 1;
|
||
CURRENT_FUNCTION_VALUE (objfile) = valu;
|
||
|
||
/* Stack must be empty now. */
|
||
if (context_stack_depth != 0)
|
||
complain (&lbrac_unmatched_complaint, (char *) symnum);
|
||
new = push_context (0, valu);
|
||
|
||
/* Built a type for the function. This includes processing
|
||
* the symbol records for the function parameters.
|
||
*/
|
||
SYMBOL_CLASS (sym) = LOC_BLOCK;
|
||
SYMBOL_TYPE (sym) = hpread_read_function_type (hp_type, dn_bufp, objfile, 1);
|
||
|
||
/* The "SYMBOL_NAME" field is expected to be the mangled name
|
||
* (if any), which we get from the "alias" field of the SOM record
|
||
* if that exists.
|
||
*/
|
||
if ((dn_bufp->dfunc.language == HP_LANGUAGE_CPLUSPLUS) &&
|
||
dn_bufp->dfunc.alias && /* has an alias */
|
||
*(char *) (VT (objfile) + dn_bufp->dfunc.alias)) /* not a null string */
|
||
SYMBOL_NAME (sym) = VT (objfile) + dn_bufp->dfunc.alias;
|
||
else
|
||
SYMBOL_NAME (sym) = VT (objfile) + dn_bufp->dfunc.name;
|
||
|
||
/* Special hack to get around HP compilers' insistence on
|
||
* reporting "main" as "_MAIN_" for C/C++ */
|
||
if ((strcmp (SYMBOL_NAME (sym), "_MAIN_") == 0) &&
|
||
(strcmp (VT (objfile) + dn_bufp->dfunc.name, "main") == 0))
|
||
SYMBOL_NAME (sym) = VT (objfile) + dn_bufp->dfunc.name;
|
||
|
||
/* The SYMBOL_CPLUS_DEMANGLED_NAME field is expected to
|
||
* be the demangled name.
|
||
*/
|
||
if (dn_bufp->dfunc.language == HP_LANGUAGE_CPLUSPLUS)
|
||
{
|
||
/* SYMBOL_INIT_DEMANGLED_NAME is a macro which winds up
|
||
* calling the demangler in libiberty (cplus_demangle()) to
|
||
* do the job. This generally does the job, even though
|
||
* it's intended for the GNU compiler and not the aCC compiler
|
||
* Note that SYMBOL_INIT_DEMANGLED_NAME calls the
|
||
* demangler with arguments DMGL_PARAMS | DMGL_ANSI.
|
||
* Generally, we don't want params when we display
|
||
* a demangled name, but when I took out the DMGL_PARAMS,
|
||
* some things broke, so I'm leaving it in here, and
|
||
* working around the issue in stack.c. - RT
|
||
*/
|
||
SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile->symbol_obstack);
|
||
if ((SYMBOL_NAME (sym) == VT (objfile) + dn_bufp->dfunc.alias) &&
|
||
(!SYMBOL_CPLUS_DEMANGLED_NAME (sym)))
|
||
{
|
||
|
||
/* Well, the symbol name is mangled, but the
|
||
* demangler in libiberty failed so the demangled
|
||
* field is still NULL. Try to
|
||
* do the job ourselves based on the "name" field
|
||
* in the SOM record. A complication here is that
|
||
* the name field contains only the function name
|
||
* (like "f"), whereas we want the class qualification
|
||
* (as in "c::f"). Try to reconstruct that.
|
||
*/
|
||
char *basename;
|
||
char *classname;
|
||
char *dem_name;
|
||
basename = VT (objfile) + dn_bufp->dfunc.name;
|
||
classname = class_of (SYMBOL_TYPE (sym));
|
||
if (classname)
|
||
{
|
||
dem_name = xmalloc (strlen (basename) + strlen (classname) + 3);
|
||
strcpy (dem_name, classname);
|
||
strcat (dem_name, "::");
|
||
strcat (dem_name, basename);
|
||
SYMBOL_CPLUS_DEMANGLED_NAME (sym) = dem_name;
|
||
SYMBOL_LANGUAGE (sym) = language_cplus;
|
||
}
|
||
}
|
||
}
|
||
|
||
/* Add the function symbol to the list of symbols in this blockvector */
|
||
if (dn_bufp->dfunc.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
new->name = sym;
|
||
|
||
/* Search forward to the next BEGIN and also read
|
||
* in the line info up to that point.
|
||
* Not sure why this is needed.
|
||
* In HP FORTRAN this code is harmful since there
|
||
* may not be a BEGIN after the FUNCTION.
|
||
* So I made it C/C++ specific. - RT
|
||
*/
|
||
if (dn_bufp->dfunc.language == HP_LANGUAGE_C ||
|
||
dn_bufp->dfunc.language == HP_LANGUAGE_CPLUSPLUS)
|
||
{
|
||
while (dn_bufp->dblock.kind != DNTT_TYPE_BEGIN)
|
||
{
|
||
dn_bufp = hpread_get_lntt (++index, objfile);
|
||
if (dn_bufp->dblock.extension)
|
||
continue;
|
||
}
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dbegin.address,
|
||
objfile, offset);
|
||
SYMBOL_LINE (sym) = hpread_get_line (dn_bufp->dbegin.address, objfile);
|
||
}
|
||
record_line (current_subfile, SYMBOL_LINE (sym), valu);
|
||
break;
|
||
|
||
case DNTT_TYPE_DOC_FUNCTION:
|
||
valu = dn_bufp->ddocfunc.lowaddr + offset;
|
||
|
||
/* Record lines up to this point. */
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->ddocfunc.address,
|
||
objfile, offset);
|
||
|
||
WITHIN_FUNCTION (objfile) = 1;
|
||
CURRENT_FUNCTION_VALUE (objfile) = valu;
|
||
/* Stack must be empty now. */
|
||
if (context_stack_depth != 0)
|
||
complain (&lbrac_unmatched_complaint, (char *) symnum);
|
||
new = push_context (0, valu);
|
||
|
||
/* Built a type for the function. This includes processing
|
||
* the symbol records for the function parameters.
|
||
*/
|
||
SYMBOL_CLASS (sym) = LOC_BLOCK;
|
||
SYMBOL_TYPE (sym) = hpread_read_doc_function_type (hp_type, dn_bufp, objfile, 1);
|
||
|
||
/* The "SYMBOL_NAME" field is expected to be the mangled name
|
||
* (if any), which we get from the "alias" field of the SOM record
|
||
* if that exists.
|
||
*/
|
||
if ((dn_bufp->ddocfunc.language == HP_LANGUAGE_CPLUSPLUS) &&
|
||
dn_bufp->ddocfunc.alias && /* has an alias */
|
||
*(char *) (VT (objfile) + dn_bufp->ddocfunc.alias)) /* not a null string */
|
||
SYMBOL_NAME (sym) = VT (objfile) + dn_bufp->ddocfunc.alias;
|
||
else
|
||
SYMBOL_NAME (sym) = VT (objfile) + dn_bufp->ddocfunc.name;
|
||
|
||
/* Special hack to get around HP compilers' insistence on
|
||
* reporting "main" as "_MAIN_" for C/C++ */
|
||
if ((strcmp (SYMBOL_NAME (sym), "_MAIN_") == 0) &&
|
||
(strcmp (VT (objfile) + dn_bufp->ddocfunc.name, "main") == 0))
|
||
SYMBOL_NAME (sym) = VT (objfile) + dn_bufp->ddocfunc.name;
|
||
|
||
if (dn_bufp->ddocfunc.language == HP_LANGUAGE_CPLUSPLUS)
|
||
{
|
||
|
||
/* SYMBOL_INIT_DEMANGLED_NAME is a macro which winds up
|
||
* calling the demangler in libiberty (cplus_demangle()) to
|
||
* do the job. This generally does the job, even though
|
||
* it's intended for the GNU compiler and not the aCC compiler
|
||
* Note that SYMBOL_INIT_DEMANGLED_NAME calls the
|
||
* demangler with arguments DMGL_PARAMS | DMGL_ANSI.
|
||
* Generally, we don't want params when we display
|
||
* a demangled name, but when I took out the DMGL_PARAMS,
|
||
* some things broke, so I'm leaving it in here, and
|
||
* working around the issue in stack.c. - RT
|
||
*/
|
||
SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile->symbol_obstack);
|
||
|
||
if ((SYMBOL_NAME (sym) == VT (objfile) + dn_bufp->ddocfunc.alias) &&
|
||
(!SYMBOL_CPLUS_DEMANGLED_NAME (sym)))
|
||
{
|
||
|
||
/* Well, the symbol name is mangled, but the
|
||
* demangler in libiberty failed so the demangled
|
||
* field is still NULL. Try to
|
||
* do the job ourselves based on the "name" field
|
||
* in the SOM record. A complication here is that
|
||
* the name field contains only the function name
|
||
* (like "f"), whereas we want the class qualification
|
||
* (as in "c::f"). Try to reconstruct that.
|
||
*/
|
||
char *basename;
|
||
char *classname;
|
||
char *dem_name;
|
||
basename = VT (objfile) + dn_bufp->ddocfunc.name;
|
||
classname = class_of (SYMBOL_TYPE (sym));
|
||
if (classname)
|
||
{
|
||
dem_name = xmalloc (strlen (basename) + strlen (classname) + 3);
|
||
strcpy (dem_name, classname);
|
||
strcat (dem_name, "::");
|
||
strcat (dem_name, basename);
|
||
SYMBOL_CPLUS_DEMANGLED_NAME (sym) = dem_name;
|
||
SYMBOL_LANGUAGE (sym) = language_cplus;
|
||
}
|
||
}
|
||
}
|
||
|
||
/* Add the function symbol to the list of symbols in this blockvector */
|
||
if (dn_bufp->ddocfunc.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
new->name = sym;
|
||
|
||
/* Search forward to the next BEGIN and also read
|
||
* in the line info up to that point.
|
||
* Not sure why this is needed.
|
||
* In HP FORTRAN this code is harmful since there
|
||
* may not be a BEGIN after the FUNCTION.
|
||
* So I made it C/C++ specific. - RT
|
||
*/
|
||
if (dn_bufp->ddocfunc.language == HP_LANGUAGE_C ||
|
||
dn_bufp->ddocfunc.language == HP_LANGUAGE_CPLUSPLUS)
|
||
{
|
||
while (dn_bufp->dblock.kind != DNTT_TYPE_BEGIN)
|
||
{
|
||
dn_bufp = hpread_get_lntt (++index, objfile);
|
||
if (dn_bufp->dblock.extension)
|
||
continue;
|
||
}
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dbegin.address,
|
||
objfile, offset);
|
||
SYMBOL_LINE (sym) = hpread_get_line (dn_bufp->dbegin.address, objfile);
|
||
}
|
||
record_line (current_subfile, SYMBOL_LINE (sym), valu);
|
||
break;
|
||
|
||
case DNTT_TYPE_BEGIN:
|
||
/* Begin a new scope. */
|
||
if (context_stack_depth == 1 /* this means we're at function level */ &&
|
||
context_stack[0].name != NULL /* this means it's a function */ &&
|
||
context_stack[0].depth == 0 /* this means it's the first BEGIN
|
||
we've seen after the FUNCTION */
|
||
)
|
||
{
|
||
/* This is the first BEGIN after a FUNCTION.
|
||
* We ignore this one, since HP compilers always insert
|
||
* at least one BEGIN, i.e. it's:
|
||
*
|
||
* FUNCTION
|
||
* argument symbols
|
||
* BEGIN
|
||
* local symbols
|
||
* (possibly nested BEGIN ... END's if there are inner { } blocks)
|
||
* END
|
||
* END
|
||
*
|
||
* By ignoring this first BEGIN, the local symbols get treated
|
||
* as belonging to the function scope, and "print func::local_sym"
|
||
* works (which is what we want).
|
||
*/
|
||
|
||
/* All we do here is increase the depth count associated with
|
||
* the FUNCTION entry in the context stack. This ensures that
|
||
* the next BEGIN we see (if any), representing a real nested { }
|
||
* block, will get processed.
|
||
*/
|
||
|
||
context_stack[0].depth++;
|
||
|
||
}
|
||
else
|
||
{
|
||
|
||
/* Record lines up to this SLT pointer. */
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dbegin.address,
|
||
objfile, offset);
|
||
/* Calculate start address of new scope */
|
||
valu = hpread_get_location (dn_bufp->dbegin.address, objfile);
|
||
valu += offset; /* Relocate for dynamic loading */
|
||
/* We use the scope start DNTT index as nesting depth identifier! */
|
||
desc = hpread_get_scope_start (dn_bufp->dbegin.address, objfile);
|
||
new = push_context (desc, valu);
|
||
}
|
||
break;
|
||
|
||
case DNTT_TYPE_END:
|
||
/* End a scope. */
|
||
|
||
/* Valid end kinds are:
|
||
* MODULE
|
||
* FUNCTION
|
||
* WITH
|
||
* COMMON
|
||
* BEGIN
|
||
* CLASS_SCOPE
|
||
*/
|
||
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dend.address,
|
||
objfile, offset);
|
||
switch (dn_bufp->dend.endkind)
|
||
{
|
||
case DNTT_TYPE_MODULE:
|
||
/* Ending a module ends the symbol table for that module.
|
||
* Calling end_symtab() has the side effect of clearing the
|
||
* last_source_file pointer, which in turn signals
|
||
* process_one_debug_symbol() to treat the next DNTT_TYPE_SRCFILE
|
||
* record as a module-begin.
|
||
*/
|
||
valu = text_offset + text_size + offset;
|
||
|
||
/* Tell our caller that we're done with expanding the
|
||
* debug information for a module.
|
||
*/
|
||
*at_module_boundary_p = 1;
|
||
|
||
/* Don't do this, as our caller will do it!
|
||
|
||
* (void) end_symtab (valu, objfile, 0);
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_FUNCTION:
|
||
/* Ending a function, well, ends the function's scope. */
|
||
dn_temp = hpread_get_lntt (dn_bufp->dend.beginscope.dnttp.index,
|
||
objfile);
|
||
valu = dn_temp->dfunc.hiaddr + offset;
|
||
/* Insert func params into local list */
|
||
merge_symbol_lists (¶m_symbols, &local_symbols);
|
||
new = pop_context ();
|
||
/* Make a block for the local symbols within. */
|
||
finish_block (new->name, &local_symbols, new->old_blocks,
|
||
new->start_addr, valu, objfile);
|
||
WITHIN_FUNCTION (objfile) = 0; /* This may have to change for Pascal */
|
||
local_symbols = new->locals;
|
||
param_symbols = new->params;
|
||
break;
|
||
|
||
case DNTT_TYPE_BEGIN:
|
||
if (context_stack_depth == 1 &&
|
||
context_stack[0].name != NULL &&
|
||
context_stack[0].depth == 1)
|
||
{
|
||
/* This is the END corresponding to the
|
||
* BEGIN which we ignored - see DNTT_TYPE_BEGIN case above.
|
||
*/
|
||
context_stack[0].depth--;
|
||
}
|
||
else
|
||
{
|
||
/* Ending a local scope. */
|
||
valu = hpread_get_location (dn_bufp->dend.address, objfile);
|
||
/* Why in the hell is this needed? */
|
||
valu += offset + 9; /* Relocate for dynamic loading */
|
||
new = pop_context ();
|
||
desc = dn_bufp->dend.beginscope.dnttp.index;
|
||
if (desc != new->depth)
|
||
complain (&lbrac_mismatch_complaint, (char *) symnum);
|
||
|
||
/* Make a block for the local symbols within. */
|
||
finish_block (new->name, &local_symbols, new->old_blocks,
|
||
new->start_addr, valu, objfile);
|
||
local_symbols = new->locals;
|
||
param_symbols = new->params;
|
||
}
|
||
break;
|
||
|
||
case DNTT_TYPE_WITH:
|
||
/* Since we ignore the DNTT_TYPE_WITH that starts the scope,
|
||
* we can ignore the DNTT_TYPE_END that ends it.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_COMMON:
|
||
/* End a FORTRAN common block. We don't currently handle these */
|
||
complain (&hpread_unhandled_end_common_complaint);
|
||
break;
|
||
|
||
case DNTT_TYPE_CLASS_SCOPE:
|
||
|
||
/* pai: FIXME Not handling nested classes for now -- must
|
||
* maintain a stack */
|
||
class_scope_name = NULL;
|
||
|
||
#if 0
|
||
/* End a class scope */
|
||
valu = hpread_get_location (dn_bufp->dend.address, objfile);
|
||
/* Why in the hell is this needed? */
|
||
valu += offset + 9; /* Relocate for dynamic loading */
|
||
new = pop_context ();
|
||
desc = dn_bufp->dend.beginscope.dnttp.index;
|
||
if (desc != new->depth)
|
||
complain (&lbrac_mismatch_complaint, (char *) symnum);
|
||
/* Make a block for the local symbols within. */
|
||
finish_block (new->name, &local_symbols, new->old_blocks,
|
||
new->start_addr, valu, objfile);
|
||
local_symbols = new->locals;
|
||
param_symbols = new->params;
|
||
#endif
|
||
break;
|
||
|
||
default:
|
||
complain (&hpread_unexpected_end_complaint);
|
||
break;
|
||
}
|
||
break;
|
||
|
||
/* DNTT_TYPE_IMPORT is not handled */
|
||
|
||
case DNTT_TYPE_LABEL:
|
||
SYMBOL_NAMESPACE (sym) = LABEL_NAMESPACE;
|
||
break;
|
||
|
||
case DNTT_TYPE_FPARAM:
|
||
/* Function parameters. */
|
||
/* Note 1: This code was present in the 4.16 sources, and then
|
||
removed, because fparams are handled in
|
||
hpread_read_function_type(). However, while fparam symbols
|
||
are indeed handled twice, this code here cannot be removed
|
||
because then they don't get added to the local symbol list of
|
||
the function's code block, which leads to a failure to look
|
||
up locals, "this"-relative member names, etc. So I've put
|
||
this code back in. pai/1997-07-21 */
|
||
/* Note 2: To fix a defect, we stopped adding FPARAMS to local_symbols
|
||
in hpread_read_function_type(), so FPARAMS had to be handled
|
||
here. I changed the location to be the appropriate argument
|
||
kinds rather than LOC_LOCAL. pai/1997-08-08 */
|
||
/* Note 3: Well, the fix in Note 2 above broke argument printing
|
||
in traceback frames, and further it makes assumptions about the
|
||
order of the FPARAM entries from HP compilers (cc and aCC in particular
|
||
generate them in reverse orders -- fixing one breaks for the other).
|
||
So I've added code in hpread_read_function_type() to add fparams
|
||
to a param_symbols list for the current context level. These are
|
||
then merged into local_symbols when a function end is reached.
|
||
pai/1997-08-11 */
|
||
|
||
break; /* do nothing; handled in hpread_read_function_type() */
|
||
|
||
#if 0 /* Old code */
|
||
if (dn_bufp->dfparam.regparam)
|
||
SYMBOL_CLASS (sym) = LOC_REGISTER;
|
||
else if (dn_bufp->dfparam.indirect)
|
||
SYMBOL_CLASS (sym) = LOC_REF_ARG;
|
||
else
|
||
SYMBOL_CLASS (sym) = LOC_ARG;
|
||
SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
|
||
if (dn_bufp->dfparam.copyparam)
|
||
{
|
||
SYMBOL_VALUE (sym) = dn_bufp->dfparam.location;
|
||
#ifdef HPREAD_ADJUST_STACK_ADDRESS
|
||
SYMBOL_VALUE (sym)
|
||
+= HPREAD_ADJUST_STACK_ADDRESS (CURRENT_FUNCTION_VALUE (objfile));
|
||
#endif
|
||
}
|
||
else
|
||
SYMBOL_VALUE (sym) = dn_bufp->dfparam.location;
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (dn_bufp->dfparam.type, objfile);
|
||
add_symbol_to_list (sym, &fparam_symbols);
|
||
break;
|
||
#endif
|
||
|
||
case DNTT_TYPE_SVAR:
|
||
/* Static variables. */
|
||
SYMBOL_CLASS (sym) = LOC_STATIC;
|
||
|
||
/* Note: There is a case that arises with globals in shared
|
||
* libraries where we need to set the address to LOC_INDIRECT.
|
||
* This case is if you have a global "g" in one library, and
|
||
* it is referenced "extern <type> g;" in another library.
|
||
* If we're processing the symbols for the referencing library,
|
||
* we'll see a global "g", but in this case the address given
|
||
* in the symbol table contains a pointer to the real "g".
|
||
* We use the storage class LOC_INDIRECT to indicate this. RT
|
||
*/
|
||
if (is_in_import_list (SYMBOL_NAME (sym), objfile))
|
||
SYMBOL_CLASS (sym) = LOC_INDIRECT;
|
||
|
||
SYMBOL_VALUE_ADDRESS (sym) = dn_bufp->dsvar.location + data_offset;
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (dn_bufp->dsvar.type, objfile);
|
||
|
||
if (dn_bufp->dsvar.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
|
||
else if (WITHIN_FUNCTION (objfile))
|
||
add_symbol_to_list (sym, &local_symbols);
|
||
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
|
||
if (dn_bufp->dsvar.thread_specific)
|
||
{
|
||
/* Thread-local variable.
|
||
*/
|
||
SYMBOL_CLASS (sym) = LOC_THREAD_LOCAL_STATIC;
|
||
SYMBOL_BASEREG (sym) = CR27_REGNUM;
|
||
|
||
if (objfile->flags & OBJF_SHARED)
|
||
{
|
||
/*
|
||
* This variable is not only thread local but
|
||
* in a shared library.
|
||
*
|
||
* Alas, the shared lib structures are private
|
||
* to "somsolib.c". But C lets us point to one.
|
||
*/
|
||
struct so_list *so;
|
||
|
||
if (objfile->obj_private == NULL)
|
||
error ("Internal error in reading shared library information.");
|
||
|
||
so = ((obj_private_data_t *) (objfile->obj_private))->so_info;
|
||
if (so == NULL)
|
||
error ("Internal error in reading shared library information.");
|
||
|
||
/* Thread-locals in shared libraries do NOT have the
|
||
* standard offset ("data_offset"), so we re-calculate
|
||
* where to look for this variable, using a call-back
|
||
* to interpret the private shared-library data.
|
||
*/
|
||
SYMBOL_VALUE_ADDRESS (sym) = dn_bufp->dsvar.location +
|
||
so_lib_thread_start_addr (so);
|
||
}
|
||
}
|
||
break;
|
||
|
||
case DNTT_TYPE_DVAR:
|
||
/* Dynamic variables. */
|
||
if (dn_bufp->ddvar.regvar)
|
||
SYMBOL_CLASS (sym) = LOC_REGISTER;
|
||
else
|
||
SYMBOL_CLASS (sym) = LOC_LOCAL;
|
||
|
||
SYMBOL_VALUE (sym) = dn_bufp->ddvar.location;
|
||
#ifdef HPREAD_ADJUST_STACK_ADDRESS
|
||
SYMBOL_VALUE (sym)
|
||
+= HPREAD_ADJUST_STACK_ADDRESS (CURRENT_FUNCTION_VALUE (objfile));
|
||
#endif
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (dn_bufp->ddvar.type, objfile);
|
||
if (dn_bufp->ddvar.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
else if (WITHIN_FUNCTION (objfile))
|
||
add_symbol_to_list (sym, &local_symbols);
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
break;
|
||
|
||
case DNTT_TYPE_CONST:
|
||
/* A constant (pascal?). */
|
||
SYMBOL_CLASS (sym) = LOC_CONST;
|
||
SYMBOL_VALUE (sym) = dn_bufp->dconst.location;
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (dn_bufp->dconst.type, objfile);
|
||
if (dn_bufp->dconst.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
else if (WITHIN_FUNCTION (objfile))
|
||
add_symbol_to_list (sym, &local_symbols);
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
break;
|
||
|
||
case DNTT_TYPE_TYPEDEF:
|
||
/* A typedef. We do want to process these, since a name is
|
||
* added to the namespace for the typedef'ed name.
|
||
*/
|
||
SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (dn_bufp->dtype.type, objfile);
|
||
if (dn_bufp->dtype.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
else if (WITHIN_FUNCTION (objfile))
|
||
add_symbol_to_list (sym, &local_symbols);
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
break;
|
||
|
||
case DNTT_TYPE_TAGDEF:
|
||
{
|
||
int global = dn_bufp->dtag.global;
|
||
/* Structure, union, enum, template, or class tag definition */
|
||
/* We do want to process these, since a name is
|
||
* added to the namespace for the tag name (and if C++ class,
|
||
* for the typename also).
|
||
*/
|
||
SYMBOL_NAMESPACE (sym) = STRUCT_NAMESPACE;
|
||
|
||
/* The tag contains in its "type" field a pointer to the
|
||
* DNTT_TYPE_STRUCT, DNTT_TYPE_UNION, DNTT_TYPE_ENUM,
|
||
* DNTT_TYPE_CLASS or DNTT_TYPE_TEMPLATE
|
||
* record that actually defines the type.
|
||
*/
|
||
SYMBOL_TYPE (sym) = hpread_type_lookup (dn_bufp->dtype.type, objfile);
|
||
TYPE_NAME (sym->type) = SYMBOL_NAME (sym);
|
||
TYPE_TAG_NAME (sym->type) = SYMBOL_NAME (sym);
|
||
if (dn_bufp->dtag.global)
|
||
add_symbol_to_list (sym, &global_symbols);
|
||
else if (WITHIN_FUNCTION (objfile))
|
||
add_symbol_to_list (sym, &local_symbols);
|
||
else
|
||
add_symbol_to_list (sym, &file_symbols);
|
||
|
||
/* If this is a C++ class, then we additionally
|
||
* need to define a typedef for the
|
||
* class type. E.g., so that the name "c" becomes visible as
|
||
* a type name when the user says "class c { ... }".
|
||
* In order to figure this out, we need to chase down the "type"
|
||
* field to get to the DNTT_TYPE_CLASS record.
|
||
*
|
||
* We also add the typename for ENUM. Though this isn't
|
||
* strictly correct, it is necessary because of the debug info
|
||
* generated by the aCC compiler, in which we cannot
|
||
* distinguish between:
|
||
* enum e { ... };
|
||
* and
|
||
* typedef enum { ... } e;
|
||
* I.e., the compiler emits the same debug info for the above
|
||
* two cases, in both cases "e" appearing as a tagdef.
|
||
* Therefore go ahead and generate the typename so that
|
||
* "ptype e" will work in the above cases.
|
||
*
|
||
* We also add the typename for TEMPLATE, so as to allow "ptype t"
|
||
* when "t" is a template name.
|
||
*/
|
||
if (dn_bufp->dtype.type.dnttp.index < LNTT_SYMCOUNT (objfile))
|
||
dn_bufp = hpread_get_lntt (dn_bufp->dtag.type.dnttp.index, objfile);
|
||
else
|
||
{
|
||
complain (&hpread_tagdef_complaint);
|
||
return;
|
||
}
|
||
if (dn_bufp->dblock.kind == DNTT_TYPE_CLASS ||
|
||
dn_bufp->dblock.kind == DNTT_TYPE_ENUM ||
|
||
dn_bufp->dblock.kind == DNTT_TYPE_TEMPLATE)
|
||
{
|
||
struct symbol *newsym;
|
||
|
||
newsym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
|
||
sizeof (struct symbol));
|
||
memset (newsym, 0, sizeof (struct symbol));
|
||
SYMBOL_NAME (newsym) = name;
|
||
SYMBOL_LANGUAGE (newsym) = language_auto;
|
||
SYMBOL_NAMESPACE (newsym) = VAR_NAMESPACE;
|
||
SYMBOL_LINE (newsym) = 0;
|
||
SYMBOL_VALUE (newsym) = 0;
|
||
SYMBOL_CLASS (newsym) = LOC_TYPEDEF;
|
||
SYMBOL_TYPE (newsym) = sym->type;
|
||
if (global)
|
||
add_symbol_to_list (newsym, &global_symbols);
|
||
else if (WITHIN_FUNCTION (objfile))
|
||
add_symbol_to_list (newsym, &local_symbols);
|
||
else
|
||
add_symbol_to_list (newsym, &file_symbols);
|
||
}
|
||
}
|
||
break;
|
||
|
||
case DNTT_TYPE_POINTER:
|
||
/* Declares a pointer type. Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_ENUM:
|
||
/* Declares an enum type. Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_MEMENUM:
|
||
/* Member of enum */
|
||
/* Ignored at this level, but hpread_read_enum_type() will take
|
||
* care of walking the list of enumeration members.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_SET:
|
||
/* Declares a set type. Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_SUBRANGE:
|
||
/* Declares a subrange type. Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_ARRAY:
|
||
/* Declares an array type. Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_STRUCT:
|
||
case DNTT_TYPE_UNION:
|
||
/* Declares an struct/union type.
|
||
* Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_FIELD:
|
||
/* Structure/union/class field */
|
||
/* Ignored at this level, but hpread_read_struct_type() will take
|
||
* care of walking the list of structure/union/class members.
|
||
*/
|
||
break;
|
||
|
||
/* DNTT_TYPE_VARIANT is not handled by GDB */
|
||
|
||
/* DNTT_TYPE_FILE is not handled by GDB */
|
||
|
||
case DNTT_TYPE_FUNCTYPE:
|
||
/* Function type */
|
||
/* Ignored at this level, handled within hpread_type_lookup() */
|
||
break;
|
||
|
||
case DNTT_TYPE_WITH:
|
||
/* This is emitted within methods to indicate "with <class>"
|
||
* scoping rules (i.e., indicate that the class data members
|
||
* are directly visible).
|
||
* However, since GDB already infers this by looking at the
|
||
* "this" argument, interpreting the DNTT_TYPE_WITH
|
||
* symbol record is unnecessary.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_COMMON:
|
||
/* FORTRAN common. Not yet handled. */
|
||
complain (&hpread_unhandled_common_complaint);
|
||
break;
|
||
|
||
/* DNTT_TYPE_COBSTRUCT is not handled by GDB. */
|
||
/* DNTT_TYPE_XREF is not handled by GDB. */
|
||
/* DNTT_TYPE_SA is not handled by GDB. */
|
||
/* DNTT_TYPE_MACRO is not handled by GDB */
|
||
|
||
case DNTT_TYPE_BLOCKDATA:
|
||
/* Not sure what this is - part of FORTRAN support maybe?
|
||
* Anyway, not yet handled.
|
||
*/
|
||
complain (&hpread_unhandled_blockdata_complaint);
|
||
break;
|
||
|
||
case DNTT_TYPE_CLASS_SCOPE:
|
||
|
||
|
||
|
||
/* The compiler brackets member functions with a CLASS_SCOPE/END
|
||
* pair of records, presumably to put them in a different scope
|
||
* from the module scope where they are normally defined.
|
||
* E.g., in the situation:
|
||
* void f() { ... }
|
||
* void c::f() { ...}
|
||
* The member function "c::f" will be bracketed by a CLASS_SCOPE/END.
|
||
* This causes "break f" at the module level to pick the
|
||
* the file-level function f(), not the member function
|
||
* (which needs to be referenced via "break c::f").
|
||
*
|
||
* Here we record the class name to generate the demangled names of
|
||
* member functions later.
|
||
*
|
||
* FIXME Not being used now for anything -- cplus_demangle seems
|
||
* enough for getting the class-qualified names of functions. We
|
||
* may need this for handling nested classes and types. */
|
||
|
||
/* pai: FIXME Not handling nested classes for now -- need to
|
||
* maintain a stack */
|
||
|
||
dn_temp = hpread_get_lntt (dn_bufp->dclass_scope.type.dnttp.index, objfile);
|
||
if (dn_temp->dblock.kind == DNTT_TYPE_TAGDEF)
|
||
class_scope_name = VT (objfile) + dn_temp->dtag.name;
|
||
else
|
||
class_scope_name = NULL;
|
||
|
||
#if 0
|
||
|
||
/* Begin a new scope. */
|
||
SL_INDEX (objfile) = hpread_record_lines (current_subfile,
|
||
SL_INDEX (objfile),
|
||
dn_bufp->dclass_scope.address,
|
||
objfile, offset);
|
||
valu = hpread_get_location (dn_bufp->dclass_scope.address, objfile);
|
||
valu += offset; /* Relocate for dynamic loading */
|
||
desc = hpread_get_scope_start (dn_bufp->dclass_scope.address, objfile);
|
||
/* We use the scope start DNTT index as the nesting depth identifier! */
|
||
new = push_context (desc, valu);
|
||
#endif
|
||
break;
|
||
|
||
case DNTT_TYPE_REFERENCE:
|
||
/* Declares a C++ reference type. Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_PTRMEM:
|
||
/* Declares a C++ pointer-to-data-member type. This does not
|
||
* need to be handled at this level; being a type description it
|
||
* is instead handled at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_PTRMEMFUNC:
|
||
/* Declares a C++ pointer-to-function-member type. This does not
|
||
* need to be handled at this level; being a type description it
|
||
* is instead handled at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_CLASS:
|
||
/* Declares a class type.
|
||
* Should not be necessary to do anything
|
||
* with the type at this level; these are processed
|
||
* at the hpread_type_lookup() level.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_GENFIELD:
|
||
/* I believe this is used for class member functions */
|
||
/* Ignored at this level, but hpread_read_struct_type() will take
|
||
* care of walking the list of class members.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_VFUNC:
|
||
/* Virtual function */
|
||
/* This does not have to be handled at this level; handled in
|
||
* the course of processing class symbols.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_MEMACCESS:
|
||
/* DDE ignores this symbol table record.
|
||
* It has something to do with "modified access" to class members.
|
||
* I'll assume we can safely ignore it too.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_INHERITANCE:
|
||
/* These don't have to be handled here, since they are handled
|
||
* within hpread_read_struct_type() in the process of constructing
|
||
* a class type.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_FRIEND_CLASS:
|
||
case DNTT_TYPE_FRIEND_FUNC:
|
||
/* These can safely be ignored, as GDB doesn't need this
|
||
* info. DDE only uses it in "describe". We may later want
|
||
* to extend GDB's "ptype" to give this info, but for now
|
||
* it seems safe enough to ignore it.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_MODIFIER:
|
||
/* Intended to supply "modified access" to a type */
|
||
/* From the way DDE handles this, it looks like it always
|
||
* modifies a type. Therefore it is safe to ignore it at this
|
||
* level, and handle it in hpread_type_lookup().
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_OBJECT_ID:
|
||
/* Just ignore this - that's all DDE does */
|
||
break;
|
||
|
||
case DNTT_TYPE_MEMFUNC:
|
||
/* Member function */
|
||
/* This does not have to be handled at this level; handled in
|
||
* the course of processing class symbols.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_DOC_MEMFUNC:
|
||
/* Member function */
|
||
/* This does not have to be handled at this level; handled in
|
||
* the course of processing class symbols.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_TEMPLATE:
|
||
/* Template - sort of the header for a template definition,
|
||
* which like a class, points to a member list and also points
|
||
* to a TEMPLATE_ARG list of type-arguments.
|
||
* We do not need to process TEMPLATE records at this level though.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_TEMPLATE_ARG:
|
||
/* The TEMPLATE record points to an argument list of
|
||
* TEMPLATE_ARG records, each of which describes one
|
||
* of the type-arguments.
|
||
* We do not need to process TEMPLATE_ARG records at this level though.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_FUNC_TEMPLATE:
|
||
/* This will get emitted for member functions of templates.
|
||
* But we don't need to process this record at this level though,
|
||
* we will process it in the course of processing a TEMPLATE
|
||
* record.
|
||
*/
|
||
break;
|
||
|
||
case DNTT_TYPE_LINK:
|
||
/* The LINK record is used to link up templates with instantiations. */
|
||
/* It is not clear why this is needed, and furthermore aCC does
|
||
* not appear to generate this, so I think we can safely ignore it. - RT
|
||
*/
|
||
break;
|
||
|
||
/* DNTT_TYPE_DYN_ARRAY_DESC is not handled by GDB */
|
||
/* DNTT_TYPE_DESC_SUBRANGE is not handled by GDB */
|
||
/* DNTT_TYPE_BEGIN_EXT is not handled by GDB */
|
||
/* DNTT_TYPE_INLN is not handled by GDB */
|
||
/* DNTT_TYPE_INLN_LIST is not handled by GDB */
|
||
/* DNTT_TYPE_ALIAS is not handled by GDB */
|
||
|
||
default:
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* Get nesting depth for a DNTT entry.
|
||
* DN_BUFP points to a DNTT entry.
|
||
* OBJFILE is the object file.
|
||
* REPORT_NESTED is a flag; if 0, real nesting depth is
|
||
* reported, if it is 1, the function simply returns a
|
||
* non-zero value if the nesting depth is anything > 0.
|
||
*
|
||
* Return value is an integer. 0 => not a local type / name
|
||
* positive return => type or name is local to some
|
||
* block or function.
|
||
*/
|
||
|
||
|
||
/* elz: ATTENTION: FIXME: NOTE: WARNING!!!!
|
||
this function now returns 0 right away. It was taking too much time
|
||
at start up. Now, though, the local types are not handled correctly.
|
||
*/
|
||
|
||
|
||
static int
|
||
hpread_get_scope_depth (union dnttentry *dn_bufp, struct objfile *objfile,
|
||
int report_nested)
|
||
{
|
||
register int index;
|
||
register union dnttentry *dn_tmp;
|
||
register short depth = 0;
|
||
/****************************/
|
||
return 0;
|
||
/****************************/
|
||
|
||
index = (((char *) dn_bufp) - LNTT (objfile)) / (sizeof (struct dntt_type_block));
|
||
|
||
while (--index >= 0)
|
||
{
|
||
dn_tmp = hpread_get_lntt (index, objfile);
|
||
switch (dn_tmp->dblock.kind)
|
||
{
|
||
case DNTT_TYPE_MODULE:
|
||
return depth;
|
||
case DNTT_TYPE_END:
|
||
/* index is signed int; dnttp.index is 29-bit unsigned int! */
|
||
index = (int) dn_tmp->dend.beginscope.dnttp.index;
|
||
break;
|
||
case DNTT_TYPE_BEGIN:
|
||
case DNTT_TYPE_FUNCTION:
|
||
case DNTT_TYPE_DOC_FUNCTION:
|
||
case DNTT_TYPE_WITH:
|
||
case DNTT_TYPE_COMMON:
|
||
case DNTT_TYPE_CLASS_SCOPE:
|
||
depth++;
|
||
if (report_nested)
|
||
return 1;
|
||
break;
|
||
default:
|
||
break;
|
||
}
|
||
}
|
||
return depth;
|
||
}
|
||
|
||
/* Adjust the bitoffsets for all fields of an anonymous union of
|
||
type TYPE by negative BITS. This handles HP aCC's hideous habit
|
||
of giving members of anonymous unions bit offsets relative to the
|
||
enclosing structure instead of relative to the union itself. */
|
||
|
||
static void
|
||
hpread_adjust_bitoffsets (struct type *type, int bits)
|
||
{
|
||
register int i;
|
||
|
||
/* This is done only for unions; caller had better check that
|
||
it is an anonymous one. */
|
||
if (TYPE_CODE (type) != TYPE_CODE_UNION)
|
||
return;
|
||
|
||
/* Adjust each field; since this is a union, there are no base
|
||
classes. Also no static membes. Also, no need for recursion as
|
||
the members of this union if themeselves structs or unions, have
|
||
the correct bitoffsets; if an anonymous union is a member of this
|
||
anonymous union, the code in hpread_read_struct_type() will
|
||
adjust for that. */
|
||
|
||
for (i = 0; i < TYPE_NFIELDS (type); i++)
|
||
TYPE_FIELD_BITPOS (type, i) -= bits;
|
||
}
|
||
|
||
/* Because of quirks in HP compilers' treatment of anonymous unions inside
|
||
classes, we have to chase through a chain of threaded FIELD entries.
|
||
If we encounter an anonymous union in the chain, we must recursively skip over
|
||
that too.
|
||
|
||
This function does a "next" in the chain of FIELD entries, but transparently
|
||
skips over anonymous unions' fields (recursively).
|
||
|
||
Inputs are the number of times to do "next" at the top level, the dnttpointer
|
||
(FIELD) and entry pointer (FIELDP) for the dntt record corresponding to it,
|
||
and the ubiquitous objfile parameter. (Note: FIELDP is a **.) Return value
|
||
is a dnttpointer for the new field after all the skipped ones */
|
||
|
||
static dnttpointer
|
||
hpread_get_next_skip_over_anon_unions (int skip_fields, dnttpointer field,
|
||
union dnttentry **fieldp,
|
||
struct objfile *objfile)
|
||
{
|
||
struct type *anon_type;
|
||
register int i;
|
||
int bitoffset;
|
||
char *name;
|
||
|
||
for (i = 0; i < skip_fields; i++)
|
||
{
|
||
/* Get type of item we're looking at now; recursively processes the types
|
||
of these intermediate items we skip over, so they aren't lost. */
|
||
anon_type = hpread_type_lookup ((*fieldp)->dfield.type, objfile);
|
||
anon_type = CHECK_TYPEDEF (anon_type);
|
||
bitoffset = (*fieldp)->dfield.bitoffset;
|
||
name = VT (objfile) + (*fieldp)->dfield.name;
|
||
/* First skip over one item to avoid stack death on recursion */
|
||
field = (*fieldp)->dfield.nextfield;
|
||
*fieldp = hpread_get_lntt (field.dnttp.index, objfile);
|
||
/* Do we have another anonymous union? If so, adjust the bitoffsets
|
||
of its members and skip over its members. */
|
||
if ((TYPE_CODE (anon_type) == TYPE_CODE_UNION) &&
|
||
(!name || STREQ (name, "")))
|
||
{
|
||
hpread_adjust_bitoffsets (anon_type, bitoffset);
|
||
field = hpread_get_next_skip_over_anon_unions (TYPE_NFIELDS (anon_type), field, fieldp, objfile);
|
||
}
|
||
}
|
||
return field;
|
||
}
|