gdb: add frame_id::user_created_p
authorSimon Marchi <simon.marchi@polymtl.ca>
Wed, 14 Dec 2022 03:34:35 +0000 (22:34 -0500)
committerSimon Marchi <simon.marchi@efficios.com>
Fri, 20 Jan 2023 19:48:57 +0000 (14:48 -0500)
commit848ab2ae8afe44843b8d06676604a48e45fa8969
tree0ba8a531972239a398975359b630ae76cc6e76ad
parent43e8c9ce20357a12dc5ccaf9ac84eea2cb6aa39b
gdb: add frame_id::user_created_p

Later in this series, we'll need to differentiate frame ids for regular
frames (obtained from the target state and unwinding from it) vs frame
ids for user-created frames (created with create_new_frame).  Add the
frame_id::user_created_p field to indicate a frame is user-created, and
set it in create_new_frame.

The field is otherwise not used yet, so not changes in behavior are
expected.

Change-Id: I60de3ce581ed01bf0fddb30dff9bd932840120c3
Reviewed-By: Bruno Larsen <blarsen@redhat.com>
gdb/frame-id.h
gdb/frame.c