aboutsummaryrefslogtreecommitdiff
path: root/gdb
diff options
context:
space:
mode:
authorSimon Marchi <simon.marchi@efficios.com>2023-12-21 16:10:17 +0000
committerSimon Marchi <simon.marchi@polymtl.ca>2023-12-24 09:02:08 -0500
commit9960c5d0a05007d27cc333f5cc3e746ac5087237 (patch)
tree065c6dea2bde552e59335734e1bc88e10e8cab6e /gdb
parent9f02b3a0249e61be6150ff3450726573916fca91 (diff)
downloadfsf-binutils-gdb-9960c5d0a05007d27cc333f5cc3e746ac5087237.zip
fsf-binutils-gdb-9960c5d0a05007d27cc333f5cc3e746ac5087237.tar.gz
fsf-binutils-gdb-9960c5d0a05007d27cc333f5cc3e746ac5087237.tar.bz2
gdb: pass non-nullptr frame to gdbarch_value_from_register in address_from_register
address_from_register used to pass null_frame_id to gdbarch_value_from_register as "this frame"'s id, because it's possible for it to be called during unwind, when "this frame"'s id is not yet known. This create an oddity where those register struct values are created without a valid next frame id. I would much prefer for things to be consistent and have all register struct values to have a valid next frame id. Since gdbarch_value_from_register takes a frame_info_ptr now, rather than a frame_id, we can pass down "this frame", even if it doesn't have a valid id. gdbarch_value_from_register implementations can obtain the next frame from it. However, it's possible for the "this frame"'s next frame to be an inline frame, inlined in "this frame", in which case that next frame's id is also not known. So, loop until we get to the next non-inline frame (which is actually the frame where registers for "this frame" are unwound from). This is the same thing that we do in value_of_register_lazy, for the same reason. A later patch will factor out this "while next frame is inline" loop to apply it to all register struct values, so this is somewhat temporary. Change-Id: If487c82620cc5a4a4ea5807f0a0bad80ab984078
Diffstat (limited to 'gdb')
-rw-r--r--gdb/findvar.c19
-rw-r--r--gdb/rs6000-tdep.c10
2 files changed, 9 insertions, 20 deletions
diff --git a/gdb/findvar.c b/gdb/findvar.c
index a8bc9dc..f184b63 100644
--- a/gdb/findvar.c
+++ b/gdb/findvar.c
@@ -755,13 +755,11 @@ default_value_from_register (gdbarch *gdbarch, type *type, int regnum,
struct value *value = value::allocate (type);
value->set_lval (lval_register);
- frame_id next_frame_id;
- if (this_frame == nullptr)
- next_frame_id = null_frame_id;
- else
- next_frame_id = get_frame_id (get_next_frame_sentinel_okay (this_frame));
+ frame_info_ptr next_frame = get_next_frame_sentinel_okay (this_frame);
+ while (get_frame_type (next_frame) == INLINE_FRAME)
+ next_frame = get_next_frame_sentinel_okay (next_frame);
- VALUE_NEXT_FRAME_ID (value) = next_frame_id;
+ VALUE_NEXT_FRAME_ID (value) = get_frame_id (next_frame);
VALUE_REGNUM (value) = regnum;
/* Any structure stored in more than one register will always be
@@ -887,13 +885,6 @@ address_from_register (int regnum, frame_info_ptr frame)
error (_("Invalid register #%d, expecting 0 <= # < %d"), regnum,
regnum_max_excl);
- /* This routine may be called during early unwinding, at a time
- where the ID of FRAME is not yet known. Calling value_from_register
- would therefore abort in get_frame_id. However, since we only need
- a temporary value that is never used as lvalue, we actually do not
- really need to set its VALUE_NEXT_FRAME_ID. Therefore, we re-implement
- the core of value_from_register, but use the null_frame_id. */
-
/* Some targets require a special conversion routine even for plain
pointer types. Avoid constructing a value object in those cases. */
if (gdbarch_convert_register_p (gdbarch, regnum, type))
@@ -915,7 +906,7 @@ address_from_register (int regnum, frame_info_ptr frame)
return unpack_long (type, buf);
}
- value *value = gdbarch_value_from_register (gdbarch, type, regnum, nullptr);
+ value *value = gdbarch_value_from_register (gdbarch, type, regnum, frame);
read_frame_register_value (value, frame);
if (value->optimized_out ())
diff --git a/gdb/rs6000-tdep.c b/gdb/rs6000-tdep.c
index f6c912b..6dae744 100644
--- a/gdb/rs6000-tdep.c
+++ b/gdb/rs6000-tdep.c
@@ -2760,13 +2760,11 @@ rs6000_value_from_register (gdbarch *gdbarch, type *type, int regnum,
value->set_lval (lval_register);
- frame_id next_frame_id;
- if (this_frame == nullptr)
- next_frame_id = null_frame_id;
- else
- next_frame_id = get_frame_id (get_next_frame_sentinel_okay (this_frame));
+ frame_info_ptr next_frame = get_next_frame_sentinel_okay (this_frame);
+ while (get_frame_type (next_frame) == INLINE_FRAME)
+ next_frame = get_next_frame_sentinel_okay (next_frame);
- VALUE_NEXT_FRAME_ID (value) = next_frame_id;
+ VALUE_NEXT_FRAME_ID (value) = get_frame_id (next_frame);
VALUE_REGNUM (value) = regnum;
/* Any structure stored in more than one register will always be