mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-13 04:13:33 +08:00
ca89bdf8b2
This commit was originally part of this patch series:
(v1): https://sourceware.org/pipermail/gdb-patches/2021-May/179357.html
(v2): https://sourceware.org/pipermail/gdb-patches/2021-June/180208.html
(v3): https://sourceware.org/pipermail/gdb-patches/2021-July/181028.html
However, that series is being held up in review, so I wanted to break
out some of the non-related fixes in order to get these merged.
This commit addresses two semi-related issues, both of which are
problems exposed by using 'set debug frame on'.
The first issue is in frame.c in get_prev_frame_always_1, and was
introduced by this commit:
commit a05a883fba
Date: Tue Jun 29 12:03:50 2021 -0400
gdb: introduce frame_debug_printf
This commit replaced fprint_frame with frame_info::to_string.
However, the former could handle taking a nullptr while the later, a
member function, obviously requires a non-nullptr in order to make the
function call. In one place we are not-guaranteed to have a
non-nullptr, and so, there is the possibility of triggering undefined
behaviour.
The second issue addressed in this commit has existed for a while in
GDB, and would cause this assertion:
gdb/frame.c:622: internal-error: frame_id get_frame_id(frame_info*): Assertion `fi->this_id.p != frame_id_status::COMPUTING' failed.
We attempt to get the frame_id for a frame while we are computing the
frame_id for that same frame.
What happens is that when GDB stops we create a frame_info object for
the sentinel frame (frame #-1) and then we attempt to unwind this
frame to create a frame_info object for frame #0.
In the test case used here to expose the issue we have created a
Python frame unwinder. In the Python unwinder we attemt to read the
program counter register.
Reading this register will initially create a lazy register value.
The frame-id stored in the lazy register value will be for the
sentinel frame (lazy register values hold the frame-id for the frame
from which the register will be unwound).
However, the Python unwinder does actually want to examine the value
of the program counter, and so the lazy register value is resolved
into a non-lazy value. This sends GDB into value_fetch_lazy_register
in value.c.
Now, inside this function, if 'set debug frame on' is in effect, then
we want to print something like:
frame=%d, regnum=%d(%s), ....
Where 'frame=%d' will be the relative frame level of the frame for
which the register is being fetched, so, in this case we would expect
to see 'frame=0', i.e. we are reading a register as it would be in
frame #0. But, remember, the lazy register value actually holds the
frame-id for frame #-1 (the sentinel frame).
So, to get the frame_info for frame #0 we used to call:
frame = frame_find_by_id (VALUE_FRAME_ID (val));
Where VALUE_FRAME_ID is:
#define VALUE_FRAME_ID(val) (get_prev_frame_id_by_id (VALUE_NEXT_FRAME_ID (val)))
That is, we start with the frame-id for the next frame as obtained by
VALUE_NEXT_FRAME_ID, then call get_prev_frame_id_by_id to get the
frame-id of the previous frame.
The get_prev_frame_id_by_id function finds the frame_info for the
given frame-id (in this case frame #-1), calls get_prev_frame to get
the previous frame, and then calls get_frame_id.
The problem here is that calling get_frame_id requires that we know
the frame unwinder, so then have to try each frame unwinder in turn,
which would include the Python unwinder.... which is where we started,
and thus we have a loop!
To prevent this loop GDB has an assertion in place, which is what
actually triggers.
Solving the assertion failure is pretty easy, if we consider the code
in value_fetch_lazy_register and get_prev_frame_id_by_id then what we
do is:
1. Start with a frame_id taken from a value,
2. Lookup the corresponding frame,
3. Find the previous frame,
4. Get the frame_id for that frame, and
5. Lookup the corresponding frame
6. Print the frame's level
Notice that steps 3 and 5 give us the exact same result, step 4 is
just wasted effort. We could shorten this process such that we drop
steps 4 and 5, thus:
1. Start with a frame_id taken from a value,
2. Lookup the corresponding frame,
3. Find the previous frame,
6. Print the frame's level
This will give the exact same frame as a result, and this is what I
have done in this patch by removing the use of VALUE_FRAME_ID from
value_fetch_lazy_register.
Out of curiosity I looked to see how widely VALUE_FRAME_ID was used,
and saw it was only used in one other place in valops.c:value_assign,
where, once again, we take the result of VALUE_FRAME_ID and pass it to
frame_find_by_id, thus introducing a redundant frame_id lookup.
I don't think the value_assign case risks triggering the assertion
though, as we are unlikely to call value_assign while computing the
frame_id for a frame, however, we could make value_assign slightly
more efficient, with no real additional complexity, by removing the
use of VALUE_FRAME_ID.
So, in this commit, I completely remove VALUE_FRAME_ID, and replace it
with a use of VALUE_NEXT_FRAME_ID, followed by a direct call to
get_prev_frame_always, this should make no difference in either case,
and resolves the assertion issue from value.c.
As I said, this patch was originally part of another series, the
original test relied on the fixes in that original series. However, I
was able to create an alternative test for this issue by enabling
frame debug within an existing test script.
This commit probably fixes bug PR gdb/27938, though the bug doesn't
have a reproducer attached so it is not possible to know for sure.
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=27938
1001 lines
39 KiB
C++
1001 lines
39 KiB
C++
/* Definitions for dealing with stack frames, for GDB, the GNU debugger.
|
|
|
|
Copyright (C) 1986-2021 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/>. */
|
|
|
|
#if !defined (FRAME_H)
|
|
#define FRAME_H 1
|
|
|
|
/* The following is the intended naming schema for frame functions.
|
|
It isn't 100% consistent, but it is approaching that. Frame naming
|
|
schema:
|
|
|
|
Prefixes:
|
|
|
|
get_frame_WHAT...(): Get WHAT from the THIS frame (functionally
|
|
equivalent to THIS->next->unwind->what)
|
|
|
|
frame_unwind_WHAT...(): Unwind THIS frame's WHAT from the NEXT
|
|
frame.
|
|
|
|
frame_unwind_caller_WHAT...(): Unwind WHAT for NEXT stack frame's
|
|
real caller. Any inlined functions in NEXT's stack frame are
|
|
skipped. Use these to ignore any potentially inlined functions,
|
|
e.g. inlined into the first instruction of a library trampoline.
|
|
|
|
get_stack_frame_WHAT...(): Get WHAT for THIS frame, but if THIS is
|
|
inlined, skip to the containing stack frame.
|
|
|
|
put_frame_WHAT...(): Put a value into this frame (unsafe, need to
|
|
invalidate the frame / regcache afterwards) (better name more
|
|
strongly hinting at its unsafeness)
|
|
|
|
safe_....(): Safer version of various functions, doesn't throw an
|
|
error (leave this for later?). Returns true / non-NULL if the request
|
|
succeeds, false / NULL otherwise.
|
|
|
|
Suffixes:
|
|
|
|
void /frame/_WHAT(): Read WHAT's value into the buffer parameter.
|
|
|
|
ULONGEST /frame/_WHAT_unsigned(): Return an unsigned value (the
|
|
alternative is *frame_unsigned_WHAT).
|
|
|
|
LONGEST /frame/_WHAT_signed(): Return WHAT signed value.
|
|
|
|
What:
|
|
|
|
/frame/_memory* (frame, coreaddr, len [, buf]): Extract/return
|
|
*memory.
|
|
|
|
/frame/_register* (frame, regnum [, buf]): extract/return register.
|
|
|
|
CORE_ADDR /frame/_{pc,sp,...} (frame): Resume address, innner most
|
|
stack *address, ...
|
|
|
|
*/
|
|
|
|
#include "language.h"
|
|
#include "cli/cli-option.h"
|
|
#include "gdbsupport/common-debug.h"
|
|
|
|
struct symtab_and_line;
|
|
struct frame_unwind;
|
|
struct frame_base;
|
|
struct block;
|
|
struct gdbarch;
|
|
struct ui_file;
|
|
struct ui_out;
|
|
struct frame_print_options;
|
|
|
|
/* Status of a given frame's stack. */
|
|
|
|
enum frame_id_stack_status
|
|
{
|
|
/* Stack address is invalid. */
|
|
FID_STACK_INVALID = 0,
|
|
|
|
/* Stack address is valid, and is found in the stack_addr field. */
|
|
FID_STACK_VALID = 1,
|
|
|
|
/* Sentinel frame. */
|
|
FID_STACK_SENTINEL = 2,
|
|
|
|
/* Outer frame. Since a frame's stack address is typically defined as the
|
|
value the stack pointer had prior to the activation of the frame, an outer
|
|
frame doesn't have a stack address. The frame ids of frames inlined in the
|
|
outer frame are also of this type. */
|
|
FID_STACK_OUTER = 3,
|
|
|
|
/* Stack address is unavailable. I.e., there's a valid stack, but
|
|
we don't know where it is (because memory or registers we'd
|
|
compute it from were not collected). */
|
|
FID_STACK_UNAVAILABLE = -1
|
|
};
|
|
|
|
/* The frame object. */
|
|
|
|
struct frame_info;
|
|
|
|
/* The frame object's ID. This provides a per-frame unique identifier
|
|
that can be used to relocate a `struct frame_info' after a target
|
|
resume or a frame cache destruct. It of course assumes that the
|
|
inferior hasn't unwound the stack past that frame. */
|
|
|
|
struct frame_id
|
|
{
|
|
/* The frame's stack address. This shall be constant through out
|
|
the lifetime of a frame. Note that this requirement applies to
|
|
not just the function body, but also the prologue and (in theory
|
|
at least) the epilogue. Since that value needs to fall either on
|
|
the boundary, or within the frame's address range, the frame's
|
|
outer-most address (the inner-most address of the previous frame)
|
|
is used. Watch out for all the legacy targets that still use the
|
|
function pointer register or stack pointer register. They are
|
|
wrong.
|
|
|
|
This field is valid only if frame_id.stack_status is
|
|
FID_STACK_VALID. It will be 0 for other
|
|
FID_STACK_... statuses. */
|
|
CORE_ADDR stack_addr;
|
|
|
|
/* The frame's code address. This shall be constant through out the
|
|
lifetime of the frame. While the PC (a.k.a. resume address)
|
|
changes as the function is executed, this code address cannot.
|
|
Typically, it is set to the address of the entry point of the
|
|
frame's function (as returned by get_frame_func).
|
|
|
|
For inlined functions (INLINE_DEPTH != 0), this is the address of
|
|
the first executed instruction in the block corresponding to the
|
|
inlined function.
|
|
|
|
This field is valid only if code_addr_p is true. Otherwise, this
|
|
frame is considered to have a wildcard code address, i.e. one that
|
|
matches every address value in frame comparisons. */
|
|
CORE_ADDR code_addr;
|
|
|
|
/* The frame's special address. This shall be constant through out the
|
|
lifetime of the frame. This is used for architectures that may have
|
|
frames that do not change the stack but are still distinct and have
|
|
some form of distinct identifier (e.g. the ia64 which uses a 2nd
|
|
stack for registers). This field is treated as unordered - i.e. will
|
|
not be used in frame ordering comparisons.
|
|
|
|
This field is valid only if special_addr_p is true. Otherwise, this
|
|
frame is considered to have a wildcard special address, i.e. one that
|
|
matches every address value in frame comparisons. */
|
|
CORE_ADDR special_addr;
|
|
|
|
/* Flags to indicate the above fields have valid contents. */
|
|
ENUM_BITFIELD(frame_id_stack_status) stack_status : 3;
|
|
unsigned int code_addr_p : 1;
|
|
unsigned int special_addr_p : 1;
|
|
|
|
/* It is non-zero for a frame made up by GDB without stack data
|
|
representation in inferior, such as INLINE_FRAME or TAILCALL_FRAME.
|
|
Caller of inlined function will have it zero, each more inner called frame
|
|
will have it increasingly one, two etc. Similarly for TAILCALL_FRAME. */
|
|
int artificial_depth;
|
|
|
|
/* Return a string representation of this frame id. */
|
|
std::string to_string () const;
|
|
};
|
|
|
|
/* Save and restore the currently selected frame. */
|
|
|
|
class scoped_restore_selected_frame
|
|
{
|
|
public:
|
|
/* Save the currently selected frame. */
|
|
scoped_restore_selected_frame ();
|
|
|
|
/* Restore the currently selected frame. */
|
|
~scoped_restore_selected_frame ();
|
|
|
|
DISABLE_COPY_AND_ASSIGN (scoped_restore_selected_frame);
|
|
|
|
private:
|
|
|
|
/* The ID and level of the previously selected frame. */
|
|
struct frame_id m_fid;
|
|
int m_level;
|
|
|
|
/* Save/restore the language as well, because selecting a frame
|
|
changes the current language to the frame's language if "set
|
|
language auto". */
|
|
enum language m_lang;
|
|
};
|
|
|
|
/* Methods for constructing and comparing Frame IDs. */
|
|
|
|
/* For convenience. All fields are zero. This means "there is no frame". */
|
|
extern const struct frame_id null_frame_id;
|
|
|
|
/* Sentinel frame. */
|
|
extern const struct frame_id sentinel_frame_id;
|
|
|
|
/* This means "there is no frame ID, but there is a frame". It should be
|
|
replaced by best-effort frame IDs for the outermost frame, somehow.
|
|
The implementation is only special_addr_p set. */
|
|
extern const struct frame_id outer_frame_id;
|
|
|
|
/* Flag to control debugging. */
|
|
|
|
extern bool frame_debug;
|
|
|
|
/* Print a "frame" debug statement. */
|
|
|
|
#define frame_debug_printf(fmt, ...) \
|
|
debug_prefixed_printf_cond (frame_debug, "frame", fmt, ##__VA_ARGS__)
|
|
|
|
/* Print "frame" enter/exit debug statements. */
|
|
|
|
#define FRAME_SCOPED_DEBUG_ENTER_EXIT \
|
|
scoped_debug_enter_exit (frame_debug, "frame")
|
|
|
|
/* Construct a frame ID. The first parameter is the frame's constant
|
|
stack address (typically the outer-bound), and the second the
|
|
frame's constant code address (typically the entry point).
|
|
The special identifier address is set to indicate a wild card. */
|
|
extern struct frame_id frame_id_build (CORE_ADDR stack_addr,
|
|
CORE_ADDR code_addr);
|
|
|
|
/* Construct a special frame ID. The first parameter is the frame's constant
|
|
stack address (typically the outer-bound), the second is the
|
|
frame's constant code address (typically the entry point),
|
|
and the third parameter is the frame's special identifier address. */
|
|
extern struct frame_id frame_id_build_special (CORE_ADDR stack_addr,
|
|
CORE_ADDR code_addr,
|
|
CORE_ADDR special_addr);
|
|
|
|
/* Construct a frame ID representing a frame where the stack address
|
|
exists, but is unavailable. CODE_ADDR is the frame's constant code
|
|
address (typically the entry point). The special identifier
|
|
address is set to indicate a wild card. */
|
|
extern struct frame_id frame_id_build_unavailable_stack (CORE_ADDR code_addr);
|
|
|
|
/* Construct a frame ID representing a frame where the stack address
|
|
exists, but is unavailable. CODE_ADDR is the frame's constant code
|
|
address (typically the entry point). SPECIAL_ADDR is the special
|
|
identifier address. */
|
|
extern struct frame_id
|
|
frame_id_build_unavailable_stack_special (CORE_ADDR code_addr,
|
|
CORE_ADDR special_addr);
|
|
|
|
/* Construct a wild card frame ID. The parameter is the frame's constant
|
|
stack address (typically the outer-bound). The code address as well
|
|
as the special identifier address are set to indicate wild cards. */
|
|
extern struct frame_id frame_id_build_wild (CORE_ADDR stack_addr);
|
|
|
|
/* Returns true when L is a valid frame. */
|
|
extern bool frame_id_p (frame_id l);
|
|
|
|
/* Returns true when L is a valid frame representing a frame made up by GDB
|
|
without stack data representation in inferior, such as INLINE_FRAME or
|
|
TAILCALL_FRAME. */
|
|
extern bool frame_id_artificial_p (frame_id l);
|
|
|
|
/* Returns true when L and R identify the same frame. */
|
|
extern bool frame_id_eq (frame_id l, frame_id r);
|
|
|
|
/* Frame types. Some are real, some are signal trampolines, and some
|
|
are completely artificial (dummy). */
|
|
|
|
enum frame_type
|
|
{
|
|
/* A true stack frame, created by the target program during normal
|
|
execution. */
|
|
NORMAL_FRAME,
|
|
/* A fake frame, created by GDB when performing an inferior function
|
|
call. */
|
|
DUMMY_FRAME,
|
|
/* A frame representing an inlined function, associated with an
|
|
upcoming (prev, outer, older) NORMAL_FRAME. */
|
|
INLINE_FRAME,
|
|
/* A virtual frame of a tail call - see dwarf2_tailcall_frame_unwind. */
|
|
TAILCALL_FRAME,
|
|
/* In a signal handler, various OSs handle this in various ways.
|
|
The main thing is that the frame may be far from normal. */
|
|
SIGTRAMP_FRAME,
|
|
/* Fake frame representing a cross-architecture call. */
|
|
ARCH_FRAME,
|
|
/* Sentinel or registers frame. This frame obtains register values
|
|
direct from the inferior's registers. */
|
|
SENTINEL_FRAME
|
|
};
|
|
|
|
/* For every stopped thread, GDB tracks two frames: current and
|
|
selected. Current frame is the inner most frame of the selected
|
|
thread. Selected frame is the one being examined by the GDB
|
|
CLI (selected using `up', `down', ...). The frames are created
|
|
on-demand (via get_prev_frame()) and then held in a frame cache. */
|
|
/* FIXME: cagney/2002-11-28: Er, there is a lie here. If you do the
|
|
sequence: `thread 1; up; thread 2; thread 1' you lose thread 1's
|
|
selected frame. At present GDB only tracks the selected frame of
|
|
the current thread. But be warned, that might change. */
|
|
/* FIXME: cagney/2002-11-14: At any time, only one thread's selected
|
|
and current frame can be active. Switching threads causes gdb to
|
|
discard all that cached frame information. Ulgh! Instead, current
|
|
and selected frame should be bound to a thread. */
|
|
|
|
/* On demand, create the inner most frame using information found in
|
|
the inferior. If the inner most frame can't be created, throw an
|
|
error. */
|
|
extern struct frame_info *get_current_frame (void);
|
|
|
|
/* Does the current target interface have enough state to be able to
|
|
query the current inferior for frame info, and is the inferior in a
|
|
state where that is possible? */
|
|
extern bool has_stack_frames ();
|
|
|
|
/* Invalidates the frame cache (this function should have been called
|
|
invalidate_cached_frames).
|
|
|
|
FIXME: cagney/2002-11-28: There should be two methods: one that
|
|
reverts the thread's selected frame back to current frame (for when
|
|
the inferior resumes) and one that does not (for when the user
|
|
modifies the target invalidating the frame cache). */
|
|
extern void reinit_frame_cache (void);
|
|
|
|
/* Return the selected frame. Always returns non-NULL. If there
|
|
isn't an inferior sufficient for creating a frame, an error is
|
|
thrown. When MESSAGE is non-NULL, use it for the error message,
|
|
otherwise use a generic error message. */
|
|
/* FIXME: cagney/2002-11-28: At present, when there is no selected
|
|
frame, this function always returns the current (inner most) frame.
|
|
It should instead, when a thread has previously had its frame
|
|
selected (but not resumed) and the frame cache invalidated, find
|
|
and then return that thread's previously selected frame. */
|
|
extern struct frame_info *get_selected_frame (const char *message = nullptr);
|
|
|
|
/* Select a specific frame. NULL implies re-select the inner most
|
|
frame. */
|
|
extern void select_frame (struct frame_info *);
|
|
|
|
/* Save the frame ID and frame level of the selected frame in FRAME_ID
|
|
and FRAME_LEVEL, to be restored later with restore_selected_frame.
|
|
|
|
This is preferred over getting the same info out of
|
|
get_selected_frame directly because this function does not create
|
|
the selected-frame's frame_info object if it hasn't been created
|
|
yet, and thus is more efficient and doesn't throw. */
|
|
extern void save_selected_frame (frame_id *frame_id, int *frame_level)
|
|
noexcept;
|
|
|
|
/* Restore selected frame as saved with save_selected_frame.
|
|
|
|
Does not try to find the corresponding frame_info object. Instead
|
|
the next call to get_selected_frame will look it up and cache the
|
|
result.
|
|
|
|
This function does not throw. It is designed to be safe to called
|
|
from the destructors of RAII types. */
|
|
extern void restore_selected_frame (frame_id frame_id, int frame_level)
|
|
noexcept;
|
|
|
|
/* Lookup the frame_info object for the selected frame FRAME_ID /
|
|
FRAME_LEVEL and cache the result.
|
|
|
|
If FRAME_LEVEL > 0 and the originally selected frame isn't found,
|
|
warn and select the innermost (current) frame. */
|
|
extern void lookup_selected_frame (frame_id frame_id, int frame_level);
|
|
|
|
/* Given a FRAME, return the next (more inner, younger) or previous
|
|
(more outer, older) frame. */
|
|
extern struct frame_info *get_prev_frame (struct frame_info *);
|
|
extern struct frame_info *get_next_frame (struct frame_info *);
|
|
|
|
/* Like get_next_frame(), but allows return of the sentinel frame. NULL
|
|
is never returned. */
|
|
extern struct frame_info *get_next_frame_sentinel_okay (struct frame_info *);
|
|
|
|
/* Return a "struct frame_info" corresponding to the frame that called
|
|
THIS_FRAME. Returns NULL if there is no such frame.
|
|
|
|
Unlike get_prev_frame, this function always tries to unwind the
|
|
frame. */
|
|
extern struct frame_info *get_prev_frame_always (struct frame_info *);
|
|
|
|
/* Given a frame's ID, relocate the frame. Returns NULL if the frame
|
|
is not found. */
|
|
extern struct frame_info *frame_find_by_id (struct frame_id id);
|
|
|
|
/* Base attributes of a frame: */
|
|
|
|
/* The frame's `resume' address. Where the program will resume in
|
|
this frame.
|
|
|
|
This replaced: frame->pc; */
|
|
extern CORE_ADDR get_frame_pc (struct frame_info *);
|
|
|
|
/* Same as get_frame_pc, but return a boolean indication of whether
|
|
the PC is actually available, instead of throwing an error. */
|
|
|
|
extern bool get_frame_pc_if_available (frame_info *frame, CORE_ADDR *pc);
|
|
|
|
/* An address (not necessarily aligned to an instruction boundary)
|
|
that falls within THIS frame's code block.
|
|
|
|
When a function call is the last statement in a block, the return
|
|
address for the call may land at the start of the next block.
|
|
Similarly, if a no-return function call is the last statement in
|
|
the function, the return address may end up pointing beyond the
|
|
function, and possibly at the start of the next function.
|
|
|
|
These methods make an allowance for this. For call frames, this
|
|
function returns the frame's PC-1 which "should" be an address in
|
|
the frame's block. */
|
|
|
|
extern CORE_ADDR get_frame_address_in_block (struct frame_info *this_frame);
|
|
|
|
/* Same as get_frame_address_in_block, but returns a boolean
|
|
indication of whether the frame address is determinable (when the
|
|
PC is unavailable, it will not be), instead of possibly throwing an
|
|
error trying to read an unavailable PC. */
|
|
|
|
extern bool get_frame_address_in_block_if_available (frame_info *this_frame,
|
|
CORE_ADDR *pc);
|
|
|
|
/* The frame's inner-most bound. AKA the stack-pointer. Confusingly
|
|
known as top-of-stack. */
|
|
|
|
extern CORE_ADDR get_frame_sp (struct frame_info *);
|
|
|
|
/* Following on from the `resume' address. Return the entry point
|
|
address of the function containing that resume address, or zero if
|
|
that function isn't known. */
|
|
extern CORE_ADDR get_frame_func (struct frame_info *fi);
|
|
|
|
/* Same as get_frame_func, but returns a boolean indication of whether
|
|
the frame function is determinable (when the PC is unavailable, it
|
|
will not be), instead of possibly throwing an error trying to read
|
|
an unavailable PC. */
|
|
|
|
extern bool get_frame_func_if_available (frame_info *fi, CORE_ADDR *);
|
|
|
|
/* Closely related to the resume address, various symbol table
|
|
attributes that are determined by the PC. Note that for a normal
|
|
frame, the PC refers to the resume address after the return, and
|
|
not the call instruction. In such a case, the address is adjusted
|
|
so that it (approximately) identifies the call site (and not the
|
|
return site).
|
|
|
|
NOTE: cagney/2002-11-28: The frame cache could be used to cache the
|
|
computed value. Working on the assumption that the bottle-neck is
|
|
in the single step code, and that code causes the frame cache to be
|
|
constantly flushed, caching things in a frame is probably of little
|
|
benefit. As they say `show us the numbers'.
|
|
|
|
NOTE: cagney/2002-11-28: Plenty more where this one came from:
|
|
find_frame_block(), find_frame_partial_function(),
|
|
find_frame_symtab(), find_frame_function(). Each will need to be
|
|
carefully considered to determine if the real intent was for it to
|
|
apply to the PC or the adjusted PC. */
|
|
extern symtab_and_line find_frame_sal (frame_info *frame);
|
|
|
|
/* Set the current source and line to the location given by frame
|
|
FRAME, if possible. */
|
|
|
|
void set_current_sal_from_frame (struct frame_info *);
|
|
|
|
/* Return the frame base (what ever that is) (DEPRECATED).
|
|
|
|
Old code was trying to use this single method for two conflicting
|
|
purposes. Such code needs to be updated to use either of:
|
|
|
|
get_frame_id: A low level frame unique identifier, that consists of
|
|
both a stack and a function address, that can be used to uniquely
|
|
identify a frame. This value is determined by the frame's
|
|
low-level unwinder, the stack part [typically] being the
|
|
top-of-stack of the previous frame, and the function part being the
|
|
function's start address. Since the correct identification of a
|
|
frameless function requires both a stack and function address,
|
|
the old get_frame_base method was not sufficient.
|
|
|
|
get_frame_base_address: get_frame_locals_address:
|
|
get_frame_args_address: A set of high-level debug-info dependant
|
|
addresses that fall within the frame. These addresses almost
|
|
certainly will not match the stack address part of a frame ID (as
|
|
returned by get_frame_base).
|
|
|
|
This replaced: frame->frame; */
|
|
|
|
extern CORE_ADDR get_frame_base (struct frame_info *);
|
|
|
|
/* Return the per-frame unique identifer. Can be used to relocate a
|
|
frame after a frame cache flush (and other similar operations). If
|
|
FI is NULL, return the null_frame_id.
|
|
|
|
NOTE: kettenis/20040508: These functions return a structure. On
|
|
platforms where structures are returned in static storage (vax,
|
|
m68k), this may trigger compiler bugs in code like:
|
|
|
|
if (frame_id_eq (get_frame_id (l), get_frame_id (r)))
|
|
|
|
where the return value from the first get_frame_id (l) gets
|
|
overwritten by the second get_frame_id (r). Please avoid writing
|
|
code like this. Use code like:
|
|
|
|
struct frame_id id = get_frame_id (l);
|
|
if (frame_id_eq (id, get_frame_id (r)))
|
|
|
|
instead, since that avoids the bug. */
|
|
extern struct frame_id get_frame_id (struct frame_info *fi);
|
|
extern struct frame_id get_stack_frame_id (struct frame_info *fi);
|
|
extern struct frame_id frame_unwind_caller_id (struct frame_info *next_frame);
|
|
|
|
/* Assuming that a frame is `normal', return its base-address, or 0 if
|
|
the information isn't available. NOTE: This address is really only
|
|
meaningful to the frame's high-level debug info. */
|
|
extern CORE_ADDR get_frame_base_address (struct frame_info *);
|
|
|
|
/* Assuming that a frame is `normal', return the base-address of the
|
|
local variables, or 0 if the information isn't available. NOTE:
|
|
This address is really only meaningful to the frame's high-level
|
|
debug info. Typically, the argument and locals share a single
|
|
base-address. */
|
|
extern CORE_ADDR get_frame_locals_address (struct frame_info *);
|
|
|
|
/* Assuming that a frame is `normal', return the base-address of the
|
|
parameter list, or 0 if that information isn't available. NOTE:
|
|
This address is really only meaningful to the frame's high-level
|
|
debug info. Typically, the argument and locals share a single
|
|
base-address. */
|
|
extern CORE_ADDR get_frame_args_address (struct frame_info *);
|
|
|
|
/* The frame's level: 0 for innermost, 1 for its caller, ...; or -1
|
|
for an invalid frame). */
|
|
extern int frame_relative_level (struct frame_info *fi);
|
|
|
|
/* Return the frame's type. */
|
|
|
|
extern enum frame_type get_frame_type (struct frame_info *);
|
|
|
|
/* Return the frame's program space. */
|
|
extern struct program_space *get_frame_program_space (struct frame_info *);
|
|
|
|
/* Unwind THIS frame's program space from the NEXT frame. */
|
|
extern struct program_space *frame_unwind_program_space (struct frame_info *);
|
|
|
|
class address_space;
|
|
|
|
/* Return the frame's address space. */
|
|
extern const address_space *get_frame_address_space (struct frame_info *);
|
|
|
|
/* For frames where we can not unwind further, describe why. */
|
|
|
|
enum unwind_stop_reason
|
|
{
|
|
#define SET(name, description) name,
|
|
#define FIRST_ENTRY(name) UNWIND_FIRST = name,
|
|
#define LAST_ENTRY(name) UNWIND_LAST = name,
|
|
#define FIRST_ERROR(name) UNWIND_FIRST_ERROR = name,
|
|
|
|
#include "unwind_stop_reasons.def"
|
|
#undef SET
|
|
#undef FIRST_ENTRY
|
|
#undef LAST_ENTRY
|
|
#undef FIRST_ERROR
|
|
};
|
|
|
|
/* Return the reason why we can't unwind past this frame. */
|
|
|
|
enum unwind_stop_reason get_frame_unwind_stop_reason (struct frame_info *);
|
|
|
|
/* Translate a reason code to an informative string. This converts the
|
|
generic stop reason codes into a generic string describing the code.
|
|
For a possibly frame specific string explaining the stop reason, use
|
|
FRAME_STOP_REASON_STRING instead. */
|
|
|
|
const char *unwind_stop_reason_to_string (enum unwind_stop_reason);
|
|
|
|
/* Return a possibly frame specific string explaining why the unwind
|
|
stopped here. E.g., if unwinding tripped on a memory error, this
|
|
will return the error description string, which includes the address
|
|
that we failed to access. If there's no specific reason stored for
|
|
a frame then a generic reason string will be returned.
|
|
|
|
Should only be called for frames that don't have a previous frame. */
|
|
|
|
const char *frame_stop_reason_string (struct frame_info *);
|
|
|
|
/* Unwind the stack frame so that the value of REGNUM, in the previous
|
|
(up, older) frame is returned. If VALUEP is NULL, don't
|
|
fetch/compute the value. Instead just return the location of the
|
|
value. */
|
|
extern void frame_register_unwind (frame_info *frame, int regnum,
|
|
int *optimizedp, int *unavailablep,
|
|
enum lval_type *lvalp,
|
|
CORE_ADDR *addrp, int *realnump,
|
|
gdb_byte *valuep);
|
|
|
|
/* Fetch a register from this, or unwind a register from the next
|
|
frame. Note that the get_frame methods are wrappers to
|
|
frame->next->unwind. They all [potentially] throw an error if the
|
|
fetch fails. The value methods never return NULL, but usually
|
|
do return a lazy value. */
|
|
|
|
extern void frame_unwind_register (frame_info *next_frame,
|
|
int regnum, gdb_byte *buf);
|
|
extern void get_frame_register (struct frame_info *frame,
|
|
int regnum, gdb_byte *buf);
|
|
|
|
struct value *frame_unwind_register_value (frame_info *next_frame,
|
|
int regnum);
|
|
struct value *get_frame_register_value (struct frame_info *frame,
|
|
int regnum);
|
|
|
|
extern LONGEST frame_unwind_register_signed (frame_info *next_frame,
|
|
int regnum);
|
|
extern LONGEST get_frame_register_signed (struct frame_info *frame,
|
|
int regnum);
|
|
extern ULONGEST frame_unwind_register_unsigned (frame_info *frame,
|
|
int regnum);
|
|
extern ULONGEST get_frame_register_unsigned (struct frame_info *frame,
|
|
int regnum);
|
|
|
|
/* Read a register from this, or unwind a register from the next
|
|
frame. Note that the read_frame methods are wrappers to
|
|
get_frame_register_value, that do not throw if the result is
|
|
optimized out or unavailable. */
|
|
|
|
extern bool read_frame_register_unsigned (frame_info *frame,
|
|
int regnum, ULONGEST *val);
|
|
|
|
/* Get the value of the register that belongs to this FRAME. This
|
|
function is a wrapper to the call sequence ``frame_register_unwind
|
|
(get_next_frame (FRAME))''. As per frame_register_unwind(), if
|
|
VALUEP is NULL, the registers value is not fetched/computed. */
|
|
|
|
extern void frame_register (struct frame_info *frame, int regnum,
|
|
int *optimizedp, int *unavailablep,
|
|
enum lval_type *lvalp,
|
|
CORE_ADDR *addrp, int *realnump,
|
|
gdb_byte *valuep);
|
|
|
|
/* The reverse. Store a register value relative to the specified
|
|
frame. Note: this call makes the frame's state undefined. The
|
|
register and frame caches must be flushed. */
|
|
extern void put_frame_register (struct frame_info *frame, int regnum,
|
|
const gdb_byte *buf);
|
|
|
|
/* Read LEN bytes from one or multiple registers starting with REGNUM
|
|
in frame FRAME, starting at OFFSET, into BUF. If the register
|
|
contents are optimized out or unavailable, set *OPTIMIZEDP,
|
|
*UNAVAILABLEP accordingly. */
|
|
extern bool get_frame_register_bytes (frame_info *frame, int regnum,
|
|
CORE_ADDR offset,
|
|
gdb::array_view<gdb_byte> buffer,
|
|
int *optimizedp, int *unavailablep);
|
|
|
|
/* Write bytes from BUFFER to one or multiple registers starting with REGNUM
|
|
in frame FRAME, starting at OFFSET. */
|
|
extern void put_frame_register_bytes (struct frame_info *frame, int regnum,
|
|
CORE_ADDR offset,
|
|
gdb::array_view<const gdb_byte> buffer);
|
|
|
|
/* Unwind the PC. Strictly speaking return the resume address of the
|
|
calling frame. For GDB, `pc' is the resume address and not a
|
|
specific register. */
|
|
|
|
extern CORE_ADDR frame_unwind_caller_pc (struct frame_info *frame);
|
|
|
|
/* Discard the specified frame. Restoring the registers to the state
|
|
of the caller. */
|
|
extern void frame_pop (struct frame_info *frame);
|
|
|
|
/* Return memory from the specified frame. A frame knows its thread /
|
|
LWP and hence can find its way down to a target. The assumption
|
|
here is that the current and previous frame share a common address
|
|
space.
|
|
|
|
If the memory read fails, these methods throw an error.
|
|
|
|
NOTE: cagney/2003-06-03: Should there be unwind versions of these
|
|
methods? That isn't clear. Can code, for instance, assume that
|
|
this and the previous frame's memory or architecture are identical?
|
|
If architecture / memory changes are always separated by special
|
|
adaptor frames this should be ok. */
|
|
|
|
extern void get_frame_memory (struct frame_info *this_frame, CORE_ADDR addr,
|
|
gdb::array_view<gdb_byte> buffer);
|
|
extern LONGEST get_frame_memory_signed (struct frame_info *this_frame,
|
|
CORE_ADDR memaddr, int len);
|
|
extern ULONGEST get_frame_memory_unsigned (struct frame_info *this_frame,
|
|
CORE_ADDR memaddr, int len);
|
|
|
|
/* Same as above, but return true zero when the entire memory read
|
|
succeeds, false otherwise. */
|
|
extern bool safe_frame_unwind_memory (frame_info *this_frame, CORE_ADDR addr,
|
|
gdb::array_view<gdb_byte> buffer);
|
|
|
|
/* Return this frame's architecture. */
|
|
extern struct gdbarch *get_frame_arch (struct frame_info *this_frame);
|
|
|
|
/* Return the previous frame's architecture. */
|
|
extern struct gdbarch *frame_unwind_arch (frame_info *next_frame);
|
|
|
|
/* Return the previous frame's architecture, skipping inline functions. */
|
|
extern struct gdbarch *frame_unwind_caller_arch (struct frame_info *frame);
|
|
|
|
|
|
/* Values for the source flag to be used in print_frame_info ().
|
|
For all the cases below, the address is never printed if
|
|
'set print address' is off. When 'set print address' is on,
|
|
the address is printed if the program counter is not at the
|
|
beginning of the source line of the frame
|
|
and PRINT_WHAT is != LOC_AND_ADDRESS. */
|
|
enum print_what
|
|
{
|
|
/* Print only the address, source line, like in stepi. */
|
|
SRC_LINE = -1,
|
|
/* Print only the location, i.e. level, address,
|
|
function, args (as controlled by 'set print frame-arguments'),
|
|
file, line, line num. */
|
|
LOCATION,
|
|
/* Print both of the above. */
|
|
SRC_AND_LOC,
|
|
/* Print location only, print the address even if the program counter
|
|
is at the beginning of the source line. */
|
|
LOC_AND_ADDRESS,
|
|
/* Print only level and function,
|
|
i.e. location only, without address, file, line, line num. */
|
|
SHORT_LOCATION
|
|
};
|
|
|
|
/* Allocate zero initialized memory from the frame cache obstack.
|
|
Appendices to the frame info (such as the unwind cache) should
|
|
allocate memory using this method. */
|
|
|
|
extern void *frame_obstack_zalloc (unsigned long size);
|
|
#define FRAME_OBSTACK_ZALLOC(TYPE) \
|
|
((TYPE *) frame_obstack_zalloc (sizeof (TYPE)))
|
|
#define FRAME_OBSTACK_CALLOC(NUMBER,TYPE) \
|
|
((TYPE *) frame_obstack_zalloc ((NUMBER) * sizeof (TYPE)))
|
|
|
|
class readonly_detached_regcache;
|
|
/* Create a regcache, and copy the frame's registers into it. */
|
|
std::unique_ptr<readonly_detached_regcache> frame_save_as_regcache
|
|
(struct frame_info *this_frame);
|
|
|
|
extern const struct block *get_frame_block (struct frame_info *,
|
|
CORE_ADDR *addr_in_block);
|
|
|
|
/* Return the `struct block' that belongs to the selected thread's
|
|
selected frame. If the inferior has no state, return NULL.
|
|
|
|
NOTE: cagney/2002-11-29:
|
|
|
|
No state? Does the inferior have any execution state (a core file
|
|
does, an executable does not). At present the code tests
|
|
`target_has_stack' but I'm left wondering if it should test
|
|
`target_has_registers' or, even, a merged target_has_state.
|
|
|
|
Should it look at the most recently specified SAL? If the target
|
|
has no state, should this function try to extract a block from the
|
|
most recently selected SAL? That way `list foo' would give it some
|
|
sort of reference point. Then again, perhaps that would confuse
|
|
things.
|
|
|
|
Calls to this function can be broken down into two categories: Code
|
|
that uses the selected block as an additional, but optional, data
|
|
point; Code that uses the selected block as a prop, when it should
|
|
have the relevant frame/block/pc explicitly passed in.
|
|
|
|
The latter can be eliminated by correctly parameterizing the code,
|
|
the former though is more interesting. Per the "address" command,
|
|
it occurs in the CLI code and makes it possible for commands to
|
|
work, even when the inferior has no state. */
|
|
|
|
extern const struct block *get_selected_block (CORE_ADDR *addr_in_block);
|
|
|
|
extern struct symbol *get_frame_function (struct frame_info *);
|
|
|
|
extern CORE_ADDR get_pc_function_start (CORE_ADDR);
|
|
|
|
extern struct frame_info *find_relative_frame (struct frame_info *, int *);
|
|
|
|
/* Wrapper over print_stack_frame modifying current_uiout with UIOUT for
|
|
the function call. */
|
|
|
|
extern void print_stack_frame_to_uiout (struct ui_out *uiout,
|
|
struct frame_info *, int print_level,
|
|
enum print_what print_what,
|
|
int set_current_sal);
|
|
|
|
extern void print_stack_frame (struct frame_info *, int print_level,
|
|
enum print_what print_what,
|
|
int set_current_sal);
|
|
|
|
extern void print_frame_info (const frame_print_options &fp_opts,
|
|
struct frame_info *, int print_level,
|
|
enum print_what print_what, int args,
|
|
int set_current_sal);
|
|
|
|
extern struct frame_info *block_innermost_frame (const struct block *);
|
|
|
|
extern bool deprecated_frame_register_read (frame_info *frame, int regnum,
|
|
gdb_byte *buf);
|
|
|
|
/* From stack.c. */
|
|
|
|
/* The possible choices of "set print frame-arguments". */
|
|
extern const char print_frame_arguments_all[];
|
|
extern const char print_frame_arguments_scalars[];
|
|
extern const char print_frame_arguments_none[];
|
|
|
|
/* The possible choices of "set print frame-info". */
|
|
extern const char print_frame_info_auto[];
|
|
extern const char print_frame_info_source_line[];
|
|
extern const char print_frame_info_location[];
|
|
extern const char print_frame_info_source_and_location[];
|
|
extern const char print_frame_info_location_and_address[];
|
|
extern const char print_frame_info_short_location[];
|
|
|
|
/* The possible choices of "set print entry-values". */
|
|
extern const char print_entry_values_no[];
|
|
extern const char print_entry_values_only[];
|
|
extern const char print_entry_values_preferred[];
|
|
extern const char print_entry_values_if_needed[];
|
|
extern const char print_entry_values_both[];
|
|
extern const char print_entry_values_compact[];
|
|
extern const char print_entry_values_default[];
|
|
|
|
/* Data for the frame-printing "set print" settings exposed as command
|
|
options. */
|
|
|
|
struct frame_print_options
|
|
{
|
|
const char *print_frame_arguments = print_frame_arguments_scalars;
|
|
const char *print_frame_info = print_frame_info_auto;
|
|
const char *print_entry_values = print_entry_values_default;
|
|
|
|
/* If true, don't invoke pretty-printers for frame
|
|
arguments. */
|
|
bool print_raw_frame_arguments;
|
|
};
|
|
|
|
/* The values behind the global "set print ..." settings. */
|
|
extern frame_print_options user_frame_print_options;
|
|
|
|
/* Inferior function parameter value read in from a frame. */
|
|
|
|
struct frame_arg
|
|
{
|
|
/* Symbol for this parameter used for example for its name. */
|
|
struct symbol *sym = nullptr;
|
|
|
|
/* Value of the parameter. It is NULL if ERROR is not NULL; if both VAL and
|
|
ERROR are NULL this parameter's value should not be printed. */
|
|
struct value *val = nullptr;
|
|
|
|
/* String containing the error message, it is more usually NULL indicating no
|
|
error occured reading this parameter. */
|
|
gdb::unique_xmalloc_ptr<char> error;
|
|
|
|
/* One of the print_entry_values_* entries as appropriate specifically for
|
|
this frame_arg. It will be different from print_entry_values. With
|
|
print_entry_values_no this frame_arg should be printed as a normal
|
|
parameter. print_entry_values_only says it should be printed as entry
|
|
value parameter. print_entry_values_compact says it should be printed as
|
|
both as a normal parameter and entry values parameter having the same
|
|
value - print_entry_values_compact is not permitted fi ui_out_is_mi_like_p
|
|
(in such case print_entry_values_no and print_entry_values_only is used
|
|
for each parameter kind specifically. */
|
|
const char *entry_kind = nullptr;
|
|
};
|
|
|
|
extern void read_frame_arg (const frame_print_options &fp_opts,
|
|
symbol *sym, frame_info *frame,
|
|
struct frame_arg *argp,
|
|
struct frame_arg *entryargp);
|
|
extern void read_frame_local (struct symbol *sym, struct frame_info *frame,
|
|
struct frame_arg *argp);
|
|
|
|
extern void info_args_command (const char *, int);
|
|
|
|
extern void info_locals_command (const char *, int);
|
|
|
|
extern void return_command (const char *, int);
|
|
|
|
/* Set FRAME's unwinder temporarily, so that we can call a sniffer.
|
|
If sniffing fails, the caller should be sure to call
|
|
frame_cleanup_after_sniffer. */
|
|
|
|
extern void frame_prepare_for_sniffer (struct frame_info *frame,
|
|
const struct frame_unwind *unwind);
|
|
|
|
/* Clean up after a failed (wrong unwinder) attempt to unwind past
|
|
FRAME. */
|
|
|
|
extern void frame_cleanup_after_sniffer (struct frame_info *frame);
|
|
|
|
/* Notes (cagney/2002-11-27, drow/2003-09-06):
|
|
|
|
You might think that calls to this function can simply be replaced by a
|
|
call to get_selected_frame().
|
|
|
|
Unfortunately, it isn't that easy.
|
|
|
|
The relevant code needs to be audited to determine if it is
|
|
possible (or practical) to instead pass the applicable frame in as a
|
|
parameter. For instance, DEPRECATED_DO_REGISTERS_INFO() relied on
|
|
the deprecated_selected_frame global, while its replacement,
|
|
PRINT_REGISTERS_INFO(), is parameterized with the selected frame.
|
|
The only real exceptions occur at the edge (in the CLI code) where
|
|
user commands need to pick up the selected frame before proceeding.
|
|
|
|
There are also some functions called with a NULL frame meaning either "the
|
|
program is not running" or "use the selected frame".
|
|
|
|
This is important. GDB is trying to stamp out the hack:
|
|
|
|
saved_frame = deprecated_safe_get_selected_frame ();
|
|
select_frame (...);
|
|
hack_using_global_selected_frame ();
|
|
select_frame (saved_frame);
|
|
|
|
Take care!
|
|
|
|
This function calls get_selected_frame if the inferior should have a
|
|
frame, or returns NULL otherwise. */
|
|
|
|
extern struct frame_info *deprecated_safe_get_selected_frame (void);
|
|
|
|
/* Create a frame using the specified BASE and PC. */
|
|
|
|
extern struct frame_info *create_new_frame (CORE_ADDR base, CORE_ADDR pc);
|
|
|
|
/* Return true if the frame unwinder for frame FI is UNWINDER; false
|
|
otherwise. */
|
|
|
|
extern bool frame_unwinder_is (frame_info *fi, const frame_unwind *unwinder);
|
|
|
|
/* Return the language of FRAME. */
|
|
|
|
extern enum language get_frame_language (struct frame_info *frame);
|
|
|
|
/* Return the first non-tailcall frame above FRAME or FRAME if it is not a
|
|
tailcall frame. Return NULL if FRAME is the start of a tailcall-only
|
|
chain. */
|
|
|
|
extern struct frame_info *skip_tailcall_frames (struct frame_info *frame);
|
|
|
|
/* Return the first frame above FRAME or FRAME of which the code is
|
|
writable. */
|
|
|
|
extern struct frame_info *skip_unwritable_frames (struct frame_info *frame);
|
|
|
|
/* Data for the "set backtrace" settings. */
|
|
|
|
struct set_backtrace_options
|
|
{
|
|
/* Flag to indicate whether backtraces should continue past
|
|
main. */
|
|
bool backtrace_past_main = false;
|
|
|
|
/* Flag to indicate whether backtraces should continue past
|
|
entry. */
|
|
bool backtrace_past_entry = false;
|
|
|
|
/* Upper bound on the number of backtrace levels. Note this is not
|
|
exposed as a command option, because "backtrace" and "frame
|
|
apply" already have other means to set a frame count limit. */
|
|
unsigned int backtrace_limit = UINT_MAX;
|
|
};
|
|
|
|
/* The corresponding option definitions. */
|
|
extern const gdb::option::option_def set_backtrace_option_defs[2];
|
|
|
|
/* The values behind the global "set backtrace ..." settings. */
|
|
extern set_backtrace_options user_set_backtrace_options;
|
|
|
|
/* Get the number of calls to reinit_frame_cache. */
|
|
|
|
unsigned int get_frame_cache_generation ();
|
|
|
|
/* Mark that the PC value is masked for the previous frame. */
|
|
|
|
extern void set_frame_previous_pc_masked (struct frame_info *frame);
|
|
|
|
/* Get whether the PC value is masked for the given frame. */
|
|
|
|
extern bool get_frame_pc_masked (const struct frame_info *frame);
|
|
|
|
|
|
#endif /* !defined (FRAME_H) */
|