mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-11-21 01:12:32 +08:00
edb3359dff
* NEWS: Document inlined function support. * Makefile.in (SFILES): Add inline-frame.c. (COMMON_OBS): Add inline-frame.o. * block.c (contained_in): Rewrite to use lexical nesting. (block_linkage_function): Skip inlined function blocks. (block_inlined_p): New. * block.h (struct block): Update comment. (block_inlined_p): New prototype. * blockframe.c (get_frame_block): Handle inlined functions. (get_frame_function): Do not use block_linkage_function. (block_innermost_frame): Use get_frame_block and contained_in. * breakpoint.c (watchpoint_check): Remove extra reinit_frame_cache. Skip over inlined functions. Simplify epilogue check. (bpstat_check_breakpoint_conditions): Use get_stack_frame_id. Update comments. (set_momentary_breakpoint): Only accept non-inlined frames. (watch_command_1): Use frame_unwind_caller_pc and frame_unwind_caller_id instead of get_prev_frame. (until_break_command): Likewise. Use get_stack_frame_id. * buildsym.c (end_symtab): Set SYMBOL_SYMTAB for block functions. * dwarf2loc.c (dwarf_expr_frame_base): Use block_linkage_function. * dwarf2read.c (process_die): Handle DW_TAG_inlined_subroutine. (read_func_scope, new_symbol): Likewise. Handle arguments specially for inlined functions without call site information. (inherit_abstract_dies): Allow tag mismatch for inlined subroutines. (die_specification): Treat DW_AT_abstract_origin as a specification. (read_type_die): Handle DW_TAG_inlined_subroutine. * frame-unwind.c (frame_unwind_init): Add inline_frame_unwind. * frame.c (fprint_frame_id): Print inline depth. (fprint_frame_type): Handle INLINE_FRAME and SENTINEL_FRAME. (skip_inlined_frames, get_stack_frame_id): New. (frame_unwind_caller_id): Use skip_inlined_frames. (frame_id_inlined_p): New. (frame_id_eq): Make the logic match the comments. Add inline_depth check. (frame_id_inner): Handle inlined functions. (frame_unwind_pc): New function, copied from frame_unwind_caller_pc. (frame_unwind_caller_pc): Use skip_inlined_frames and frame_unwind_pc. (get_prev_frame_1): Check for inline frames. Split out frame allocation to get_prev_frame_raw. (get_prev_frame_raw): New function. (get_prev_frame): Handle inline frames. (get_frame_pc): Use frame_unwind_pc. (get_frame_address_in_block): Skip inlined frames on both sides. (pc_notcurrent): Delete. (find_frame_sal): Rewrite to handle inline call sites. Use get_frame_address_in_block. (deprecated_update_frame_pc_hack): Make static. * frame.h: Update comments. (struct frame_id): Add inline_depth. (enum frame_type): Add INLINE_FRAME. (frame_id_inlined_p, get_stack_frame_id): New prototypes. * gdbthread.h (struct thread_info): Add step_stack_frame_id field. * infcmd.c (set_step_frame): New function. (step_once): Use set_step_frame. Handle inlined functions. (until_next_command): Use set_step_frame. (finish_backward), finish_forward): Use get_stack_frame_id. (finish_command): Support inlined functions. * inferior.h (set_step_info): New prototype. * infrun.c (RESUME_ALL): Use minus_one_ptid. (clear_proceed_status): Clear step_stack_frame_id. (init_wait_for_inferior): Call clear_inline_frame_state. (init_execution_control_state): Make static. (set_step_info): New function. (init_thread_stepping_state): Do not set the symtab or line here. (stepped_in_from): New function. (handle_inferior_event): Handle inlined functions. Use set_step_info. (insert_step_resume_breakpoint_at_frame): Use get_stack_frame_id. (struct inferior_status): Add step_stack_frame_id. (save_inferior_status, restore_inferior_status): Save and restore step_stack_frame_id. * inline-frame.c, inline-frame.h: New files. * minsyms.c (prim_record_minimal_symbol_and_info): Use XCALLOC. * regcache.c (regcache_write_pc): Call reinit_frame_cache. * s390-tdep.c (s390_prologue_frame_unwind_cache): Handle INLINE_FRAME. * stack.c (frame_show_address): New. (print_frame_info, print_frame): Use it. (find_frame_funname): Use get_frame_function. Handle inlined blocks. (frame_info): Mark inlined functions. (backtrace_command_1): Use get_current_user_frame. (print_frame_local_vars, print_frame_label_vars): Update comments. (return_command): Refuse inlined functions. * symtab.c (lookup_symbol_aux_local): Stop at inlined function boundaries. (find_function_start_sal): Avoid inlined functions. (completion_list_add_fields): New function. (default_make_symbol_completion_list): Use it. Use block_static_block and block_global_block. Check for inlined functions. (skip_prologue_using_sal): Avoid line number comparison across inlining. * symtab.h (struct symbol): Add is_inlined. (SYMBOL_INLINED): New. * target.c (target_resume): Call clear_inline_frame_state. * valops.c (value_of_variable): Check block_inlined_p. gdb/doc/ * gdb.texinfo (Debugging Optimized Code): New chapter. (Compiling for Debugging): Reference it. Move some text to the new section. gdb/testsuite/ * gdb.base/break.exp: Add an XFAIL for gcc/36748. * gdb.cp/annota2.exp: Accept frames-invalid in more places. * gdb.opt/Makefile.in (EXECUTABLES): Update. * gdb.opt/clobbered-registers-O2.exp: Update to GPL v3. * gdb.opt/inline-bt.c, gdb.opt/inline-bt.exp, gdb.opt/inline-cmds.c, gdb.opt/inline-cmds.exp, gdb.opt/inline-locals.c, gdb.opt/inline-locals.exp, gdb.opt/inline-markers.c: New files. * lib/gdb.exp (skip_inline_frame_tests): New function. (skip_inline_var_tests): New function.
386 lines
11 KiB
C
386 lines
11 KiB
C
/* Get info from stack frames; convert between frames, blocks,
|
||
functions and pc values.
|
||
|
||
Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
|
||
1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2007, 2008, 2009
|
||
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 "gdb_assert.h"
|
||
#include "dummy-frame.h"
|
||
#include "command.h"
|
||
#include "gdbcmd.h"
|
||
#include "block.h"
|
||
#include "inline-frame.h"
|
||
|
||
/* Prototypes for exported functions. */
|
||
|
||
void _initialize_blockframe (void);
|
||
|
||
/* 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. */
|
||
|
||
struct block *
|
||
get_frame_block (struct frame_info *frame, CORE_ADDR *addr_in_block)
|
||
{
|
||
const CORE_ADDR pc = get_frame_address_in_block (frame);
|
||
struct frame_info *next_frame;
|
||
struct block *bl;
|
||
int inline_count;
|
||
|
||
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)
|
||
{
|
||
struct block *bl;
|
||
struct 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_START (bl);
|
||
}
|
||
}
|
||
|
||
msymbol = lookup_minimal_symbol_by_pc (pc);
|
||
if (msymbol)
|
||
{
|
||
CORE_ADDR fstart = SYMBOL_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)
|
||
{
|
||
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)
|
||
{
|
||
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));
|
||
}
|
||
|
||
/* These variables are used to cache the most recent result
|
||
* of find_pc_partial_function. */
|
||
|
||
static CORE_ADDR cache_pc_function_low = 0;
|
||
static CORE_ADDR cache_pc_function_high = 0;
|
||
static char *cache_pc_function_name = 0;
|
||
static struct obj_section *cache_pc_function_section = NULL;
|
||
|
||
/* 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;
|
||
}
|
||
|
||
/* Finds the "function" (text symbol) that is smaller than PC but
|
||
greatest of all of the potential text symbols in SECTION. Sets
|
||
*NAME and/or *ADDRESS conditionally if that pointer is non-null.
|
||
If ENDADDR is non-null, then set *ENDADDR to be the end of the
|
||
function (exclusive), but passing ENDADDR as non-null means that
|
||
the function might cause symbols to be read. This function either
|
||
succeeds or fails (not halfway succeeds). If it succeeds, it sets
|
||
*NAME, *ADDRESS, and *ENDADDR to real information and returns 1.
|
||
If it fails, it sets *NAME, *ADDRESS, and *ENDADDR to zero and
|
||
returns 0. */
|
||
|
||
/* Backward compatibility, no section argument. */
|
||
|
||
int
|
||
find_pc_partial_function (CORE_ADDR pc, char **name, CORE_ADDR *address,
|
||
CORE_ADDR *endaddr)
|
||
{
|
||
struct obj_section *section;
|
||
struct partial_symtab *pst;
|
||
struct symbol *f;
|
||
struct minimal_symbol *msymbol;
|
||
struct partial_symbol *psb;
|
||
int i;
|
||
CORE_ADDR mapped_pc;
|
||
|
||
/* To ensure that the symbol returned belongs to the correct setion
|
||
(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);
|
||
pst = find_pc_sect_psymtab (mapped_pc, section);
|
||
if (pst)
|
||
{
|
||
/* Need to read the symbols to get a good value for the end address. */
|
||
if (endaddr != NULL && !pst->readin)
|
||
{
|
||
/* Need to get the terminal in case symbol-reading produces
|
||
output. */
|
||
target_terminal_ours_for_output ();
|
||
PSYMTAB_TO_SYMTAB (pst);
|
||
}
|
||
|
||
if (pst->readin)
|
||
{
|
||
/* Checking whether the msymbol has a larger value is for the
|
||
"pathological" case mentioned in print_frame_info. */
|
||
f = find_pc_sect_function (mapped_pc, section);
|
||
if (f != NULL
|
||
&& (msymbol == NULL
|
||
|| (BLOCK_START (SYMBOL_BLOCK_VALUE (f))
|
||
>= SYMBOL_VALUE_ADDRESS (msymbol))))
|
||
{
|
||
cache_pc_function_low = BLOCK_START (SYMBOL_BLOCK_VALUE (f));
|
||
cache_pc_function_high = BLOCK_END (SYMBOL_BLOCK_VALUE (f));
|
||
cache_pc_function_name = SYMBOL_LINKAGE_NAME (f);
|
||
cache_pc_function_section = section;
|
||
goto return_cached_value;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
/* Now that static symbols go in the minimal symbol table, perhaps
|
||
we could just ignore the partial symbols. But at least for now
|
||
we use the partial or minimal symbol, whichever is larger. */
|
||
psb = find_pc_sect_psymbol (pst, mapped_pc, section);
|
||
|
||
if (psb
|
||
&& (msymbol == NULL ||
|
||
(SYMBOL_VALUE_ADDRESS (psb)
|
||
>= SYMBOL_VALUE_ADDRESS (msymbol))))
|
||
{
|
||
/* This case isn't being cached currently. */
|
||
if (address)
|
||
*address = SYMBOL_VALUE_ADDRESS (psb);
|
||
if (name)
|
||
*name = SYMBOL_LINKAGE_NAME (psb);
|
||
/* endaddr non-NULL can't happen here. */
|
||
return 1;
|
||
}
|
||
}
|
||
}
|
||
|
||
/* 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 = NULL;
|
||
|
||
/* Must be in the minimal symbol table. */
|
||
if (msymbol == NULL)
|
||
{
|
||
/* No available symbol. */
|
||
if (name != NULL)
|
||
*name = 0;
|
||
if (address != NULL)
|
||
*address = 0;
|
||
if (endaddr != NULL)
|
||
*endaddr = 0;
|
||
return 0;
|
||
}
|
||
|
||
cache_pc_function_low = SYMBOL_VALUE_ADDRESS (msymbol);
|
||
cache_pc_function_name = SYMBOL_LINKAGE_NAME (msymbol);
|
||
cache_pc_function_section = section;
|
||
|
||
/* If the minimal symbol has a size, use it for the cache.
|
||
Otherwise use the lesser of the next minimal symbol in the same
|
||
section, or the end of the section, as the end of the
|
||
function. */
|
||
|
||
if (MSYMBOL_SIZE (msymbol) != 0)
|
||
cache_pc_function_high = cache_pc_function_low + MSYMBOL_SIZE (msymbol);
|
||
else
|
||
{
|
||
/* Step over other symbols at this same address, and symbols in
|
||
other sections, to find the next symbol in this section with
|
||
a different address. */
|
||
|
||
for (i = 1; SYMBOL_LINKAGE_NAME (msymbol + i) != NULL; i++)
|
||
{
|
||
if (SYMBOL_VALUE_ADDRESS (msymbol + i) != SYMBOL_VALUE_ADDRESS (msymbol)
|
||
&& SYMBOL_OBJ_SECTION (msymbol + i) == SYMBOL_OBJ_SECTION (msymbol))
|
||
break;
|
||
}
|
||
|
||
if (SYMBOL_LINKAGE_NAME (msymbol + i) != NULL
|
||
&& SYMBOL_VALUE_ADDRESS (msymbol + i) < obj_section_endaddr (section))
|
||
cache_pc_function_high = SYMBOL_VALUE_ADDRESS (msymbol + i);
|
||
else
|
||
/* We got the start address from the last msymbol in the objfile.
|
||
So the end address is the end of the section. */
|
||
cache_pc_function_high = obj_section_endaddr (section);
|
||
}
|
||
|
||
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;
|
||
}
|
||
|
||
return 1;
|
||
}
|
||
|
||
/* Return the innermost stack frame executing inside of BLOCK,
|
||
or NULL if there is no such frame. If BLOCK is NULL, just return NULL. */
|
||
|
||
struct frame_info *
|
||
block_innermost_frame (struct block *block)
|
||
{
|
||
struct frame_info *frame;
|
||
CORE_ADDR start;
|
||
CORE_ADDR end;
|
||
CORE_ADDR calling_pc;
|
||
|
||
if (block == NULL)
|
||
return NULL;
|
||
|
||
start = BLOCK_START (block);
|
||
end = BLOCK_END (block);
|
||
|
||
frame = get_current_frame ();
|
||
while (frame != NULL)
|
||
{
|
||
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;
|
||
}
|