e361b228f2
* objfiles.c (objfile_has_symbols): New function. * objfiles.h (objfile_has_symbols): Add prototype. * symfile.c (symbol_file_add_with_addrs_or_offsets): Call objfile_has_symbols. (reread_symbols): Ditto.
1324 lines
36 KiB
C
1324 lines
36 KiB
C
/* GDB routines for manipulating objfiles.
|
||
|
||
Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
|
||
2002, 2003, 2004, 2007, 2008, 2009 Free Software Foundation, Inc.
|
||
|
||
Contributed by Cygnus Support, using pieces from other GDB modules.
|
||
|
||
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 3 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, see <http://www.gnu.org/licenses/>. */
|
||
|
||
/* This file contains support routines for creating, manipulating, and
|
||
destroying objfile structures. */
|
||
|
||
#include "defs.h"
|
||
#include "bfd.h" /* Binary File Description */
|
||
#include "symtab.h"
|
||
#include "symfile.h"
|
||
#include "objfiles.h"
|
||
#include "gdb-stabs.h"
|
||
#include "target.h"
|
||
#include "bcache.h"
|
||
#include "mdebugread.h"
|
||
#include "expression.h"
|
||
#include "parser-defs.h"
|
||
|
||
#include "gdb_assert.h"
|
||
#include <sys/types.h>
|
||
#include "gdb_stat.h"
|
||
#include <fcntl.h>
|
||
#include "gdb_obstack.h"
|
||
#include "gdb_string.h"
|
||
#include "hashtab.h"
|
||
|
||
#include "breakpoint.h"
|
||
#include "block.h"
|
||
#include "dictionary.h"
|
||
#include "source.h"
|
||
#include "addrmap.h"
|
||
#include "arch-utils.h"
|
||
#include "exec.h"
|
||
#include "observer.h"
|
||
#include "complaints.h"
|
||
|
||
/* Prototypes for local functions */
|
||
|
||
static void objfile_alloc_data (struct objfile *objfile);
|
||
static void objfile_free_data (struct objfile *objfile);
|
||
|
||
/* Externally visible variables that are owned by this module.
|
||
See declarations in objfile.h for more info. */
|
||
|
||
struct objfile *object_files; /* Linked list of all objfiles */
|
||
struct objfile *current_objfile; /* For symbol file being read in */
|
||
struct objfile *symfile_objfile; /* Main symbol table loaded from */
|
||
struct objfile *rt_common_objfile; /* For runtime common symbols */
|
||
|
||
/* Records whether any objfiles appeared or disappeared since we last updated
|
||
address to obj section map. */
|
||
|
||
static int objfiles_changed_p;
|
||
|
||
/* Locate all mappable sections of a BFD file.
|
||
objfile_p_char is a char * to get it through
|
||
bfd_map_over_sections; we cast it back to its proper type. */
|
||
|
||
/* Called via bfd_map_over_sections to build up the section table that
|
||
the objfile references. The objfile contains pointers to the start
|
||
of the table (objfile->sections) and to the first location after
|
||
the end of the table (objfile->sections_end). */
|
||
|
||
static void
|
||
add_to_objfile_sections (struct bfd *abfd, struct bfd_section *asect,
|
||
void *objfile_p_char)
|
||
{
|
||
struct objfile *objfile = (struct objfile *) objfile_p_char;
|
||
struct obj_section section;
|
||
flagword aflag;
|
||
|
||
aflag = bfd_get_section_flags (abfd, asect);
|
||
|
||
if (!(aflag & SEC_ALLOC))
|
||
return;
|
||
|
||
if (0 == bfd_section_size (abfd, asect))
|
||
return;
|
||
section.objfile = objfile;
|
||
section.the_bfd_section = asect;
|
||
section.ovly_mapped = 0;
|
||
obstack_grow (&objfile->objfile_obstack, (char *) §ion, sizeof (section));
|
||
objfile->sections_end
|
||
= (struct obj_section *) (((size_t) objfile->sections_end) + 1);
|
||
}
|
||
|
||
/* Builds a section table for OBJFILE.
|
||
Returns 0 if OK, 1 on error (in which case bfd_error contains the
|
||
error).
|
||
|
||
Note that while we are building the table, which goes into the
|
||
psymbol obstack, we hijack the sections_end pointer to instead hold
|
||
a count of the number of sections. When bfd_map_over_sections
|
||
returns, this count is used to compute the pointer to the end of
|
||
the sections table, which then overwrites the count.
|
||
|
||
Also note that the OFFSET and OVLY_MAPPED in each table entry
|
||
are initialized to zero.
|
||
|
||
Also note that if anything else writes to the psymbol obstack while
|
||
we are building the table, we're pretty much hosed. */
|
||
|
||
int
|
||
build_objfile_section_table (struct objfile *objfile)
|
||
{
|
||
/* objfile->sections can be already set when reading a mapped symbol
|
||
file. I believe that we do need to rebuild the section table in
|
||
this case (we rebuild other things derived from the bfd), but we
|
||
can't free the old one (it's in the objfile_obstack). So we just
|
||
waste some memory. */
|
||
|
||
objfile->sections_end = 0;
|
||
bfd_map_over_sections (objfile->obfd,
|
||
add_to_objfile_sections, (void *) objfile);
|
||
objfile->sections = obstack_finish (&objfile->objfile_obstack);
|
||
objfile->sections_end = objfile->sections + (size_t) objfile->sections_end;
|
||
return (0);
|
||
}
|
||
|
||
/* Given a pointer to an initialized bfd (ABFD) and some flag bits
|
||
allocate a new objfile struct, fill it in as best we can, link it
|
||
into the list of all known objfiles, and return a pointer to the
|
||
new objfile struct.
|
||
|
||
The FLAGS word contains various bits (OBJF_*) that can be taken as
|
||
requests for specific operations. Other bits like OBJF_SHARED are
|
||
simply copied through to the new objfile flags member. */
|
||
|
||
/* NOTE: carlton/2003-02-04: This function is called with args NULL, 0
|
||
by jv-lang.c, to create an artificial objfile used to hold
|
||
information about dynamically-loaded Java classes. Unfortunately,
|
||
that branch of this function doesn't get tested very frequently, so
|
||
it's prone to breakage. (E.g. at one time the name was set to NULL
|
||
in that situation, which broke a loop over all names in the dynamic
|
||
library loader.) If you change this function, please try to leave
|
||
things in a consistent state even if abfd is NULL. */
|
||
|
||
struct objfile *
|
||
allocate_objfile (bfd *abfd, int flags)
|
||
{
|
||
struct objfile *objfile = NULL;
|
||
struct objfile *last_one = NULL;
|
||
|
||
/* If we don't support mapped symbol files, didn't ask for the file to be
|
||
mapped, or failed to open the mapped file for some reason, then revert
|
||
back to an unmapped objfile. */
|
||
|
||
if (objfile == NULL)
|
||
{
|
||
objfile = (struct objfile *) xmalloc (sizeof (struct objfile));
|
||
memset (objfile, 0, sizeof (struct objfile));
|
||
objfile->psymbol_cache = bcache_xmalloc ();
|
||
objfile->macro_cache = bcache_xmalloc ();
|
||
/* We could use obstack_specify_allocation here instead, but
|
||
gdb_obstack.h specifies the alloc/dealloc functions. */
|
||
obstack_init (&objfile->objfile_obstack);
|
||
terminate_minimal_symbol_table (objfile);
|
||
}
|
||
|
||
objfile_alloc_data (objfile);
|
||
|
||
/* Update the per-objfile information that comes from the bfd, ensuring
|
||
that any data that is reference is saved in the per-objfile data
|
||
region. */
|
||
|
||
objfile->obfd = gdb_bfd_ref (abfd);
|
||
if (objfile->name != NULL)
|
||
{
|
||
xfree (objfile->name);
|
||
}
|
||
if (abfd != NULL)
|
||
{
|
||
/* Look up the gdbarch associated with the BFD. */
|
||
objfile->gdbarch = gdbarch_from_bfd (abfd);
|
||
|
||
objfile->name = xstrdup (bfd_get_filename (abfd));
|
||
objfile->mtime = bfd_get_mtime (abfd);
|
||
|
||
/* Build section table. */
|
||
|
||
if (build_objfile_section_table (objfile))
|
||
{
|
||
error (_("Can't find the file sections in `%s': %s"),
|
||
objfile->name, bfd_errmsg (bfd_get_error ()));
|
||
}
|
||
}
|
||
else
|
||
{
|
||
objfile->name = xstrdup ("<<anonymous objfile>>");
|
||
}
|
||
|
||
/* Initialize the section indexes for this objfile, so that we can
|
||
later detect if they are used w/o being properly assigned to. */
|
||
|
||
objfile->sect_index_text = -1;
|
||
objfile->sect_index_data = -1;
|
||
objfile->sect_index_bss = -1;
|
||
objfile->sect_index_rodata = -1;
|
||
|
||
/* We don't yet have a C++-specific namespace symtab. */
|
||
|
||
objfile->cp_namespace_symtab = NULL;
|
||
|
||
/* Add this file onto the tail of the linked list of other such files. */
|
||
|
||
objfile->next = NULL;
|
||
if (object_files == NULL)
|
||
object_files = objfile;
|
||
else
|
||
{
|
||
for (last_one = object_files;
|
||
last_one->next;
|
||
last_one = last_one->next);
|
||
last_one->next = objfile;
|
||
}
|
||
|
||
/* Save passed in flag bits. */
|
||
objfile->flags |= flags;
|
||
|
||
objfiles_changed_p = 1; /* Rebuild section map next time we need it. */
|
||
|
||
return (objfile);
|
||
}
|
||
|
||
/* Retrieve the gdbarch associated with OBJFILE. */
|
||
struct gdbarch *
|
||
get_objfile_arch (struct objfile *objfile)
|
||
{
|
||
return objfile->gdbarch;
|
||
}
|
||
|
||
/* Initialize entry point information for this objfile. */
|
||
|
||
void
|
||
init_entry_point_info (struct objfile *objfile)
|
||
{
|
||
/* Save startup file's range of PC addresses to help blockframe.c
|
||
decide where the bottom of the stack is. */
|
||
|
||
if (bfd_get_file_flags (objfile->obfd) & EXEC_P)
|
||
{
|
||
/* Executable file -- record its entry point so we'll recognize
|
||
the startup file because it contains the entry point. */
|
||
objfile->ei.entry_point = bfd_get_start_address (objfile->obfd);
|
||
}
|
||
else if (bfd_get_file_flags (objfile->obfd) & DYNAMIC
|
||
&& bfd_get_start_address (objfile->obfd) != 0)
|
||
/* Some shared libraries may have entry points set and be
|
||
runnable. There's no clear way to indicate this, so just check
|
||
for values other than zero. */
|
||
objfile->ei.entry_point = bfd_get_start_address (objfile->obfd);
|
||
else
|
||
{
|
||
/* Examination of non-executable.o files. Short-circuit this stuff. */
|
||
objfile->ei.entry_point = INVALID_ENTRY_POINT;
|
||
}
|
||
}
|
||
|
||
/* Get current entry point address. */
|
||
|
||
CORE_ADDR
|
||
entry_point_address (void)
|
||
{
|
||
struct gdbarch *gdbarch;
|
||
CORE_ADDR entry_point;
|
||
|
||
if (symfile_objfile == NULL)
|
||
return 0;
|
||
|
||
gdbarch = get_objfile_arch (symfile_objfile);
|
||
|
||
entry_point = symfile_objfile->ei.entry_point;
|
||
|
||
/* Make certain that the address points at real code, and not a
|
||
function descriptor. */
|
||
entry_point = gdbarch_convert_from_func_ptr_addr (gdbarch, entry_point,
|
||
¤t_target);
|
||
|
||
/* Remove any ISA markers, so that this matches entries in the
|
||
symbol table. */
|
||
entry_point = gdbarch_addr_bits_remove (gdbarch, entry_point);
|
||
|
||
return entry_point;
|
||
}
|
||
|
||
/* Create the terminating entry of OBJFILE's minimal symbol table.
|
||
If OBJFILE->msymbols is zero, allocate a single entry from
|
||
OBJFILE->objfile_obstack; otherwise, just initialize
|
||
OBJFILE->msymbols[OBJFILE->minimal_symbol_count]. */
|
||
void
|
||
terminate_minimal_symbol_table (struct objfile *objfile)
|
||
{
|
||
if (! objfile->msymbols)
|
||
objfile->msymbols = ((struct minimal_symbol *)
|
||
obstack_alloc (&objfile->objfile_obstack,
|
||
sizeof (objfile->msymbols[0])));
|
||
|
||
{
|
||
struct minimal_symbol *m
|
||
= &objfile->msymbols[objfile->minimal_symbol_count];
|
||
|
||
memset (m, 0, sizeof (*m));
|
||
/* Don't rely on these enumeration values being 0's. */
|
||
MSYMBOL_TYPE (m) = mst_unknown;
|
||
SYMBOL_INIT_LANGUAGE_SPECIFIC (m, language_unknown);
|
||
}
|
||
}
|
||
|
||
|
||
/* Put one object file before a specified on in the global list.
|
||
This can be used to make sure an object file is destroyed before
|
||
another when using ALL_OBJFILES_SAFE to free all objfiles. */
|
||
void
|
||
put_objfile_before (struct objfile *objfile, struct objfile *before_this)
|
||
{
|
||
struct objfile **objp;
|
||
|
||
unlink_objfile (objfile);
|
||
|
||
for (objp = &object_files; *objp != NULL; objp = &((*objp)->next))
|
||
{
|
||
if (*objp == before_this)
|
||
{
|
||
objfile->next = *objp;
|
||
*objp = objfile;
|
||
return;
|
||
}
|
||
}
|
||
|
||
internal_error (__FILE__, __LINE__,
|
||
_("put_objfile_before: before objfile not in list"));
|
||
}
|
||
|
||
/* Put OBJFILE at the front of the list. */
|
||
|
||
void
|
||
objfile_to_front (struct objfile *objfile)
|
||
{
|
||
struct objfile **objp;
|
||
for (objp = &object_files; *objp != NULL; objp = &((*objp)->next))
|
||
{
|
||
if (*objp == objfile)
|
||
{
|
||
/* Unhook it from where it is. */
|
||
*objp = objfile->next;
|
||
/* Put it in the front. */
|
||
objfile->next = object_files;
|
||
object_files = objfile;
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
|
||
/* Unlink OBJFILE from the list of known objfiles, if it is found in the
|
||
list.
|
||
|
||
It is not a bug, or error, to call this function if OBJFILE is not known
|
||
to be in the current list. This is done in the case of mapped objfiles,
|
||
for example, just to ensure that the mapped objfile doesn't appear twice
|
||
in the list. Since the list is threaded, linking in a mapped objfile
|
||
twice would create a circular list.
|
||
|
||
If OBJFILE turns out to be in the list, we zap it's NEXT pointer after
|
||
unlinking it, just to ensure that we have completely severed any linkages
|
||
between the OBJFILE and the list. */
|
||
|
||
void
|
||
unlink_objfile (struct objfile *objfile)
|
||
{
|
||
struct objfile **objpp;
|
||
|
||
for (objpp = &object_files; *objpp != NULL; objpp = &((*objpp)->next))
|
||
{
|
||
if (*objpp == objfile)
|
||
{
|
||
*objpp = (*objpp)->next;
|
||
objfile->next = NULL;
|
||
return;
|
||
}
|
||
}
|
||
|
||
internal_error (__FILE__, __LINE__,
|
||
_("unlink_objfile: objfile already unlinked"));
|
||
}
|
||
|
||
|
||
/* Destroy an objfile and all the symtabs and psymtabs under it. Note
|
||
that as much as possible is allocated on the objfile_obstack
|
||
so that the memory can be efficiently freed.
|
||
|
||
Things which we do NOT free because they are not in malloc'd memory
|
||
or not in memory specific to the objfile include:
|
||
|
||
objfile -> sf
|
||
|
||
FIXME: If the objfile is using reusable symbol information (via mmalloc),
|
||
then we need to take into account the fact that more than one process
|
||
may be using the symbol information at the same time (when mmalloc is
|
||
extended to support cooperative locking). When more than one process
|
||
is using the mapped symbol info, we need to be more careful about when
|
||
we free objects in the reusable area. */
|
||
|
||
void
|
||
free_objfile (struct objfile *objfile)
|
||
{
|
||
if (objfile->separate_debug_objfile)
|
||
{
|
||
free_objfile (objfile->separate_debug_objfile);
|
||
}
|
||
|
||
if (objfile->separate_debug_objfile_backlink)
|
||
{
|
||
/* We freed the separate debug file, make sure the base objfile
|
||
doesn't reference it. */
|
||
objfile->separate_debug_objfile_backlink->separate_debug_objfile = NULL;
|
||
}
|
||
|
||
/* Remove any references to this objfile in the global value
|
||
lists. */
|
||
preserve_values (objfile);
|
||
|
||
/* First do any symbol file specific actions required when we are
|
||
finished with a particular symbol file. Note that if the objfile
|
||
is using reusable symbol information (via mmalloc) then each of
|
||
these routines is responsible for doing the correct thing, either
|
||
freeing things which are valid only during this particular gdb
|
||
execution, or leaving them to be reused during the next one. */
|
||
|
||
if (objfile->sf != NULL)
|
||
{
|
||
(*objfile->sf->sym_finish) (objfile);
|
||
}
|
||
|
||
/* Discard any data modules have associated with the objfile. */
|
||
objfile_free_data (objfile);
|
||
|
||
gdb_bfd_unref (objfile->obfd);
|
||
|
||
/* Remove it from the chain of all objfiles. */
|
||
|
||
unlink_objfile (objfile);
|
||
|
||
if (objfile == symfile_objfile)
|
||
symfile_objfile = NULL;
|
||
|
||
if (objfile == rt_common_objfile)
|
||
rt_common_objfile = NULL;
|
||
|
||
/* Before the symbol table code was redone to make it easier to
|
||
selectively load and remove information particular to a specific
|
||
linkage unit, gdb used to do these things whenever the monolithic
|
||
symbol table was blown away. How much still needs to be done
|
||
is unknown, but we play it safe for now and keep each action until
|
||
it is shown to be no longer needed. */
|
||
|
||
/* Not all our callers call clear_symtab_users (objfile_purge_solibs,
|
||
for example), so we need to call this here. */
|
||
clear_pc_function_cache ();
|
||
|
||
/* Clear globals which might have pointed into a removed objfile.
|
||
FIXME: It's not clear which of these are supposed to persist
|
||
between expressions and which ought to be reset each time. */
|
||
expression_context_block = NULL;
|
||
innermost_block = NULL;
|
||
|
||
/* Check to see if the current_source_symtab belongs to this objfile,
|
||
and if so, call clear_current_source_symtab_and_line. */
|
||
|
||
{
|
||
struct symtab_and_line cursal = get_current_source_symtab_and_line ();
|
||
struct symtab *s;
|
||
|
||
ALL_OBJFILE_SYMTABS (objfile, s)
|
||
{
|
||
if (s == cursal.symtab)
|
||
clear_current_source_symtab_and_line ();
|
||
}
|
||
}
|
||
|
||
/* The last thing we do is free the objfile struct itself. */
|
||
|
||
if (objfile->name != NULL)
|
||
{
|
||
xfree (objfile->name);
|
||
}
|
||
if (objfile->global_psymbols.list)
|
||
xfree (objfile->global_psymbols.list);
|
||
if (objfile->static_psymbols.list)
|
||
xfree (objfile->static_psymbols.list);
|
||
/* Free the obstacks for non-reusable objfiles */
|
||
bcache_xfree (objfile->psymbol_cache);
|
||
bcache_xfree (objfile->macro_cache);
|
||
if (objfile->demangled_names_hash)
|
||
htab_delete (objfile->demangled_names_hash);
|
||
obstack_free (&objfile->objfile_obstack, 0);
|
||
xfree (objfile);
|
||
objfile = NULL;
|
||
objfiles_changed_p = 1; /* Rebuild section map next time we need it. */
|
||
}
|
||
|
||
static void
|
||
do_free_objfile_cleanup (void *obj)
|
||
{
|
||
free_objfile (obj);
|
||
}
|
||
|
||
struct cleanup *
|
||
make_cleanup_free_objfile (struct objfile *obj)
|
||
{
|
||
return make_cleanup (do_free_objfile_cleanup, obj);
|
||
}
|
||
|
||
/* Free all the object files at once and clean up their users. */
|
||
|
||
void
|
||
free_all_objfiles (void)
|
||
{
|
||
struct objfile *objfile, *temp;
|
||
|
||
ALL_OBJFILES_SAFE (objfile, temp)
|
||
{
|
||
free_objfile (objfile);
|
||
}
|
||
clear_symtab_users ();
|
||
}
|
||
|
||
/* Relocate OBJFILE to NEW_OFFSETS. There should be OBJFILE->NUM_SECTIONS
|
||
entries in new_offsets. */
|
||
void
|
||
objfile_relocate (struct objfile *objfile, struct section_offsets *new_offsets)
|
||
{
|
||
struct obj_section *s;
|
||
struct section_offsets *delta =
|
||
((struct section_offsets *)
|
||
alloca (SIZEOF_N_SECTION_OFFSETS (objfile->num_sections)));
|
||
|
||
{
|
||
int i;
|
||
int something_changed = 0;
|
||
for (i = 0; i < objfile->num_sections; ++i)
|
||
{
|
||
delta->offsets[i] =
|
||
ANOFFSET (new_offsets, i) - ANOFFSET (objfile->section_offsets, i);
|
||
if (ANOFFSET (delta, i) != 0)
|
||
something_changed = 1;
|
||
}
|
||
if (!something_changed)
|
||
return;
|
||
}
|
||
|
||
/* OK, get all the symtabs. */
|
||
{
|
||
struct symtab *s;
|
||
|
||
ALL_OBJFILE_SYMTABS (objfile, s)
|
||
{
|
||
struct linetable *l;
|
||
struct blockvector *bv;
|
||
int i;
|
||
|
||
/* First the line table. */
|
||
l = LINETABLE (s);
|
||
if (l)
|
||
{
|
||
for (i = 0; i < l->nitems; ++i)
|
||
l->item[i].pc += ANOFFSET (delta, s->block_line_section);
|
||
}
|
||
|
||
/* Don't relocate a shared blockvector more than once. */
|
||
if (!s->primary)
|
||
continue;
|
||
|
||
bv = BLOCKVECTOR (s);
|
||
if (BLOCKVECTOR_MAP (bv))
|
||
addrmap_relocate (BLOCKVECTOR_MAP (bv),
|
||
ANOFFSET (delta, s->block_line_section));
|
||
|
||
for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); ++i)
|
||
{
|
||
struct block *b;
|
||
struct symbol *sym;
|
||
struct dict_iterator iter;
|
||
|
||
b = BLOCKVECTOR_BLOCK (bv, i);
|
||
BLOCK_START (b) += ANOFFSET (delta, s->block_line_section);
|
||
BLOCK_END (b) += ANOFFSET (delta, s->block_line_section);
|
||
|
||
ALL_BLOCK_SYMBOLS (b, iter, sym)
|
||
{
|
||
fixup_symbol_section (sym, objfile);
|
||
|
||
/* The RS6000 code from which this was taken skipped
|
||
any symbols in STRUCT_DOMAIN or UNDEF_DOMAIN.
|
||
But I'm leaving out that test, on the theory that
|
||
they can't possibly pass the tests below. */
|
||
if ((SYMBOL_CLASS (sym) == LOC_LABEL
|
||
|| SYMBOL_CLASS (sym) == LOC_STATIC)
|
||
&& SYMBOL_SECTION (sym) >= 0)
|
||
{
|
||
SYMBOL_VALUE_ADDRESS (sym) +=
|
||
ANOFFSET (delta, SYMBOL_SECTION (sym));
|
||
}
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
{
|
||
struct partial_symtab *p;
|
||
|
||
ALL_OBJFILE_PSYMTABS (objfile, p)
|
||
{
|
||
p->textlow += ANOFFSET (delta, SECT_OFF_TEXT (objfile));
|
||
p->texthigh += ANOFFSET (delta, SECT_OFF_TEXT (objfile));
|
||
}
|
||
}
|
||
|
||
{
|
||
struct partial_symbol **psym;
|
||
|
||
for (psym = objfile->global_psymbols.list;
|
||
psym < objfile->global_psymbols.next;
|
||
psym++)
|
||
{
|
||
fixup_psymbol_section (*psym, objfile);
|
||
if (SYMBOL_SECTION (*psym) >= 0)
|
||
SYMBOL_VALUE_ADDRESS (*psym) += ANOFFSET (delta,
|
||
SYMBOL_SECTION (*psym));
|
||
}
|
||
for (psym = objfile->static_psymbols.list;
|
||
psym < objfile->static_psymbols.next;
|
||
psym++)
|
||
{
|
||
fixup_psymbol_section (*psym, objfile);
|
||
if (SYMBOL_SECTION (*psym) >= 0)
|
||
SYMBOL_VALUE_ADDRESS (*psym) += ANOFFSET (delta,
|
||
SYMBOL_SECTION (*psym));
|
||
}
|
||
}
|
||
|
||
{
|
||
struct minimal_symbol *msym;
|
||
ALL_OBJFILE_MSYMBOLS (objfile, msym)
|
||
if (SYMBOL_SECTION (msym) >= 0)
|
||
SYMBOL_VALUE_ADDRESS (msym) += ANOFFSET (delta, SYMBOL_SECTION (msym));
|
||
}
|
||
/* Relocating different sections by different amounts may cause the symbols
|
||
to be out of order. */
|
||
msymbols_sort (objfile);
|
||
|
||
if (objfile->ei.entry_point != ~(CORE_ADDR) 0)
|
||
{
|
||
/* Relocate ei.entry_point with its section offset, use SECT_OFF_TEXT
|
||
only as a fallback. */
|
||
struct obj_section *s;
|
||
s = find_pc_section (objfile->ei.entry_point);
|
||
if (s)
|
||
objfile->ei.entry_point += ANOFFSET (delta, s->the_bfd_section->index);
|
||
else
|
||
objfile->ei.entry_point += ANOFFSET (delta, SECT_OFF_TEXT (objfile));
|
||
}
|
||
|
||
{
|
||
int i;
|
||
for (i = 0; i < objfile->num_sections; ++i)
|
||
(objfile->section_offsets)->offsets[i] = ANOFFSET (new_offsets, i);
|
||
}
|
||
|
||
/* Rebuild section map next time we need it. */
|
||
objfiles_changed_p = 1;
|
||
|
||
/* Update the table in exec_ops, used to read memory. */
|
||
ALL_OBJFILE_OSECTIONS (objfile, s)
|
||
{
|
||
int idx = s->the_bfd_section->index;
|
||
|
||
exec_set_section_address (bfd_get_filename (objfile->obfd), idx,
|
||
obj_section_addr (s));
|
||
}
|
||
|
||
/* Relocate breakpoints as necessary, after things are relocated. */
|
||
breakpoint_re_set ();
|
||
}
|
||
|
||
/* Return non-zero if OBJFILE has partial symbols. */
|
||
|
||
int
|
||
objfile_has_partial_symbols (struct objfile *objfile)
|
||
{
|
||
return objfile->psymtabs != NULL;
|
||
}
|
||
|
||
/* Return non-zero if OBJFILE has full symbols. */
|
||
|
||
int
|
||
objfile_has_full_symbols (struct objfile *objfile)
|
||
{
|
||
return objfile->symtabs != NULL;
|
||
}
|
||
|
||
/* Return non-zero if OBJFILE has full or partial symbols, either directly
|
||
or throught its separate debug file. */
|
||
|
||
int
|
||
objfile_has_symbols (struct objfile *objfile)
|
||
{
|
||
struct objfile *separate_objfile;
|
||
|
||
if (objfile_has_partial_symbols (objfile)
|
||
|| objfile_has_full_symbols (objfile))
|
||
return 1;
|
||
|
||
separate_objfile = objfile->separate_debug_objfile;
|
||
if (separate_objfile == NULL)
|
||
return 0;
|
||
|
||
if (objfile_has_partial_symbols (separate_objfile)
|
||
|| objfile_has_full_symbols (separate_objfile))
|
||
return 1;
|
||
|
||
return 0;
|
||
}
|
||
|
||
|
||
/* Many places in gdb want to test just to see if we have any partial
|
||
symbols available. This function returns zero if none are currently
|
||
available, nonzero otherwise. */
|
||
|
||
int
|
||
have_partial_symbols (void)
|
||
{
|
||
struct objfile *ofp;
|
||
|
||
ALL_OBJFILES (ofp)
|
||
{
|
||
if (objfile_has_partial_symbols (ofp))
|
||
return 1;
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
/* Many places in gdb want to test just to see if we have any full
|
||
symbols available. This function returns zero if none are currently
|
||
available, nonzero otherwise. */
|
||
|
||
int
|
||
have_full_symbols (void)
|
||
{
|
||
struct objfile *ofp;
|
||
|
||
ALL_OBJFILES (ofp)
|
||
{
|
||
if (objfile_has_full_symbols (ofp))
|
||
return 1;
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
|
||
/* This operations deletes all objfile entries that represent solibs that
|
||
weren't explicitly loaded by the user, via e.g., the add-symbol-file
|
||
command.
|
||
*/
|
||
void
|
||
objfile_purge_solibs (void)
|
||
{
|
||
struct objfile *objf;
|
||
struct objfile *temp;
|
||
|
||
ALL_OBJFILES_SAFE (objf, temp)
|
||
{
|
||
/* We assume that the solib package has been purged already, or will
|
||
be soon.
|
||
*/
|
||
if (!(objf->flags & OBJF_USERLOADED) && (objf->flags & OBJF_SHARED))
|
||
free_objfile (objf);
|
||
}
|
||
}
|
||
|
||
|
||
/* Many places in gdb want to test just to see if we have any minimal
|
||
symbols available. This function returns zero if none are currently
|
||
available, nonzero otherwise. */
|
||
|
||
int
|
||
have_minimal_symbols (void)
|
||
{
|
||
struct objfile *ofp;
|
||
|
||
ALL_OBJFILES (ofp)
|
||
{
|
||
if (ofp->minimal_symbol_count > 0)
|
||
{
|
||
return 1;
|
||
}
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
/* Qsort comparison function. */
|
||
|
||
static int
|
||
qsort_cmp (const void *a, const void *b)
|
||
{
|
||
const struct obj_section *sect1 = *(const struct obj_section **) a;
|
||
const struct obj_section *sect2 = *(const struct obj_section **) b;
|
||
const CORE_ADDR sect1_addr = obj_section_addr (sect1);
|
||
const CORE_ADDR sect2_addr = obj_section_addr (sect2);
|
||
|
||
if (sect1_addr < sect2_addr)
|
||
return -1;
|
||
else if (sect1_addr > sect2_addr)
|
||
return 1;
|
||
else
|
||
{
|
||
/* Sections are at the same address. This could happen if
|
||
A) we have an objfile and a separate debuginfo.
|
||
B) we are confused, and have added sections without proper relocation,
|
||
or something like that. */
|
||
|
||
const struct objfile *const objfile1 = sect1->objfile;
|
||
const struct objfile *const objfile2 = sect2->objfile;
|
||
|
||
if (objfile1->separate_debug_objfile == objfile2
|
||
|| objfile2->separate_debug_objfile == objfile1)
|
||
{
|
||
/* Case A. The ordering doesn't matter: separate debuginfo files
|
||
will be filtered out later. */
|
||
|
||
return 0;
|
||
}
|
||
|
||
/* Case B. Maintain stable sort order, so bugs in GDB are easier to
|
||
triage. This section could be slow (since we iterate over all
|
||
objfiles in each call to qsort_cmp), but this shouldn't happen
|
||
very often (GDB is already in a confused state; one hopes this
|
||
doesn't happen at all). If you discover that significant time is
|
||
spent in the loops below, do 'set complaints 100' and examine the
|
||
resulting complaints. */
|
||
|
||
if (objfile1 == objfile2)
|
||
{
|
||
/* Both sections came from the same objfile. We are really confused.
|
||
Sort on sequence order of sections within the objfile. */
|
||
|
||
const struct obj_section *osect;
|
||
|
||
ALL_OBJFILE_OSECTIONS (objfile1, osect)
|
||
if (osect == sect1)
|
||
return -1;
|
||
else if (osect == sect2)
|
||
return 1;
|
||
|
||
/* We should have found one of the sections before getting here. */
|
||
gdb_assert (0);
|
||
}
|
||
else
|
||
{
|
||
/* Sort on sequence number of the objfile in the chain. */
|
||
|
||
const struct objfile *objfile;
|
||
|
||
ALL_OBJFILES (objfile)
|
||
if (objfile == objfile1)
|
||
return -1;
|
||
else if (objfile == objfile2)
|
||
return 1;
|
||
|
||
/* We should have found one of the objfiles before getting here. */
|
||
gdb_assert (0);
|
||
}
|
||
|
||
}
|
||
|
||
/* Unreachable. */
|
||
gdb_assert (0);
|
||
return 0;
|
||
}
|
||
|
||
/* Select "better" obj_section to keep. We prefer the one that came from
|
||
the real object, rather than the one from separate debuginfo.
|
||
Most of the time the two sections are exactly identical, but with
|
||
prelinking the .rel.dyn section in the real object may have different
|
||
size. */
|
||
|
||
static struct obj_section *
|
||
preferred_obj_section (struct obj_section *a, struct obj_section *b)
|
||
{
|
||
gdb_assert (obj_section_addr (a) == obj_section_addr (b));
|
||
gdb_assert ((a->objfile->separate_debug_objfile == b->objfile)
|
||
|| (b->objfile->separate_debug_objfile == a->objfile));
|
||
gdb_assert ((a->objfile->separate_debug_objfile_backlink == b->objfile)
|
||
|| (b->objfile->separate_debug_objfile_backlink == a->objfile));
|
||
|
||
if (a->objfile->separate_debug_objfile != NULL)
|
||
return a;
|
||
return b;
|
||
}
|
||
|
||
/* Return 1 if SECTION should be inserted into the section map.
|
||
We want to insert only non-overlay and non-TLS section. */
|
||
|
||
static int
|
||
insert_section_p (const struct bfd *abfd,
|
||
const struct bfd_section *section)
|
||
{
|
||
const bfd_vma lma = bfd_section_lma (abfd, section);
|
||
|
||
if (lma != 0 && lma != bfd_section_vma (abfd, section)
|
||
&& (bfd_get_file_flags (abfd) & BFD_IN_MEMORY) == 0)
|
||
/* This is an overlay section. IN_MEMORY check is needed to avoid
|
||
discarding sections from the "system supplied DSO" (aka vdso)
|
||
on some Linux systems (e.g. Fedora 11). */
|
||
return 0;
|
||
if ((bfd_get_section_flags (abfd, section) & SEC_THREAD_LOCAL) != 0)
|
||
/* This is a TLS section. */
|
||
return 0;
|
||
|
||
return 1;
|
||
}
|
||
|
||
/* Filter out overlapping sections where one section came from the real
|
||
objfile, and the other from a separate debuginfo file.
|
||
Return the size of table after redundant sections have been eliminated. */
|
||
|
||
static int
|
||
filter_debuginfo_sections (struct obj_section **map, int map_size)
|
||
{
|
||
int i, j;
|
||
|
||
for (i = 0, j = 0; i < map_size - 1; i++)
|
||
{
|
||
struct obj_section *const sect1 = map[i];
|
||
struct obj_section *const sect2 = map[i + 1];
|
||
const struct objfile *const objfile1 = sect1->objfile;
|
||
const struct objfile *const objfile2 = sect2->objfile;
|
||
const CORE_ADDR sect1_addr = obj_section_addr (sect1);
|
||
const CORE_ADDR sect2_addr = obj_section_addr (sect2);
|
||
|
||
if (sect1_addr == sect2_addr
|
||
&& (objfile1->separate_debug_objfile == objfile2
|
||
|| objfile2->separate_debug_objfile == objfile1))
|
||
{
|
||
map[j++] = preferred_obj_section (sect1, sect2);
|
||
++i;
|
||
}
|
||
else
|
||
map[j++] = sect1;
|
||
}
|
||
|
||
if (i < map_size)
|
||
{
|
||
gdb_assert (i == map_size - 1);
|
||
map[j++] = map[i];
|
||
}
|
||
|
||
/* The map should not have shrunk to less than half the original size. */
|
||
gdb_assert (map_size / 2 <= j);
|
||
|
||
return j;
|
||
}
|
||
|
||
/* Filter out overlapping sections, issuing a warning if any are found.
|
||
Overlapping sections could really be overlay sections which we didn't
|
||
classify as such in insert_section_p, or we could be dealing with a
|
||
corrupt binary. */
|
||
|
||
static int
|
||
filter_overlapping_sections (struct obj_section **map, int map_size)
|
||
{
|
||
int i, j;
|
||
|
||
for (i = 0, j = 0; i < map_size - 1; )
|
||
{
|
||
int k;
|
||
|
||
map[j++] = map[i];
|
||
for (k = i + 1; k < map_size; k++)
|
||
{
|
||
struct obj_section *const sect1 = map[i];
|
||
struct obj_section *const sect2 = map[k];
|
||
const CORE_ADDR sect1_addr = obj_section_addr (sect1);
|
||
const CORE_ADDR sect2_addr = obj_section_addr (sect2);
|
||
const CORE_ADDR sect1_endaddr = obj_section_endaddr (sect1);
|
||
|
||
gdb_assert (sect1_addr <= sect2_addr);
|
||
|
||
if (sect1_endaddr <= sect2_addr)
|
||
break;
|
||
else
|
||
{
|
||
/* We have an overlap. Report it. */
|
||
|
||
struct objfile *const objf1 = sect1->objfile;
|
||
struct objfile *const objf2 = sect2->objfile;
|
||
|
||
const struct bfd *const abfd1 = objf1->obfd;
|
||
const struct bfd *const abfd2 = objf2->obfd;
|
||
|
||
const struct bfd_section *const bfds1 = sect1->the_bfd_section;
|
||
const struct bfd_section *const bfds2 = sect2->the_bfd_section;
|
||
|
||
const CORE_ADDR sect2_endaddr = obj_section_endaddr (sect2);
|
||
|
||
struct gdbarch *const gdbarch = get_objfile_arch (objf1);
|
||
|
||
complaint (&symfile_complaints,
|
||
_("unexpected overlap between:\n"
|
||
" (A) section `%s' from `%s' [%s, %s)\n"
|
||
" (B) section `%s' from `%s' [%s, %s).\n"
|
||
"Will ignore section B"),
|
||
bfd_section_name (abfd1, bfds1), objf1->name,
|
||
paddress (gdbarch, sect1_addr),
|
||
paddress (gdbarch, sect1_endaddr),
|
||
bfd_section_name (abfd2, bfds2), objf2->name,
|
||
paddress (gdbarch, sect2_addr),
|
||
paddress (gdbarch, sect2_endaddr));
|
||
}
|
||
}
|
||
i = k;
|
||
}
|
||
|
||
if (i < map_size)
|
||
{
|
||
gdb_assert (i == map_size - 1);
|
||
map[j++] = map[i];
|
||
}
|
||
|
||
return j;
|
||
}
|
||
|
||
|
||
/* Update PMAP, PMAP_SIZE with sections from all objfiles, excluding any
|
||
TLS, overlay and overlapping sections. */
|
||
|
||
static void
|
||
update_section_map (struct obj_section ***pmap, int *pmap_size)
|
||
{
|
||
int alloc_size, map_size, i;
|
||
struct obj_section *s, **map;
|
||
struct objfile *objfile;
|
||
|
||
gdb_assert (objfiles_changed_p != 0);
|
||
|
||
map = *pmap;
|
||
xfree (map);
|
||
|
||
alloc_size = 0;
|
||
ALL_OBJSECTIONS (objfile, s)
|
||
if (insert_section_p (objfile->obfd, s->the_bfd_section))
|
||
alloc_size += 1;
|
||
|
||
map = xmalloc (alloc_size * sizeof (*map));
|
||
|
||
i = 0;
|
||
ALL_OBJSECTIONS (objfile, s)
|
||
if (insert_section_p (objfile->obfd, s->the_bfd_section))
|
||
map[i++] = s;
|
||
|
||
qsort (map, alloc_size, sizeof (*map), qsort_cmp);
|
||
map_size = filter_debuginfo_sections(map, alloc_size);
|
||
map_size = filter_overlapping_sections(map, map_size);
|
||
|
||
if (map_size < alloc_size)
|
||
/* Some sections were eliminated. Trim excess space. */
|
||
map = xrealloc (map, map_size * sizeof (*map));
|
||
else
|
||
gdb_assert (alloc_size == map_size);
|
||
|
||
*pmap = map;
|
||
*pmap_size = map_size;
|
||
}
|
||
|
||
/* Bsearch comparison function. */
|
||
|
||
static int
|
||
bsearch_cmp (const void *key, const void *elt)
|
||
{
|
||
const CORE_ADDR pc = *(CORE_ADDR *) key;
|
||
const struct obj_section *section = *(const struct obj_section **) elt;
|
||
|
||
if (pc < obj_section_addr (section))
|
||
return -1;
|
||
if (pc < obj_section_endaddr (section))
|
||
return 0;
|
||
return 1;
|
||
}
|
||
|
||
/* Returns a section whose range includes PC or NULL if none found. */
|
||
|
||
struct obj_section *
|
||
find_pc_section (CORE_ADDR pc)
|
||
{
|
||
static struct obj_section **sections;
|
||
static int num_sections;
|
||
|
||
struct obj_section *s, **sp;
|
||
|
||
/* Check for mapped overlay section first. */
|
||
s = find_pc_mapped_section (pc);
|
||
if (s)
|
||
return s;
|
||
|
||
if (objfiles_changed_p != 0)
|
||
{
|
||
update_section_map (§ions, &num_sections);
|
||
|
||
/* Don't need updates to section map until objfiles are added
|
||
or removed. */
|
||
objfiles_changed_p = 0;
|
||
}
|
||
|
||
sp = (struct obj_section **) bsearch (&pc, sections, num_sections,
|
||
sizeof (*sections), bsearch_cmp);
|
||
if (sp != NULL)
|
||
return *sp;
|
||
return NULL;
|
||
}
|
||
|
||
|
||
/* In SVR4, we recognize a trampoline by it's section name.
|
||
That is, if the pc is in a section named ".plt" then we are in
|
||
a trampoline. */
|
||
|
||
int
|
||
in_plt_section (CORE_ADDR pc, char *name)
|
||
{
|
||
struct obj_section *s;
|
||
int retval = 0;
|
||
|
||
s = find_pc_section (pc);
|
||
|
||
retval = (s != NULL
|
||
&& s->the_bfd_section->name != NULL
|
||
&& strcmp (s->the_bfd_section->name, ".plt") == 0);
|
||
return (retval);
|
||
}
|
||
|
||
|
||
/* Keep a registry of per-objfile data-pointers required by other GDB
|
||
modules. */
|
||
|
||
struct objfile_data
|
||
{
|
||
unsigned index;
|
||
void (*save) (struct objfile *, void *);
|
||
void (*free) (struct objfile *, void *);
|
||
};
|
||
|
||
struct objfile_data_registration
|
||
{
|
||
struct objfile_data *data;
|
||
struct objfile_data_registration *next;
|
||
};
|
||
|
||
struct objfile_data_registry
|
||
{
|
||
struct objfile_data_registration *registrations;
|
||
unsigned num_registrations;
|
||
};
|
||
|
||
static struct objfile_data_registry objfile_data_registry = { NULL, 0 };
|
||
|
||
const struct objfile_data *
|
||
register_objfile_data_with_cleanup (void (*save) (struct objfile *, void *),
|
||
void (*free) (struct objfile *, void *))
|
||
{
|
||
struct objfile_data_registration **curr;
|
||
|
||
/* Append new registration. */
|
||
for (curr = &objfile_data_registry.registrations;
|
||
*curr != NULL; curr = &(*curr)->next);
|
||
|
||
*curr = XMALLOC (struct objfile_data_registration);
|
||
(*curr)->next = NULL;
|
||
(*curr)->data = XMALLOC (struct objfile_data);
|
||
(*curr)->data->index = objfile_data_registry.num_registrations++;
|
||
(*curr)->data->save = save;
|
||
(*curr)->data->free = free;
|
||
|
||
return (*curr)->data;
|
||
}
|
||
|
||
const struct objfile_data *
|
||
register_objfile_data (void)
|
||
{
|
||
return register_objfile_data_with_cleanup (NULL, NULL);
|
||
}
|
||
|
||
static void
|
||
objfile_alloc_data (struct objfile *objfile)
|
||
{
|
||
gdb_assert (objfile->data == NULL);
|
||
objfile->num_data = objfile_data_registry.num_registrations;
|
||
objfile->data = XCALLOC (objfile->num_data, void *);
|
||
}
|
||
|
||
static void
|
||
objfile_free_data (struct objfile *objfile)
|
||
{
|
||
gdb_assert (objfile->data != NULL);
|
||
clear_objfile_data (objfile);
|
||
xfree (objfile->data);
|
||
objfile->data = NULL;
|
||
}
|
||
|
||
void
|
||
clear_objfile_data (struct objfile *objfile)
|
||
{
|
||
struct objfile_data_registration *registration;
|
||
int i;
|
||
|
||
gdb_assert (objfile->data != NULL);
|
||
|
||
/* Process all the save handlers. */
|
||
|
||
for (registration = objfile_data_registry.registrations, i = 0;
|
||
i < objfile->num_data;
|
||
registration = registration->next, i++)
|
||
if (objfile->data[i] != NULL && registration->data->save != NULL)
|
||
registration->data->save (objfile, objfile->data[i]);
|
||
|
||
/* Now process all the free handlers. */
|
||
|
||
for (registration = objfile_data_registry.registrations, i = 0;
|
||
i < objfile->num_data;
|
||
registration = registration->next, i++)
|
||
if (objfile->data[i] != NULL && registration->data->free != NULL)
|
||
registration->data->free (objfile, objfile->data[i]);
|
||
|
||
memset (objfile->data, 0, objfile->num_data * sizeof (void *));
|
||
}
|
||
|
||
void
|
||
set_objfile_data (struct objfile *objfile, const struct objfile_data *data,
|
||
void *value)
|
||
{
|
||
gdb_assert (data->index < objfile->num_data);
|
||
objfile->data[data->index] = value;
|
||
}
|
||
|
||
void *
|
||
objfile_data (struct objfile *objfile, const struct objfile_data *data)
|
||
{
|
||
gdb_assert (data->index < objfile->num_data);
|
||
return objfile->data[data->index];
|
||
}
|
||
|
||
/* Set objfiles_changed_p so section map will be rebuilt next time it
|
||
is used. Called by reread_symbols. */
|
||
|
||
void
|
||
objfiles_changed (void)
|
||
{
|
||
objfiles_changed_p = 1; /* Rebuild section map next time we need it. */
|
||
}
|
||
|
||
/* Add reference to ABFD. Returns ABFD. */
|
||
struct bfd *
|
||
gdb_bfd_ref (struct bfd *abfd)
|
||
{
|
||
int *p_refcount = bfd_usrdata (abfd);
|
||
|
||
if (p_refcount != NULL)
|
||
{
|
||
*p_refcount += 1;
|
||
return abfd;
|
||
}
|
||
|
||
p_refcount = xmalloc (sizeof (*p_refcount));
|
||
*p_refcount = 1;
|
||
bfd_usrdata (abfd) = p_refcount;
|
||
|
||
return abfd;
|
||
}
|
||
|
||
/* Unreference and possibly close ABFD. */
|
||
void
|
||
gdb_bfd_unref (struct bfd *abfd)
|
||
{
|
||
int *p_refcount;
|
||
char *name;
|
||
|
||
if (abfd == NULL)
|
||
return;
|
||
|
||
p_refcount = bfd_usrdata (abfd);
|
||
|
||
/* Valid range for p_refcount: a pointer to int counter, which has a
|
||
value of 1 (single owner) or 2 (shared). */
|
||
gdb_assert (*p_refcount == 1 || *p_refcount == 2);
|
||
|
||
*p_refcount -= 1;
|
||
if (*p_refcount > 0)
|
||
return;
|
||
|
||
xfree (p_refcount);
|
||
bfd_usrdata (abfd) = NULL; /* Paranoia. */
|
||
|
||
name = bfd_get_filename (abfd);
|
||
if (!bfd_close (abfd))
|
||
warning (_("cannot close \"%s\": %s"),
|
||
name, bfd_errmsg (bfd_get_error ()));
|
||
xfree (name);
|
||
}
|