987012b89b
Similar to the MSYMBOL version of this patch, improves readability and will eventually allow making name private. gdb/ChangeLog: 2019-11-22 Christian Biesinger <cbiesinger@google.com> * ada-exp.y: Update. * ada-lang.c (sort_choices): Update. (ada_print_symbol_signature): Update. (resolve_subexp): Update. (ada_parse_renaming): Update. (ada_read_renaming_var_value): Update. (lesseq_defined_than): Update. (remove_extra_symbols): Update. (remove_irrelevant_renamings): Update. (ada_add_block_symbols): Update. (ada_collect_symbol_completion_matches): Update. (ada_is_renaming_symbol): Update. (aggregate_assign_from_choices): Update. (ada_evaluate_subexp): Update. (ada_has_this_exception_support): Update. (ada_is_non_standard_exception_sym): Update. (ada_add_exceptions_from_frame): Update. (ada_add_global_exceptions): Update. (ada_print_subexp): Update. * ax-gdb.c (gen_var_ref): Update. (gen_maybe_namespace_elt): Update. (gen_expr_for_cast): Update. (gen_expr): Update. * block.h: Update. * blockframe.c (find_pc_partial_function): Update. * breakpoint.c (print_breakpoint_location): Update. (update_static_tracepoint): Update. * btrace.c (ftrace_print_function_name): Update. (ftrace_function_switched): Update. * buildsym.c (find_symbol_in_list): Update. * c-exp.y: Update. * c-typeprint.c (c_print_typedef): Update. (c_type_print_template_args): Update. * cli/cli-cmds.c (edit_command): Update. (list_command): Update. (print_sal_location): Update. * coffread.c (patch_opaque_types): Update. (process_coff_symbol): Update. (coff_read_enum_type): Update. * compile/compile-c-symbols.c (c_symbol_substitution_name): Update. (convert_one_symbol): Update. (hash_symname): Update. (eq_symname): Update. * compile/compile-cplus-symbols.c (convert_one_symbol): Update. * compile/compile-cplus-types.c (debug_print_scope): Update. * compile/compile-loc2c.c (do_compile_dwarf_expr_to_c): Update. * compile/compile-object-load.c (get_out_value_type): Update. * cp-namespace.c (cp_scan_for_anonymous_namespaces): Update. (search_symbol_list): Update. (cp_lookup_symbol_imports_or_template): Update. * cp-support.c (overload_list_add_symbol): Update. * ctfread.c (psymtab_to_symtab): Update. * dbxread.c (cp_set_block_scope): Update. * dictionary.c (iter_match_first_hashed): Update. (iter_match_next_hashed): Update. (insert_symbol_hashed): Update. (iter_match_next_linear): Update. * dictionary.h: Update. * dwarf2loc.c (func_get_frame_base_dwarf_block): Update. (locexpr_describe_location_piece): Update. (locexpr_describe_location_1): Update. (locexpr_generate_c_location): Update. (loclist_describe_location): Update. (loclist_generate_c_location): Update. * dwarf2read.c (dw2_debug_names_lookup_symbol): Update. (read_func_scope): Update. (process_enumeration_scope): Update. (new_symbol): Update. (dwarf2_const_value): Update. (dwarf2_symbol_mark_computed): Update. * eval.c (evaluate_funcall): Update. (evaluate_subexp_standard): Update. * expprint.c (print_subexp_standard): Update. (dump_subexp_body_standard): Update. * f-valprint.c (info_common_command_for_block): Update. * findvar.c (get_hosting_frame): Update. (default_read_var_value): Update. * go-lang.c (go_symbol_package_name): Update. * guile/scm-block.c (bkscm_print_block_smob): Update. * guile/scm-symbol.c (syscm_print_symbol_smob): Update. (gdbscm_symbol_name): Update. (gdbscm_symbol_linkage_name): Update. (gdbscm_symbol_print_name): Update. * infcall.c (get_function_name): Update. * infcmd.c (jump_command): Update. (finish_command): Update. * infrun.c (insert_exception_resume_breakpoint): Update. * linespec.c (canonicalize_linespec): Update. (create_sals_line_offset): Update. (convert_linespec_to_sals): Update. (complete_label): Update. (find_label_symbols_in_block): Update. * m2-typeprint.c (m2_print_typedef): Update. * mdebugread.c (mdebug_reg_to_regnum): Update. (parse_symbol): Update. (mylookup_symbol): Update. * mi/mi-cmd-stack.c (list_arg_or_local): Update. (list_args_or_locals): Update. * objc-lang.c (compare_selectors): Update. (info_selectors_command): Update. (compare_classes): Update. (info_classes_command): Update. (find_imps): Update. * p-typeprint.c (pascal_print_typedef): Update. * printcmd.c (build_address_symbolic): Update. (info_address_command): Update. (print_variable_and_value): Update. * python/py-framefilter.c (extract_sym): Update. (py_print_single_arg): Update. * python/py-symbol.c (sympy_str): Update. (sympy_get_name): Update. (sympy_get_linkage_name): Update. * python/python.c (gdbpy_rbreak): Update. * record-btrace.c (btrace_get_bfun_name): Update. (btrace_call_history): Update. * rust-lang.c (rust_print_typedef): Update. * solib-frv.c (frv_fdpic_find_canonical_descriptor): Update. * stabsread.c (stab_reg_to_regnum): Update. (define_symbol): Update. (read_enum_type): Update. (common_block_end): Update. (cleanup_undefined_types_1): Update. (scan_file_globals): Update. * stack.c (print_frame_arg): Update. (print_frame_args): Update. (find_frame_funname): Update. (info_frame_command_core): Update. (iterate_over_block_locals): Update. (print_block_frame_labels): Update. (do_print_variable_and_value): Update. (iterate_over_block_arg_vars): Update. (return_command): Update. * symmisc.c (dump_symtab_1): Update. (print_symbol): Update. * symtab.c (eq_symbol_entry): Update. (symbol_cache_dump): Update. (lookup_language_this): Update. (find_pc_sect_line): Update. (skip_prologue_sal): Update. (symbol_search::compare_search_syms): Update. (treg_matches_sym_type_name): Update. (search_symbols): Update. (print_symbol_info): Update. (rbreak_command): Update. (completion_list_add_symbol): Update. (find_gnu_ifunc): Update. (get_symbol_address): Update. (search_module_symbols): Update. (info_module_subcommand): Update. * symtab.h (SYMBOL_NATURAL_NAME): Remove. (SYMBOL_LINKAGE_NAME): Remove. (SYMBOL_DEMANGLED_NAME): Remove. (SYMBOL_PRINT_NAME): Remove. (SYMBOL_SEARCH_NAME): Remove. * tracepoint.c (set_traceframe_context): Update. (validate_actionline): Update. (collection_list::collect_symbol): Update. (encode_actions_1): Update. (info_scope_command): Update. (print_one_static_tracepoint_marker): Update. * typeprint.c (typedef_hash_table::add_template_parameters): Update. * valops.c (address_of_variable): Update. (find_overload_match): Update. (find_oload_champ): Update. Change-Id: I76bdc8b44eea6876bf03af9d351f8e90cc0154b2
482 lines
13 KiB
C
482 lines
13 KiB
C
/* Get info from stack frames; convert between frames, blocks,
|
||
functions and pc values.
|
||
|
||
Copyright (C) 1986-2019 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 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/>. */
|
||
|
||
#include "defs.h"
|
||
#include "symtab.h"
|
||
#include "bfd.h"
|
||
#include "objfiles.h"
|
||
#include "frame.h"
|
||
#include "gdbcore.h"
|
||
#include "value.h"
|
||
#include "target.h"
|
||
#include "inferior.h"
|
||
#include "annotate.h"
|
||
#include "regcache.h"
|
||
#include "dummy-frame.h"
|
||
#include "command.h"
|
||
#include "gdbcmd.h"
|
||
#include "block.h"
|
||
#include "inline-frame.h"
|
||
|
||
/* Return the innermost lexical block in execution in a specified
|
||
stack frame. The frame address is assumed valid.
|
||
|
||
If ADDR_IN_BLOCK is non-zero, set *ADDR_IN_BLOCK to the exact code
|
||
address we used to choose the block. We use this to find a source
|
||
line, to decide which macro definitions are in scope.
|
||
|
||
The value returned in *ADDR_IN_BLOCK isn't necessarily the frame's
|
||
PC, and may not really be a valid PC at all. For example, in the
|
||
caller of a function declared to never return, the code at the
|
||
return address will never be reached, so the call instruction may
|
||
be the very last instruction in the block. So the address we use
|
||
to choose the block is actually one byte before the return address
|
||
--- hopefully pointing us at the call instruction, or its delay
|
||
slot instruction. */
|
||
|
||
const struct block *
|
||
get_frame_block (struct frame_info *frame, CORE_ADDR *addr_in_block)
|
||
{
|
||
CORE_ADDR pc;
|
||
const struct block *bl;
|
||
int inline_count;
|
||
|
||
if (!get_frame_address_in_block_if_available (frame, &pc))
|
||
return NULL;
|
||
|
||
if (addr_in_block)
|
||
*addr_in_block = pc;
|
||
|
||
bl = block_for_pc (pc);
|
||
if (bl == NULL)
|
||
return NULL;
|
||
|
||
inline_count = frame_inlined_callees (frame);
|
||
|
||
while (inline_count > 0)
|
||
{
|
||
if (block_inlined_p (bl))
|
||
inline_count--;
|
||
|
||
bl = BLOCK_SUPERBLOCK (bl);
|
||
gdb_assert (bl != NULL);
|
||
}
|
||
|
||
return bl;
|
||
}
|
||
|
||
CORE_ADDR
|
||
get_pc_function_start (CORE_ADDR pc)
|
||
{
|
||
const struct block *bl;
|
||
struct bound_minimal_symbol msymbol;
|
||
|
||
bl = block_for_pc (pc);
|
||
if (bl)
|
||
{
|
||
struct symbol *symbol = block_linkage_function (bl);
|
||
|
||
if (symbol)
|
||
{
|
||
bl = SYMBOL_BLOCK_VALUE (symbol);
|
||
return BLOCK_ENTRY_PC (bl);
|
||
}
|
||
}
|
||
|
||
msymbol = lookup_minimal_symbol_by_pc (pc);
|
||
if (msymbol.minsym)
|
||
{
|
||
CORE_ADDR fstart = BMSYMBOL_VALUE_ADDRESS (msymbol);
|
||
|
||
if (find_pc_section (fstart))
|
||
return fstart;
|
||
}
|
||
|
||
return 0;
|
||
}
|
||
|
||
/* Return the symbol for the function executing in frame FRAME. */
|
||
|
||
struct symbol *
|
||
get_frame_function (struct frame_info *frame)
|
||
{
|
||
const struct block *bl = get_frame_block (frame, 0);
|
||
|
||
if (bl == NULL)
|
||
return NULL;
|
||
|
||
while (BLOCK_FUNCTION (bl) == NULL && BLOCK_SUPERBLOCK (bl) != NULL)
|
||
bl = BLOCK_SUPERBLOCK (bl);
|
||
|
||
return BLOCK_FUNCTION (bl);
|
||
}
|
||
|
||
|
||
/* Return the function containing pc value PC in section SECTION.
|
||
Returns 0 if function is not known. */
|
||
|
||
struct symbol *
|
||
find_pc_sect_function (CORE_ADDR pc, struct obj_section *section)
|
||
{
|
||
const struct block *b = block_for_pc_sect (pc, section);
|
||
|
||
if (b == 0)
|
||
return 0;
|
||
return block_linkage_function (b);
|
||
}
|
||
|
||
/* Return the function containing pc value PC.
|
||
Returns 0 if function is not known.
|
||
Backward compatibility, no section */
|
||
|
||
struct symbol *
|
||
find_pc_function (CORE_ADDR pc)
|
||
{
|
||
return find_pc_sect_function (pc, find_pc_mapped_section (pc));
|
||
}
|
||
|
||
/* See symtab.h. */
|
||
|
||
struct symbol *
|
||
find_pc_sect_containing_function (CORE_ADDR pc, struct obj_section *section)
|
||
{
|
||
const block *bl = block_for_pc_sect (pc, section);
|
||
|
||
if (bl == nullptr)
|
||
return nullptr;
|
||
|
||
return block_containing_function (bl);
|
||
}
|
||
|
||
/* These variables are used to cache the most recent result of
|
||
find_pc_partial_function.
|
||
|
||
The addresses cache_pc_function_low and cache_pc_function_high
|
||
record the range in which PC was found during the most recent
|
||
successful lookup. When the function occupies a single contiguous
|
||
address range, these values correspond to the low and high
|
||
addresses of the function. (The high address is actually one byte
|
||
beyond the last byte of the function.) For a function with more
|
||
than one (non-contiguous) range, the range in which PC was found is
|
||
used to set the cache bounds.
|
||
|
||
When determining whether or not these cached values apply to a
|
||
particular PC value, PC must be within the range specified by
|
||
cache_pc_function_low and cache_pc_function_high. In addition to
|
||
PC being in that range, cache_pc_section must also match PC's
|
||
section. See find_pc_partial_function() for details on both the
|
||
comparison as well as how PC's section is determined.
|
||
|
||
The other values aren't used for determining whether the cache
|
||
applies, but are used for setting the outputs from
|
||
find_pc_partial_function. cache_pc_function_low and
|
||
cache_pc_function_high are used to set outputs as well. */
|
||
|
||
static CORE_ADDR cache_pc_function_low = 0;
|
||
static CORE_ADDR cache_pc_function_high = 0;
|
||
static const char *cache_pc_function_name = 0;
|
||
static struct obj_section *cache_pc_function_section = NULL;
|
||
static const struct block *cache_pc_function_block = nullptr;
|
||
|
||
/* Clear cache, e.g. when symbol table is discarded. */
|
||
|
||
void
|
||
clear_pc_function_cache (void)
|
||
{
|
||
cache_pc_function_low = 0;
|
||
cache_pc_function_high = 0;
|
||
cache_pc_function_name = (char *) 0;
|
||
cache_pc_function_section = NULL;
|
||
cache_pc_function_block = nullptr;
|
||
}
|
||
|
||
/* See symtab.h. */
|
||
|
||
bool
|
||
find_pc_partial_function (CORE_ADDR pc, const char **name, CORE_ADDR *address,
|
||
CORE_ADDR *endaddr, const struct block **block)
|
||
{
|
||
struct obj_section *section;
|
||
struct symbol *f;
|
||
struct bound_minimal_symbol msymbol;
|
||
struct compunit_symtab *compunit_symtab = NULL;
|
||
CORE_ADDR mapped_pc;
|
||
|
||
/* To ensure that the symbol returned belongs to the correct section
|
||
(and that the last [random] symbol from the previous section
|
||
isn't returned) try to find the section containing PC. First try
|
||
the overlay code (which by default returns NULL); and second try
|
||
the normal section code (which almost always succeeds). */
|
||
section = find_pc_overlay (pc);
|
||
if (section == NULL)
|
||
section = find_pc_section (pc);
|
||
|
||
mapped_pc = overlay_mapped_address (pc, section);
|
||
|
||
if (mapped_pc >= cache_pc_function_low
|
||
&& mapped_pc < cache_pc_function_high
|
||
&& section == cache_pc_function_section)
|
||
goto return_cached_value;
|
||
|
||
msymbol = lookup_minimal_symbol_by_pc_section (mapped_pc, section);
|
||
for (objfile *objfile : current_program_space->objfiles ())
|
||
{
|
||
if (objfile->sf)
|
||
{
|
||
compunit_symtab
|
||
= objfile->sf->qf->find_pc_sect_compunit_symtab (objfile, msymbol,
|
||
mapped_pc,
|
||
section,
|
||
0);
|
||
}
|
||
if (compunit_symtab != NULL)
|
||
break;
|
||
}
|
||
|
||
if (compunit_symtab != NULL)
|
||
{
|
||
/* Checking whether the msymbol has a larger value is for the
|
||
"pathological" case mentioned in stack.c:find_frame_funname.
|
||
|
||
We use BLOCK_ENTRY_PC instead of BLOCK_START_PC for this
|
||
comparison because the minimal symbol should refer to the
|
||
function's entry pc which is not necessarily the lowest
|
||
address of the function. This will happen when the function
|
||
has more than one range and the entry pc is not within the
|
||
lowest range of addresses. */
|
||
f = find_pc_sect_function (mapped_pc, section);
|
||
if (f != NULL
|
||
&& (msymbol.minsym == NULL
|
||
|| (BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (f))
|
||
>= BMSYMBOL_VALUE_ADDRESS (msymbol))))
|
||
{
|
||
const struct block *b = SYMBOL_BLOCK_VALUE (f);
|
||
|
||
cache_pc_function_name = f->linkage_name ();
|
||
cache_pc_function_section = section;
|
||
cache_pc_function_block = b;
|
||
|
||
/* For blocks occupying contiguous addresses (i.e. no gaps),
|
||
the low and high cache addresses are simply the start
|
||
and end of the block.
|
||
|
||
For blocks with non-contiguous ranges, we have to search
|
||
for the range containing mapped_pc and then use the start
|
||
and end of that range.
|
||
|
||
This causes the returned *ADDRESS and *ENDADDR values to
|
||
be limited to the range in which mapped_pc is found. See
|
||
comment preceding declaration of find_pc_partial_function
|
||
in symtab.h for more information. */
|
||
|
||
if (BLOCK_CONTIGUOUS_P (b))
|
||
{
|
||
cache_pc_function_low = BLOCK_START (b);
|
||
cache_pc_function_high = BLOCK_END (b);
|
||
}
|
||
else
|
||
{
|
||
int i;
|
||
for (i = 0; i < BLOCK_NRANGES (b); i++)
|
||
{
|
||
if (BLOCK_RANGE_START (b, i) <= mapped_pc
|
||
&& mapped_pc < BLOCK_RANGE_END (b, i))
|
||
{
|
||
cache_pc_function_low = BLOCK_RANGE_START (b, i);
|
||
cache_pc_function_high = BLOCK_RANGE_END (b, i);
|
||
break;
|
||
}
|
||
}
|
||
/* Above loop should exit via the break. */
|
||
gdb_assert (i < BLOCK_NRANGES (b));
|
||
}
|
||
|
||
|
||
goto return_cached_value;
|
||
}
|
||
}
|
||
|
||
/* Not in the normal symbol tables, see if the pc is in a known
|
||
section. If it's not, then give up. This ensures that anything
|
||
beyond the end of the text seg doesn't appear to be part of the
|
||
last function in the text segment. */
|
||
|
||
if (!section)
|
||
msymbol.minsym = NULL;
|
||
|
||
/* Must be in the minimal symbol table. */
|
||
if (msymbol.minsym == NULL)
|
||
{
|
||
/* No available symbol. */
|
||
if (name != NULL)
|
||
*name = 0;
|
||
if (address != NULL)
|
||
*address = 0;
|
||
if (endaddr != NULL)
|
||
*endaddr = 0;
|
||
if (block != nullptr)
|
||
*block = nullptr;
|
||
return false;
|
||
}
|
||
|
||
cache_pc_function_low = BMSYMBOL_VALUE_ADDRESS (msymbol);
|
||
cache_pc_function_name = msymbol.minsym->linkage_name ();
|
||
cache_pc_function_section = section;
|
||
cache_pc_function_high = minimal_symbol_upper_bound (msymbol);
|
||
cache_pc_function_block = nullptr;
|
||
|
||
return_cached_value:
|
||
|
||
if (address)
|
||
{
|
||
if (pc_in_unmapped_range (pc, section))
|
||
*address = overlay_unmapped_address (cache_pc_function_low, section);
|
||
else
|
||
*address = cache_pc_function_low;
|
||
}
|
||
|
||
if (name)
|
||
*name = cache_pc_function_name;
|
||
|
||
if (endaddr)
|
||
{
|
||
if (pc_in_unmapped_range (pc, section))
|
||
{
|
||
/* Because the high address is actually beyond the end of
|
||
the function (and therefore possibly beyond the end of
|
||
the overlay), we must actually convert (high - 1) and
|
||
then add one to that. */
|
||
|
||
*endaddr = 1 + overlay_unmapped_address (cache_pc_function_high - 1,
|
||
section);
|
||
}
|
||
else
|
||
*endaddr = cache_pc_function_high;
|
||
}
|
||
|
||
if (block != nullptr)
|
||
*block = cache_pc_function_block;
|
||
|
||
return true;
|
||
}
|
||
|
||
/* See symtab.h. */
|
||
|
||
bool
|
||
find_function_entry_range_from_pc (CORE_ADDR pc, const char **name,
|
||
CORE_ADDR *address, CORE_ADDR *endaddr)
|
||
{
|
||
const struct block *block;
|
||
bool status = find_pc_partial_function (pc, name, address, endaddr, &block);
|
||
|
||
if (status && block != nullptr && !BLOCK_CONTIGUOUS_P (block))
|
||
{
|
||
CORE_ADDR entry_pc = BLOCK_ENTRY_PC (block);
|
||
|
||
for (int i = 0; i < BLOCK_NRANGES (block); i++)
|
||
{
|
||
if (BLOCK_RANGE_START (block, i) <= entry_pc
|
||
&& entry_pc < BLOCK_RANGE_END (block, i))
|
||
{
|
||
if (address != nullptr)
|
||
*address = BLOCK_RANGE_START (block, i);
|
||
|
||
if (endaddr != nullptr)
|
||
*endaddr = BLOCK_RANGE_END (block, i);
|
||
|
||
return status;
|
||
}
|
||
}
|
||
|
||
/* It's an internal error if we exit the above loop without finding
|
||
the range. */
|
||
internal_error (__FILE__, __LINE__,
|
||
_("Entry block not found in find_function_entry_range_from_pc"));
|
||
}
|
||
|
||
return status;
|
||
}
|
||
|
||
/* See symtab.h. */
|
||
|
||
struct type *
|
||
find_function_type (CORE_ADDR pc)
|
||
{
|
||
struct symbol *sym = find_pc_function (pc);
|
||
|
||
if (sym != NULL && BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (sym)) == pc)
|
||
return SYMBOL_TYPE (sym);
|
||
|
||
return NULL;
|
||
}
|
||
|
||
/* See symtab.h. */
|
||
|
||
struct type *
|
||
find_gnu_ifunc_target_type (CORE_ADDR resolver_funaddr)
|
||
{
|
||
struct type *resolver_type = find_function_type (resolver_funaddr);
|
||
if (resolver_type != NULL)
|
||
{
|
||
/* Get the return type of the resolver. */
|
||
struct type *resolver_ret_type
|
||
= check_typedef (TYPE_TARGET_TYPE (resolver_type));
|
||
|
||
/* If we found a pointer to function, then the resolved type
|
||
is the type of the pointed-to function. */
|
||
if (TYPE_CODE (resolver_ret_type) == TYPE_CODE_PTR)
|
||
{
|
||
struct type *resolved_type
|
||
= TYPE_TARGET_TYPE (resolver_ret_type);
|
||
if (TYPE_CODE (check_typedef (resolved_type)) == TYPE_CODE_FUNC)
|
||
return resolved_type;
|
||
}
|
||
}
|
||
|
||
return NULL;
|
||
}
|
||
|
||
/* Return the innermost stack frame that is executing inside of BLOCK and is
|
||
at least as old as the selected frame. Return NULL if there is no
|
||
such frame. If BLOCK is NULL, just return NULL. */
|
||
|
||
struct frame_info *
|
||
block_innermost_frame (const struct block *block)
|
||
{
|
||
struct frame_info *frame;
|
||
|
||
if (block == NULL)
|
||
return NULL;
|
||
|
||
frame = get_selected_frame_if_set ();
|
||
if (frame == NULL)
|
||
frame = get_current_frame ();
|
||
while (frame != NULL)
|
||
{
|
||
const struct block *frame_block = get_frame_block (frame, NULL);
|
||
if (frame_block != NULL && contained_in (frame_block, block))
|
||
return frame;
|
||
|
||
frame = get_prev_frame (frame);
|
||
}
|
||
|
||
return NULL;
|
||
}
|