1 /* Cache and manage frames for GDB, the GNU debugger.
3 Copyright (C) 1986-2021 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 #include "inferior.h" /* for inferior_ptid */
26 #include "user-regs.h"
27 #include "gdb_obstack.h"
28 #include "dummy-frame.h"
29 #include "sentinel-frame.h"
33 #include "frame-unwind.h"
34 #include "frame-base.h"
37 #include "observable.h"
39 #include "gdbthread.h"
41 #include "inline-frame.h"
42 #include "tracepoint.h"
45 #include "cli/cli-option.h"
47 /* The sentinel frame terminates the innermost end of the frame chain.
48 If unwound, it returns the information needed to construct an
51 The current frame, which is the innermost frame, can be found at
52 sentinel_frame->prev. */
54 static struct frame_info *sentinel_frame;
56 /* Number of calls to reinit_frame_cache. */
57 static unsigned int frame_cache_generation = 0;
62 get_frame_cache_generation ()
64 return frame_cache_generation;
67 /* The values behind the global "set backtrace ..." settings. */
68 set_backtrace_options user_set_backtrace_options;
70 static struct frame_info *get_prev_frame_raw (struct frame_info *this_frame);
71 static const char *frame_stop_reason_symbol_string (enum unwind_stop_reason reason);
73 /* Status of some values cached in the frame_info object. */
75 enum cached_copy_status
77 /* Value is unknown. */
80 /* We have a value. */
83 /* Value was not saved. */
86 /* Value is unavailable. */
90 enum class frame_id_status
92 /* Frame id is not computed. */
95 /* Frame id is being computed (compute_frame_id is active). */
98 /* Frame id has been computed. */
102 /* We keep a cache of stack frames, each of which is a "struct
103 frame_info". The innermost one gets allocated (in
104 wait_for_inferior) each time the inferior stops; sentinel_frame
105 points to it. Additional frames get allocated (in get_prev_frame)
106 as needed, and are chained through the next and prev fields. Any
107 time that the frame cache becomes invalid (most notably when we
108 execute something, but also if we change how we interpret the
109 frames (e.g. "set heuristic-fence-post" in mips-tdep.c, or anything
110 which reads new symbols)), we should call reinit_frame_cache. */
114 /* Level of this frame. The inner-most (youngest) frame is at level
115 0. As you move towards the outer-most (oldest) frame, the level
116 increases. This is a cached value. It could just as easily be
117 computed by counting back from the selected frame to the inner
119 /* NOTE: cagney/2002-04-05: Perhaps a level of ``-1'' should be
120 reserved to indicate a bogus frame - one that has been created
121 just to keep GDB happy (GDB always needs a frame). For the
122 moment leave this as speculation. */
125 /* The frame's program space. */
126 struct program_space *pspace;
128 /* The frame's address space. */
129 const address_space *aspace;
131 /* The frame's low-level unwinder and corresponding cache. The
132 low-level unwinder is responsible for unwinding register values
133 for the previous frame. The low-level unwind methods are
134 selected based on the presence, or otherwise, of register unwind
135 information such as CFI. */
136 void *prologue_cache;
137 const struct frame_unwind *unwind;
139 /* Cached copy of the previous frame's architecture. */
143 struct gdbarch *arch;
146 /* Cached copy of the previous frame's resume address. */
148 cached_copy_status status;
149 /* Did VALUE require unmasking when being read. */
154 /* Cached copy of the previous frame's function address. */
158 cached_copy_status status;
161 /* This frame's ID. */
165 struct frame_id value;
168 /* The frame's high-level base methods, and corresponding cache.
169 The high level base methods are selected based on the frame's
171 const struct frame_base *base;
174 /* Pointers to the next (down, inner, younger) and previous (up,
175 outer, older) frame_info's in the frame cache. */
176 struct frame_info *next; /* down, inner, younger */
178 struct frame_info *prev; /* up, outer, older */
180 /* The reason why we could not set PREV, or UNWIND_NO_REASON if we
181 could. Only valid when PREV_P is set. */
182 enum unwind_stop_reason stop_reason;
184 /* A frame specific string describing the STOP_REASON in more detail.
185 Only valid when PREV_P is set, but even then may still be NULL. */
186 const char *stop_string;
192 set_frame_previous_pc_masked (struct frame_info *frame)
194 frame->prev_pc.masked = true;
200 get_frame_pc_masked (const struct frame_info *frame)
202 gdb_assert (frame->next != nullptr);
203 gdb_assert (frame->next->prev_pc.status == CC_VALUE);
205 return frame->next->prev_pc.masked;
208 /* A frame stash used to speed up frame lookups. Create a hash table
209 to stash frames previously accessed from the frame cache for
210 quicker subsequent retrieval. The hash table is emptied whenever
211 the frame cache is invalidated. */
213 static htab_t frame_stash;
215 /* Internal function to calculate a hash from the frame_id addresses,
216 using as many valid addresses as possible. Frames below level 0
217 are not stored in the hash table. */
220 frame_addr_hash (const void *ap)
222 const struct frame_info *frame = (const struct frame_info *) ap;
223 const struct frame_id f_id = frame->this_id.value;
226 gdb_assert (f_id.stack_status != FID_STACK_INVALID
228 || f_id.special_addr_p);
230 if (f_id.stack_status == FID_STACK_VALID)
231 hash = iterative_hash (&f_id.stack_addr,
232 sizeof (f_id.stack_addr), hash);
233 if (f_id.code_addr_p)
234 hash = iterative_hash (&f_id.code_addr,
235 sizeof (f_id.code_addr), hash);
236 if (f_id.special_addr_p)
237 hash = iterative_hash (&f_id.special_addr,
238 sizeof (f_id.special_addr), hash);
243 /* Internal equality function for the hash table. This function
244 defers equality operations to frame_id_eq. */
247 frame_addr_hash_eq (const void *a, const void *b)
249 const struct frame_info *f_entry = (const struct frame_info *) a;
250 const struct frame_info *f_element = (const struct frame_info *) b;
252 return frame_id_eq (f_entry->this_id.value,
253 f_element->this_id.value);
256 /* Internal function to create the frame_stash hash table. 100 seems
257 to be a good compromise to start the hash table at. */
260 frame_stash_create (void)
262 frame_stash = htab_create (100,
268 /* Internal function to add a frame to the frame_stash hash table.
269 Returns false if a frame with the same ID was already stashed, true
273 frame_stash_add (frame_info *frame)
275 /* Do not try to stash the sentinel frame. */
276 gdb_assert (frame->level >= 0);
278 frame_info **slot = (struct frame_info **) htab_find_slot (frame_stash,
281 /* If we already have a frame in the stack with the same id, we
282 either have a stack cycle (corrupted stack?), or some bug
283 elsewhere in GDB. In any case, ignore the duplicate and return
284 an indication to the caller. */
285 if (*slot != nullptr)
292 /* Internal function to search the frame stash for an entry with the
293 given frame ID. If found, return that frame. Otherwise return
296 static struct frame_info *
297 frame_stash_find (struct frame_id id)
299 struct frame_info dummy;
300 struct frame_info *frame;
302 dummy.this_id.value = id;
303 frame = (struct frame_info *) htab_find (frame_stash, &dummy);
307 /* Internal function to invalidate the frame stash by removing all
308 entries in it. This only occurs when the frame cache is
312 frame_stash_invalidate (void)
314 htab_empty (frame_stash);
318 scoped_restore_selected_frame::scoped_restore_selected_frame ()
320 m_lang = current_language->la_language;
321 save_selected_frame (&m_fid, &m_level);
325 scoped_restore_selected_frame::~scoped_restore_selected_frame ()
327 restore_selected_frame (m_fid, m_level);
328 set_language (m_lang);
331 /* Flag to control debugging. */
333 unsigned int frame_debug;
335 show_frame_debug (struct ui_file *file, int from_tty,
336 struct cmd_list_element *c, const char *value)
338 fprintf_filtered (file, _("Frame debugging is %s.\n"), value);
341 /* Implementation of "show backtrace past-main". */
344 show_backtrace_past_main (struct ui_file *file, int from_tty,
345 struct cmd_list_element *c, const char *value)
347 fprintf_filtered (file,
348 _("Whether backtraces should "
349 "continue past \"main\" is %s.\n"),
353 /* Implementation of "show backtrace past-entry". */
356 show_backtrace_past_entry (struct ui_file *file, int from_tty,
357 struct cmd_list_element *c, const char *value)
359 fprintf_filtered (file, _("Whether backtraces should continue past the "
360 "entry point of a program is %s.\n"),
364 /* Implementation of "show backtrace limit". */
367 show_backtrace_limit (struct ui_file *file, int from_tty,
368 struct cmd_list_element *c, const char *value)
370 fprintf_filtered (file,
371 _("An upper bound on the number "
372 "of backtrace levels is %s.\n"),
378 fprint_field (struct ui_file *file, const char *name, int p, CORE_ADDR addr)
381 fprintf_unfiltered (file, "%s=%s", name, hex_string (addr));
383 fprintf_unfiltered (file, "!%s", name);
387 fprint_frame_id (struct ui_file *file, struct frame_id id)
389 fprintf_unfiltered (file, "{");
391 if (id.stack_status == FID_STACK_INVALID)
392 fprintf_unfiltered (file, "!stack");
393 else if (id.stack_status == FID_STACK_UNAVAILABLE)
394 fprintf_unfiltered (file, "stack=<unavailable>");
395 else if (id.stack_status == FID_STACK_SENTINEL)
396 fprintf_unfiltered (file, "stack=<sentinel>");
397 else if (id.stack_status == FID_STACK_OUTER)
398 fprintf_unfiltered (file, "stack=<outer>");
400 fprintf_unfiltered (file, "stack=%s", hex_string (id.stack_addr));
402 fprintf_unfiltered (file, ",");
404 fprint_field (file, "code", id.code_addr_p, id.code_addr);
405 fprintf_unfiltered (file, ",");
407 fprint_field (file, "special", id.special_addr_p, id.special_addr);
409 if (id.artificial_depth)
410 fprintf_unfiltered (file, ",artificial=%d", id.artificial_depth);
412 fprintf_unfiltered (file, "}");
416 fprint_frame_type (struct ui_file *file, enum frame_type type)
421 fprintf_unfiltered (file, "NORMAL_FRAME");
424 fprintf_unfiltered (file, "DUMMY_FRAME");
427 fprintf_unfiltered (file, "INLINE_FRAME");
430 fprintf_unfiltered (file, "TAILCALL_FRAME");
433 fprintf_unfiltered (file, "SIGTRAMP_FRAME");
436 fprintf_unfiltered (file, "ARCH_FRAME");
439 fprintf_unfiltered (file, "SENTINEL_FRAME");
442 fprintf_unfiltered (file, "<unknown type>");
448 fprint_frame (struct ui_file *file, struct frame_info *fi)
452 fprintf_unfiltered (file, "<NULL frame>");
456 fprintf_unfiltered (file, "{");
457 fprintf_unfiltered (file, "level=%d", fi->level);
458 fprintf_unfiltered (file, ",");
460 fprintf_unfiltered (file, "type=");
461 if (fi->unwind != NULL)
462 fprint_frame_type (file, fi->unwind->type);
464 fprintf_unfiltered (file, "<unknown>");
465 fprintf_unfiltered (file, ",");
467 fprintf_unfiltered (file, "unwind=");
468 if (fi->unwind != NULL)
469 gdb_print_host_address (fi->unwind, file);
471 fprintf_unfiltered (file, "<unknown>");
472 fprintf_unfiltered (file, ",");
474 fprintf_unfiltered (file, "pc=");
475 if (fi->next == NULL || fi->next->prev_pc.status == CC_UNKNOWN)
476 fprintf_unfiltered (file, "<unknown>");
477 else if (fi->next->prev_pc.status == CC_VALUE)
479 fprintf_unfiltered (file, "%s", hex_string (fi->next->prev_pc.value));
480 if (fi->next->prev_pc.masked)
481 fprintf_unfiltered (file, "[PAC]");
483 else if (fi->next->prev_pc.status == CC_NOT_SAVED)
484 val_print_not_saved (file);
485 else if (fi->next->prev_pc.status == CC_UNAVAILABLE)
486 val_print_unavailable (file);
487 fprintf_unfiltered (file, ",");
489 fprintf_unfiltered (file, "id=");
490 if (fi->this_id.p == frame_id_status::NOT_COMPUTED)
491 fprintf_unfiltered (file, "<not computed>");
492 else if (fi->this_id.p == frame_id_status::COMPUTING)
493 fprintf_unfiltered (file, "<computing>");
495 fprint_frame_id (file, fi->this_id.value);
496 fprintf_unfiltered (file, ",");
498 fprintf_unfiltered (file, "func=");
499 if (fi->next != NULL && fi->next->prev_func.status == CC_VALUE)
500 fprintf_unfiltered (file, "%s", hex_string (fi->next->prev_func.addr));
502 fprintf_unfiltered (file, "<unknown>");
503 fprintf_unfiltered (file, "}");
506 /* Given FRAME, return the enclosing frame as found in real frames read-in from
507 inferior memory. Skip any previous frames which were made up by GDB.
508 Return FRAME if FRAME is a non-artificial frame.
509 Return NULL if FRAME is the start of an artificial-only chain. */
511 static struct frame_info *
512 skip_artificial_frames (struct frame_info *frame)
514 /* Note we use get_prev_frame_always, and not get_prev_frame. The
515 latter will truncate the frame chain, leading to this function
516 unintentionally returning a null_frame_id (e.g., when the user
517 sets a backtrace limit).
519 Note that for record targets we may get a frame chain that consists
520 of artificial frames only. */
521 while (get_frame_type (frame) == INLINE_FRAME
522 || get_frame_type (frame) == TAILCALL_FRAME)
524 frame = get_prev_frame_always (frame);
533 skip_unwritable_frames (struct frame_info *frame)
535 while (gdbarch_code_of_frame_writable (get_frame_arch (frame), frame) == 0)
537 frame = get_prev_frame (frame);
548 skip_tailcall_frames (struct frame_info *frame)
550 while (get_frame_type (frame) == TAILCALL_FRAME)
552 /* Note that for record targets we may get a frame chain that consists of
553 tailcall frames only. */
554 frame = get_prev_frame (frame);
562 /* Compute the frame's uniq ID that can be used to, later, re-find the
566 compute_frame_id (struct frame_info *fi)
568 gdb_assert (fi->this_id.p == frame_id_status::NOT_COMPUTED);
570 unsigned int entry_generation = get_frame_cache_generation ();
574 /* Mark this frame's id as "being computed. */
575 fi->this_id.p = frame_id_status::COMPUTING;
578 fprintf_unfiltered (gdb_stdlog, "{ compute_frame_id (fi=%d) ",
581 /* Find the unwinder. */
582 if (fi->unwind == NULL)
583 frame_unwind_find_by_frame (fi, &fi->prologue_cache);
585 /* Find THIS frame's ID. */
586 /* Default to outermost if no ID is found. */
587 fi->this_id.value = outer_frame_id;
588 fi->unwind->this_id (fi, &fi->prologue_cache, &fi->this_id.value);
589 gdb_assert (frame_id_p (fi->this_id.value));
591 /* Mark this frame's id as "computed". */
592 fi->this_id.p = frame_id_status::COMPUTED;
596 fprintf_unfiltered (gdb_stdlog, "-> ");
597 fprint_frame_id (gdb_stdlog, fi->this_id.value);
598 fprintf_unfiltered (gdb_stdlog, " }\n");
601 catch (const gdb_exception &ex)
603 /* On error, revert the frame id status to not computed. If the frame
604 cache generation changed, the frame object doesn't exist anymore, so
606 if (get_frame_cache_generation () == entry_generation)
607 fi->this_id.p = frame_id_status::NOT_COMPUTED;
613 /* Return a frame uniq ID that can be used to, later, re-find the
617 get_frame_id (struct frame_info *fi)
620 return null_frame_id;
622 /* It's always invalid to try to get a frame's id while it is being
624 gdb_assert (fi->this_id.p != frame_id_status::COMPUTING);
626 if (fi->this_id.p == frame_id_status::NOT_COMPUTED)
628 /* If we haven't computed the frame id yet, then it must be that
629 this is the current frame. Compute it now, and stash the
630 result. The IDs of other frames are computed as soon as
631 they're created, in order to detect cycles. See
632 get_prev_frame_if_no_cycle. */
633 gdb_assert (fi->level == 0);
636 compute_frame_id (fi);
638 /* Since this is the first frame in the chain, this should
640 bool stashed = frame_stash_add (fi);
641 gdb_assert (stashed);
644 return fi->this_id.value;
648 get_stack_frame_id (struct frame_info *next_frame)
650 return get_frame_id (skip_artificial_frames (next_frame));
654 frame_unwind_caller_id (struct frame_info *next_frame)
656 struct frame_info *this_frame;
658 /* Use get_prev_frame_always, and not get_prev_frame. The latter
659 will truncate the frame chain, leading to this function
660 unintentionally returning a null_frame_id (e.g., when a caller
661 requests the frame ID of "main()"s caller. */
663 next_frame = skip_artificial_frames (next_frame);
664 if (next_frame == NULL)
665 return null_frame_id;
667 this_frame = get_prev_frame_always (next_frame);
669 return get_frame_id (skip_artificial_frames (this_frame));
671 return null_frame_id;
674 const struct frame_id null_frame_id = { 0 }; /* All zeros. */
675 const struct frame_id sentinel_frame_id = { 0, 0, 0, FID_STACK_SENTINEL, 0, 1, 0 };
676 const struct frame_id outer_frame_id = { 0, 0, 0, FID_STACK_OUTER, 0, 1, 0 };
679 frame_id_build_special (CORE_ADDR stack_addr, CORE_ADDR code_addr,
680 CORE_ADDR special_addr)
682 struct frame_id id = null_frame_id;
684 id.stack_addr = stack_addr;
685 id.stack_status = FID_STACK_VALID;
686 id.code_addr = code_addr;
687 id.code_addr_p = true;
688 id.special_addr = special_addr;
689 id.special_addr_p = true;
696 frame_id_build_unavailable_stack (CORE_ADDR code_addr)
698 struct frame_id id = null_frame_id;
700 id.stack_status = FID_STACK_UNAVAILABLE;
701 id.code_addr = code_addr;
702 id.code_addr_p = true;
709 frame_id_build_unavailable_stack_special (CORE_ADDR code_addr,
710 CORE_ADDR special_addr)
712 struct frame_id id = null_frame_id;
714 id.stack_status = FID_STACK_UNAVAILABLE;
715 id.code_addr = code_addr;
716 id.code_addr_p = true;
717 id.special_addr = special_addr;
718 id.special_addr_p = true;
723 frame_id_build (CORE_ADDR stack_addr, CORE_ADDR code_addr)
725 struct frame_id id = null_frame_id;
727 id.stack_addr = stack_addr;
728 id.stack_status = FID_STACK_VALID;
729 id.code_addr = code_addr;
730 id.code_addr_p = true;
735 frame_id_build_wild (CORE_ADDR stack_addr)
737 struct frame_id id = null_frame_id;
739 id.stack_addr = stack_addr;
740 id.stack_status = FID_STACK_VALID;
745 frame_id_p (frame_id l)
747 /* The frame is valid iff it has a valid stack address. */
748 bool p = l.stack_status != FID_STACK_INVALID;
752 fprintf_unfiltered (gdb_stdlog, "{ frame_id_p (l=");
753 fprint_frame_id (gdb_stdlog, l);
754 fprintf_unfiltered (gdb_stdlog, ") -> %d }\n", p);
761 frame_id_artificial_p (frame_id l)
766 return l.artificial_depth != 0;
770 frame_id_eq (frame_id l, frame_id r)
774 if (l.stack_status == FID_STACK_INVALID
775 || r.stack_status == FID_STACK_INVALID)
776 /* Like a NaN, if either ID is invalid, the result is false.
777 Note that a frame ID is invalid iff it is the null frame ID. */
779 else if (l.stack_status != r.stack_status || l.stack_addr != r.stack_addr)
780 /* If .stack addresses are different, the frames are different. */
782 else if (l.code_addr_p && r.code_addr_p && l.code_addr != r.code_addr)
783 /* An invalid code addr is a wild card. If .code addresses are
784 different, the frames are different. */
786 else if (l.special_addr_p && r.special_addr_p
787 && l.special_addr != r.special_addr)
788 /* An invalid special addr is a wild card (or unused). Otherwise
789 if special addresses are different, the frames are different. */
791 else if (l.artificial_depth != r.artificial_depth)
792 /* If artificial depths are different, the frames must be different. */
795 /* Frames are equal. */
800 fprintf_unfiltered (gdb_stdlog, "{ frame_id_eq (l=");
801 fprint_frame_id (gdb_stdlog, l);
802 fprintf_unfiltered (gdb_stdlog, ",r=");
803 fprint_frame_id (gdb_stdlog, r);
804 fprintf_unfiltered (gdb_stdlog, ") -> %d }\n", eq);
810 /* Safety net to check whether frame ID L should be inner to
811 frame ID R, according to their stack addresses.
813 This method cannot be used to compare arbitrary frames, as the
814 ranges of valid stack addresses may be discontiguous (e.g. due
817 However, it can be used as safety net to discover invalid frame
818 IDs in certain circumstances. Assuming that NEXT is the immediate
819 inner frame to THIS and that NEXT and THIS are both NORMAL frames:
821 * The stack address of NEXT must be inner-than-or-equal to the stack
824 Therefore, if frame_id_inner (THIS, NEXT) holds, some unwind
827 * If NEXT and THIS have different stack addresses, no other frame
828 in the frame chain may have a stack address in between.
830 Therefore, if frame_id_inner (TEST, THIS) holds, but
831 frame_id_inner (TEST, NEXT) does not hold, TEST cannot refer
832 to a valid frame in the frame chain.
834 The sanity checks above cannot be performed when a SIGTRAMP frame
835 is involved, because signal handlers might be executed on a different
836 stack than the stack used by the routine that caused the signal
837 to be raised. This can happen for instance when a thread exceeds
838 its maximum stack size. In this case, certain compilers implement
839 a stack overflow strategy that cause the handler to be run on a
843 frame_id_inner (struct gdbarch *gdbarch, struct frame_id l, struct frame_id r)
847 if (l.stack_status != FID_STACK_VALID || r.stack_status != FID_STACK_VALID)
848 /* Like NaN, any operation involving an invalid ID always fails.
849 Likewise if either ID has an unavailable stack address. */
851 else if (l.artificial_depth > r.artificial_depth
852 && l.stack_addr == r.stack_addr
853 && l.code_addr_p == r.code_addr_p
854 && l.special_addr_p == r.special_addr_p
855 && l.special_addr == r.special_addr)
857 /* Same function, different inlined functions. */
858 const struct block *lb, *rb;
860 gdb_assert (l.code_addr_p && r.code_addr_p);
862 lb = block_for_pc (l.code_addr);
863 rb = block_for_pc (r.code_addr);
865 if (lb == NULL || rb == NULL)
866 /* Something's gone wrong. */
869 /* This will return true if LB and RB are the same block, or
870 if the block with the smaller depth lexically encloses the
871 block with the greater depth. */
872 inner = contained_in (lb, rb);
875 /* Only return non-zero when strictly inner than. Note that, per
876 comment in "frame.h", there is some fuzz here. Frameless
877 functions are not strictly inner than (same .stack but
878 different .code and/or .special address). */
879 inner = gdbarch_inner_than (gdbarch, l.stack_addr, r.stack_addr);
883 fprintf_unfiltered (gdb_stdlog, "{ frame_id_inner (l=");
884 fprint_frame_id (gdb_stdlog, l);
885 fprintf_unfiltered (gdb_stdlog, ",r=");
886 fprint_frame_id (gdb_stdlog, r);
887 fprintf_unfiltered (gdb_stdlog, ") -> %d }\n", inner);
894 frame_find_by_id (struct frame_id id)
896 struct frame_info *frame, *prev_frame;
898 /* ZERO denotes the null frame, let the caller decide what to do
899 about it. Should it instead return get_current_frame()? */
900 if (!frame_id_p (id))
903 /* Check for the sentinel frame. */
904 if (frame_id_eq (id, sentinel_frame_id))
905 return sentinel_frame;
907 /* Try using the frame stash first. Finding it there removes the need
908 to perform the search by looping over all frames, which can be very
909 CPU-intensive if the number of frames is very high (the loop is O(n)
910 and get_prev_frame performs a series of checks that are relatively
911 expensive). This optimization is particularly useful when this function
912 is called from another function (such as value_fetch_lazy, case
913 VALUE_LVAL (val) == lval_register) which already loops over all frames,
914 making the overall behavior O(n^2). */
915 frame = frame_stash_find (id);
919 for (frame = get_current_frame (); ; frame = prev_frame)
921 struct frame_id self = get_frame_id (frame);
923 if (frame_id_eq (id, self))
924 /* An exact match. */
927 prev_frame = get_prev_frame (frame);
931 /* As a safety net to avoid unnecessary backtracing while trying
932 to find an invalid ID, we check for a common situation where
933 we can detect from comparing stack addresses that no other
934 frame in the current frame chain can have this ID. See the
935 comment at frame_id_inner for details. */
936 if (get_frame_type (frame) == NORMAL_FRAME
937 && !frame_id_inner (get_frame_arch (frame), id, self)
938 && frame_id_inner (get_frame_arch (prev_frame), id,
939 get_frame_id (prev_frame)))
946 frame_unwind_pc (struct frame_info *this_frame)
948 if (this_frame->prev_pc.status == CC_UNKNOWN)
950 struct gdbarch *prev_gdbarch;
954 /* The right way. The `pure' way. The one true way. This
955 method depends solely on the register-unwind code to
956 determine the value of registers in THIS frame, and hence
957 the value of this frame's PC (resume address). A typical
958 implementation is no more than:
960 frame_unwind_register (this_frame, ISA_PC_REGNUM, buf);
961 return extract_unsigned_integer (buf, size of ISA_PC_REGNUM);
963 Note: this method is very heavily dependent on a correct
964 register-unwind implementation, it pays to fix that
965 method first; this method is frame type agnostic, since
966 it only deals with register values, it works with any
967 frame. This is all in stark contrast to the old
968 FRAME_SAVED_PC which would try to directly handle all the
969 different ways that a PC could be unwound. */
970 prev_gdbarch = frame_unwind_arch (this_frame);
974 pc = gdbarch_unwind_pc (prev_gdbarch, this_frame);
977 catch (const gdb_exception_error &ex)
979 if (ex.error == NOT_AVAILABLE_ERROR)
981 this_frame->prev_pc.status = CC_UNAVAILABLE;
984 fprintf_unfiltered (gdb_stdlog,
985 "{ frame_unwind_pc (this_frame=%d)"
986 " -> <unavailable> }\n",
989 else if (ex.error == OPTIMIZED_OUT_ERROR)
991 this_frame->prev_pc.status = CC_NOT_SAVED;
994 fprintf_unfiltered (gdb_stdlog,
995 "{ frame_unwind_pc (this_frame=%d)"
996 " -> <not saved> }\n",
1005 this_frame->prev_pc.value = pc;
1006 this_frame->prev_pc.status = CC_VALUE;
1008 fprintf_unfiltered (gdb_stdlog,
1009 "{ frame_unwind_pc (this_frame=%d) "
1012 hex_string (this_frame->prev_pc.value));
1016 if (this_frame->prev_pc.status == CC_VALUE)
1017 return this_frame->prev_pc.value;
1018 else if (this_frame->prev_pc.status == CC_UNAVAILABLE)
1019 throw_error (NOT_AVAILABLE_ERROR, _("PC not available"));
1020 else if (this_frame->prev_pc.status == CC_NOT_SAVED)
1021 throw_error (OPTIMIZED_OUT_ERROR, _("PC not saved"));
1023 internal_error (__FILE__, __LINE__,
1024 "unexpected prev_pc status: %d",
1025 (int) this_frame->prev_pc.status);
1029 frame_unwind_caller_pc (struct frame_info *this_frame)
1031 this_frame = skip_artificial_frames (this_frame);
1033 /* We must have a non-artificial frame. The caller is supposed to check
1034 the result of frame_unwind_caller_id (), which returns NULL_FRAME_ID
1036 gdb_assert (this_frame != NULL);
1038 return frame_unwind_pc (this_frame);
1042 get_frame_func_if_available (frame_info *this_frame, CORE_ADDR *pc)
1044 struct frame_info *next_frame = this_frame->next;
1046 if (next_frame->prev_func.status == CC_UNKNOWN)
1048 CORE_ADDR addr_in_block;
1050 /* Make certain that this, and not the adjacent, function is
1052 if (!get_frame_address_in_block_if_available (this_frame, &addr_in_block))
1054 next_frame->prev_func.status = CC_UNAVAILABLE;
1056 fprintf_unfiltered (gdb_stdlog,
1057 "{ get_frame_func (this_frame=%d)"
1058 " -> unavailable }\n",
1063 next_frame->prev_func.status = CC_VALUE;
1064 next_frame->prev_func.addr = get_pc_function_start (addr_in_block);
1066 fprintf_unfiltered (gdb_stdlog,
1067 "{ get_frame_func (this_frame=%d) -> %s }\n",
1069 hex_string (next_frame->prev_func.addr));
1073 if (next_frame->prev_func.status == CC_UNAVAILABLE)
1080 gdb_assert (next_frame->prev_func.status == CC_VALUE);
1082 *pc = next_frame->prev_func.addr;
1088 get_frame_func (struct frame_info *this_frame)
1092 if (!get_frame_func_if_available (this_frame, &pc))
1093 throw_error (NOT_AVAILABLE_ERROR, _("PC not available"));
1098 std::unique_ptr<readonly_detached_regcache>
1099 frame_save_as_regcache (struct frame_info *this_frame)
1101 auto cooked_read = [this_frame] (int regnum, gdb_byte *buf)
1103 if (!deprecated_frame_register_read (this_frame, regnum, buf))
1104 return REG_UNAVAILABLE;
1109 std::unique_ptr<readonly_detached_regcache> regcache
1110 (new readonly_detached_regcache (get_frame_arch (this_frame), cooked_read));
1116 frame_pop (struct frame_info *this_frame)
1118 struct frame_info *prev_frame;
1120 if (get_frame_type (this_frame) == DUMMY_FRAME)
1122 /* Popping a dummy frame involves restoring more than just registers.
1123 dummy_frame_pop does all the work. */
1124 dummy_frame_pop (get_frame_id (this_frame), inferior_thread ());
1128 /* Ensure that we have a frame to pop to. */
1129 prev_frame = get_prev_frame_always (this_frame);
1132 error (_("Cannot pop the initial frame."));
1134 /* Ignore TAILCALL_FRAME type frames, they were executed already before
1135 entering THISFRAME. */
1136 prev_frame = skip_tailcall_frames (prev_frame);
1138 if (prev_frame == NULL)
1139 error (_("Cannot find the caller frame."));
1141 /* Make a copy of all the register values unwound from this frame.
1142 Save them in a scratch buffer so that there isn't a race between
1143 trying to extract the old values from the current regcache while
1144 at the same time writing new values into that same cache. */
1145 std::unique_ptr<readonly_detached_regcache> scratch
1146 = frame_save_as_regcache (prev_frame);
1148 /* FIXME: cagney/2003-03-16: It should be possible to tell the
1149 target's register cache that it is about to be hit with a burst
1150 register transfer and that the sequence of register writes should
1151 be batched. The pair target_prepare_to_store() and
1152 target_store_registers() kind of suggest this functionality.
1153 Unfortunately, they don't implement it. Their lack of a formal
1154 definition can lead to targets writing back bogus values
1155 (arguably a bug in the target code mind). */
1156 /* Now copy those saved registers into the current regcache. */
1157 get_current_regcache ()->restore (scratch.get ());
1159 /* We've made right mess of GDB's local state, just discard
1161 reinit_frame_cache ();
1165 frame_register_unwind (frame_info *next_frame, int regnum,
1166 int *optimizedp, int *unavailablep,
1167 enum lval_type *lvalp, CORE_ADDR *addrp,
1168 int *realnump, gdb_byte *bufferp)
1170 struct value *value;
1172 /* Require all but BUFFERP to be valid. A NULL BUFFERP indicates
1173 that the value proper does not need to be fetched. */
1174 gdb_assert (optimizedp != NULL);
1175 gdb_assert (lvalp != NULL);
1176 gdb_assert (addrp != NULL);
1177 gdb_assert (realnump != NULL);
1178 /* gdb_assert (bufferp != NULL); */
1180 value = frame_unwind_register_value (next_frame, regnum);
1182 gdb_assert (value != NULL);
1184 *optimizedp = value_optimized_out (value);
1185 *unavailablep = !value_entirely_available (value);
1186 *lvalp = VALUE_LVAL (value);
1187 *addrp = value_address (value);
1188 if (*lvalp == lval_register)
1189 *realnump = VALUE_REGNUM (value);
1195 if (!*optimizedp && !*unavailablep)
1196 memcpy (bufferp, value_contents_all (value),
1197 TYPE_LENGTH (value_type (value)));
1199 memset (bufferp, 0, TYPE_LENGTH (value_type (value)));
1202 /* Dispose of the new value. This prevents watchpoints from
1203 trying to watch the saved frame pointer. */
1204 release_value (value);
1208 frame_register (struct frame_info *frame, int regnum,
1209 int *optimizedp, int *unavailablep, enum lval_type *lvalp,
1210 CORE_ADDR *addrp, int *realnump, gdb_byte *bufferp)
1212 /* Require all but BUFFERP to be valid. A NULL BUFFERP indicates
1213 that the value proper does not need to be fetched. */
1214 gdb_assert (optimizedp != NULL);
1215 gdb_assert (lvalp != NULL);
1216 gdb_assert (addrp != NULL);
1217 gdb_assert (realnump != NULL);
1218 /* gdb_assert (bufferp != NULL); */
1220 /* Obtain the register value by unwinding the register from the next
1221 (more inner frame). */
1222 gdb_assert (frame != NULL && frame->next != NULL);
1223 frame_register_unwind (frame->next, regnum, optimizedp, unavailablep,
1224 lvalp, addrp, realnump, bufferp);
1228 frame_unwind_register (frame_info *next_frame, int regnum, gdb_byte *buf)
1234 enum lval_type lval;
1236 frame_register_unwind (next_frame, regnum, &optimized, &unavailable,
1237 &lval, &addr, &realnum, buf);
1240 throw_error (OPTIMIZED_OUT_ERROR,
1241 _("Register %d was not saved"), regnum);
1243 throw_error (NOT_AVAILABLE_ERROR,
1244 _("Register %d is not available"), regnum);
1248 get_frame_register (struct frame_info *frame,
1249 int regnum, gdb_byte *buf)
1251 frame_unwind_register (frame->next, regnum, buf);
1255 frame_unwind_register_value (frame_info *next_frame, int regnum)
1257 struct gdbarch *gdbarch;
1258 struct value *value;
1260 gdb_assert (next_frame != NULL);
1261 gdbarch = frame_unwind_arch (next_frame);
1265 fprintf_unfiltered (gdb_stdlog,
1266 "{ frame_unwind_register_value "
1267 "(frame=%d,regnum=%d(%s),...) ",
1268 next_frame->level, regnum,
1269 user_reg_map_regnum_to_name (gdbarch, regnum));
1272 /* Find the unwinder. */
1273 if (next_frame->unwind == NULL)
1274 frame_unwind_find_by_frame (next_frame, &next_frame->prologue_cache);
1276 /* Ask this frame to unwind its register. */
1277 value = next_frame->unwind->prev_register (next_frame,
1278 &next_frame->prologue_cache,
1283 fprintf_unfiltered (gdb_stdlog, "->");
1284 if (value_optimized_out (value))
1286 fprintf_unfiltered (gdb_stdlog, " ");
1287 val_print_not_saved (gdb_stdlog);
1291 if (VALUE_LVAL (value) == lval_register)
1292 fprintf_unfiltered (gdb_stdlog, " register=%d",
1293 VALUE_REGNUM (value));
1294 else if (VALUE_LVAL (value) == lval_memory)
1295 fprintf_unfiltered (gdb_stdlog, " address=%s",
1297 value_address (value)));
1299 fprintf_unfiltered (gdb_stdlog, " computed");
1301 if (value_lazy (value))
1302 fprintf_unfiltered (gdb_stdlog, " lazy");
1306 const gdb_byte *buf = value_contents (value);
1308 fprintf_unfiltered (gdb_stdlog, " bytes=");
1309 fprintf_unfiltered (gdb_stdlog, "[");
1310 for (i = 0; i < register_size (gdbarch, regnum); i++)
1311 fprintf_unfiltered (gdb_stdlog, "%02x", buf[i]);
1312 fprintf_unfiltered (gdb_stdlog, "]");
1316 fprintf_unfiltered (gdb_stdlog, " }\n");
1323 get_frame_register_value (struct frame_info *frame, int regnum)
1325 return frame_unwind_register_value (frame->next, regnum);
1329 frame_unwind_register_signed (frame_info *next_frame, int regnum)
1331 struct gdbarch *gdbarch = frame_unwind_arch (next_frame);
1332 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1333 int size = register_size (gdbarch, regnum);
1334 struct value *value = frame_unwind_register_value (next_frame, regnum);
1336 gdb_assert (value != NULL);
1338 if (value_optimized_out (value))
1340 throw_error (OPTIMIZED_OUT_ERROR,
1341 _("Register %d was not saved"), regnum);
1343 if (!value_entirely_available (value))
1345 throw_error (NOT_AVAILABLE_ERROR,
1346 _("Register %d is not available"), regnum);
1349 LONGEST r = extract_signed_integer (value_contents_all (value), size,
1352 release_value (value);
1357 get_frame_register_signed (struct frame_info *frame, int regnum)
1359 return frame_unwind_register_signed (frame->next, regnum);
1363 frame_unwind_register_unsigned (frame_info *next_frame, int regnum)
1365 struct gdbarch *gdbarch = frame_unwind_arch (next_frame);
1366 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1367 int size = register_size (gdbarch, regnum);
1368 struct value *value = frame_unwind_register_value (next_frame, regnum);
1370 gdb_assert (value != NULL);
1372 if (value_optimized_out (value))
1374 throw_error (OPTIMIZED_OUT_ERROR,
1375 _("Register %d was not saved"), regnum);
1377 if (!value_entirely_available (value))
1379 throw_error (NOT_AVAILABLE_ERROR,
1380 _("Register %d is not available"), regnum);
1383 ULONGEST r = extract_unsigned_integer (value_contents_all (value), size,
1386 release_value (value);
1391 get_frame_register_unsigned (struct frame_info *frame, int regnum)
1393 return frame_unwind_register_unsigned (frame->next, regnum);
1397 read_frame_register_unsigned (frame_info *frame, int regnum,
1400 struct value *regval = get_frame_register_value (frame, regnum);
1402 if (!value_optimized_out (regval)
1403 && value_entirely_available (regval))
1405 struct gdbarch *gdbarch = get_frame_arch (frame);
1406 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1407 int size = register_size (gdbarch, VALUE_REGNUM (regval));
1409 *val = extract_unsigned_integer (value_contents (regval), size, byte_order);
1417 put_frame_register (struct frame_info *frame, int regnum,
1418 const gdb_byte *buf)
1420 struct gdbarch *gdbarch = get_frame_arch (frame);
1424 enum lval_type lval;
1427 frame_register (frame, regnum, &optim, &unavail,
1428 &lval, &addr, &realnum, NULL);
1430 error (_("Attempt to assign to a register that was not saved."));
1435 write_memory (addr, buf, register_size (gdbarch, regnum));
1439 get_current_regcache ()->cooked_write (realnum, buf);
1442 error (_("Attempt to assign to an unmodifiable value."));
1446 /* This function is deprecated. Use get_frame_register_value instead,
1447 which provides more accurate information.
1449 Find and return the value of REGNUM for the specified stack frame.
1450 The number of bytes copied is REGISTER_SIZE (REGNUM).
1452 Returns 0 if the register value could not be found. */
1455 deprecated_frame_register_read (frame_info *frame, int regnum,
1460 enum lval_type lval;
1464 frame_register (frame, regnum, &optimized, &unavailable,
1465 &lval, &addr, &realnum, myaddr);
1467 return !optimized && !unavailable;
1471 get_frame_register_bytes (frame_info *frame, int regnum,
1472 CORE_ADDR offset, int len, gdb_byte *myaddr,
1473 int *optimizedp, int *unavailablep)
1475 struct gdbarch *gdbarch = get_frame_arch (frame);
1480 /* Skip registers wholly inside of OFFSET. */
1481 while (offset >= register_size (gdbarch, regnum))
1483 offset -= register_size (gdbarch, regnum);
1487 /* Ensure that we will not read beyond the end of the register file.
1488 This can only ever happen if the debug information is bad. */
1490 numregs = gdbarch_num_cooked_regs (gdbarch);
1491 for (i = regnum; i < numregs; i++)
1493 int thissize = register_size (gdbarch, i);
1496 break; /* This register is not available on this architecture. */
1497 maxsize += thissize;
1500 error (_("Bad debug information detected: "
1501 "Attempt to read %d bytes from registers."), len);
1503 /* Copy the data. */
1506 int curr_len = register_size (gdbarch, regnum) - offset;
1511 if (curr_len == register_size (gdbarch, regnum))
1513 enum lval_type lval;
1517 frame_register (frame, regnum, optimizedp, unavailablep,
1518 &lval, &addr, &realnum, myaddr);
1519 if (*optimizedp || *unavailablep)
1524 struct value *value = frame_unwind_register_value (frame->next,
1526 gdb_assert (value != NULL);
1527 *optimizedp = value_optimized_out (value);
1528 *unavailablep = !value_entirely_available (value);
1530 if (*optimizedp || *unavailablep)
1532 release_value (value);
1536 memcpy (myaddr, value_contents_all (value) + offset, curr_len);
1537 release_value (value);
1553 put_frame_register_bytes (struct frame_info *frame, int regnum,
1554 CORE_ADDR offset, int len, const gdb_byte *myaddr)
1556 struct gdbarch *gdbarch = get_frame_arch (frame);
1558 /* Skip registers wholly inside of OFFSET. */
1559 while (offset >= register_size (gdbarch, regnum))
1561 offset -= register_size (gdbarch, regnum);
1565 /* Copy the data. */
1568 int curr_len = register_size (gdbarch, regnum) - offset;
1573 if (curr_len == register_size (gdbarch, regnum))
1575 put_frame_register (frame, regnum, myaddr);
1579 struct value *value = frame_unwind_register_value (frame->next,
1581 gdb_assert (value != NULL);
1583 memcpy ((char *) value_contents_writeable (value) + offset, myaddr,
1585 put_frame_register (frame, regnum, value_contents_raw (value));
1586 release_value (value);
1596 /* Create a sentinel frame. */
1598 static struct frame_info *
1599 create_sentinel_frame (struct program_space *pspace, struct regcache *regcache)
1601 struct frame_info *frame = FRAME_OBSTACK_ZALLOC (struct frame_info);
1604 frame->pspace = pspace;
1605 frame->aspace = regcache->aspace ();
1606 /* Explicitly initialize the sentinel frame's cache. Provide it
1607 with the underlying regcache. In the future additional
1608 information, such as the frame's thread will be added. */
1609 frame->prologue_cache = sentinel_frame_cache (regcache);
1610 /* For the moment there is only one sentinel frame implementation. */
1611 frame->unwind = &sentinel_frame_unwind;
1612 /* Link this frame back to itself. The frame is self referential
1613 (the unwound PC is the same as the pc), so make it so. */
1614 frame->next = frame;
1615 /* The sentinel frame has a special ID. */
1616 frame->this_id.p = frame_id_status::COMPUTED;
1617 frame->this_id.value = sentinel_frame_id;
1620 fprintf_unfiltered (gdb_stdlog, "{ create_sentinel_frame (...) -> ");
1621 fprint_frame (gdb_stdlog, frame);
1622 fprintf_unfiltered (gdb_stdlog, " }\n");
1627 /* Cache for frame addresses already read by gdb. Valid only while
1628 inferior is stopped. Control variables for the frame cache should
1629 be local to this module. */
1631 static struct obstack frame_cache_obstack;
1634 frame_obstack_zalloc (unsigned long size)
1636 void *data = obstack_alloc (&frame_cache_obstack, size);
1638 memset (data, 0, size);
1642 static struct frame_info *get_prev_frame_always_1 (struct frame_info *this_frame);
1645 get_current_frame (void)
1647 struct frame_info *current_frame;
1649 /* First check, and report, the lack of registers. Having GDB
1650 report "No stack!" or "No memory" when the target doesn't even
1651 have registers is very confusing. Besides, "printcmd.exp"
1652 explicitly checks that ``print $pc'' with no registers prints "No
1654 if (!target_has_registers ())
1655 error (_("No registers."));
1656 if (!target_has_stack ())
1657 error (_("No stack."));
1658 if (!target_has_memory ())
1659 error (_("No memory."));
1660 /* Traceframes are effectively a substitute for the live inferior. */
1661 if (get_traceframe_number () < 0)
1662 validate_registers_access ();
1664 if (sentinel_frame == NULL)
1666 create_sentinel_frame (current_program_space, get_current_regcache ());
1668 /* Set the current frame before computing the frame id, to avoid
1669 recursion inside compute_frame_id, in case the frame's
1670 unwinder decides to do a symbol lookup (which depends on the
1671 selected frame's block).
1673 This call must always succeed. In particular, nothing inside
1674 get_prev_frame_always_1 should try to unwind from the
1675 sentinel frame, because that could fail/throw, and we always
1676 want to leave with the current frame created and linked in --
1677 we should never end up with the sentinel frame as outermost
1679 current_frame = get_prev_frame_always_1 (sentinel_frame);
1680 gdb_assert (current_frame != NULL);
1682 return current_frame;
1685 /* The "selected" stack frame is used by default for local and arg
1688 The "single source of truth" for the selected frame is the
1689 SELECTED_FRAME_ID / SELECTED_FRAME_LEVEL pair.
1691 Frame IDs can be saved/restored across reinitializing the frame
1692 cache, while frame_info pointers can't (frame_info objects are
1693 invalidated). If we know the corresponding frame_info object, it
1694 is cached in SELECTED_FRAME.
1696 If SELECTED_FRAME_ID / SELECTED_FRAME_LEVEL are null_frame_id / -1,
1697 and the target has stack and is stopped, the selected frame is the
1698 current (innermost) frame. This means that SELECTED_FRAME_LEVEL is
1699 never 0 and SELECTED_FRAME_ID is never the ID of the innermost
1702 If SELECTED_FRAME_ID / SELECTED_FRAME_LEVEL are null_frame_id / -1,
1703 and the target has no stack or is executing, then there's no
1705 static frame_id selected_frame_id = null_frame_id;
1706 static int selected_frame_level = -1;
1708 /* The cached frame_info object pointing to the selected frame.
1709 Looked up on demand by get_selected_frame. */
1710 static struct frame_info *selected_frame;
1715 save_selected_frame (frame_id *frame_id, int *frame_level)
1718 *frame_id = selected_frame_id;
1719 *frame_level = selected_frame_level;
1725 restore_selected_frame (frame_id frame_id, int frame_level)
1728 /* save_selected_frame never returns level == 0, so we shouldn't see
1730 gdb_assert (frame_level != 0);
1732 /* FRAME_ID can be null_frame_id only IFF frame_level is -1. */
1733 gdb_assert ((frame_level == -1 && !frame_id_p (frame_id))
1734 || (frame_level != -1 && frame_id_p (frame_id)));
1736 selected_frame_id = frame_id;
1737 selected_frame_level = frame_level;
1739 /* Will be looked up later by get_selected_frame. */
1740 selected_frame = nullptr;
1746 lookup_selected_frame (struct frame_id a_frame_id, int frame_level)
1748 struct frame_info *frame = NULL;
1751 /* This either means there was no selected frame, or the selected
1752 frame was the current frame. In either case, select the current
1754 if (frame_level == -1)
1756 select_frame (get_current_frame ());
1760 /* select_frame never saves 0 in SELECTED_FRAME_LEVEL, so we
1761 shouldn't see it here. */
1762 gdb_assert (frame_level > 0);
1764 /* Restore by level first, check if the frame id is the same as
1765 expected. If that fails, try restoring by frame id. If that
1766 fails, nothing to do, just warn the user. */
1768 count = frame_level;
1769 frame = find_relative_frame (get_current_frame (), &count);
1772 /* The frame ids must match - either both valid or both
1773 outer_frame_id. The latter case is not failsafe, but since
1774 it's highly unlikely the search by level finds the wrong
1775 frame, it's 99.9(9)% of the time (for all practical purposes)
1777 && frame_id_eq (get_frame_id (frame), a_frame_id))
1779 /* Cool, all is fine. */
1780 select_frame (frame);
1784 frame = frame_find_by_id (a_frame_id);
1787 /* Cool, refound it. */
1788 select_frame (frame);
1792 /* Nothing else to do, the frame layout really changed. Select the
1793 innermost stack frame. */
1794 select_frame (get_current_frame ());
1796 /* Warn the user. */
1797 if (frame_level > 0 && !current_uiout->is_mi_like_p ())
1799 warning (_("Couldn't restore frame #%d in "
1800 "current thread. Bottom (innermost) frame selected:"),
1802 /* For MI, we should probably have a notification about current
1803 frame change. But this error is not very likely, so don't
1805 print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
1812 if (!target_has_registers () || !target_has_stack ()
1813 || !target_has_memory ())
1816 /* Traceframes are effectively a substitute for the live inferior. */
1817 if (get_traceframe_number () < 0)
1819 /* No current inferior, no frame. */
1820 if (inferior_ptid == null_ptid)
1823 thread_info *tp = inferior_thread ();
1824 /* Don't try to read from a dead thread. */
1825 if (tp->state == THREAD_EXITED)
1828 /* ... or from a spinning thread. */
1839 get_selected_frame (const char *message)
1841 if (selected_frame == NULL)
1843 if (message != NULL && !has_stack_frames ())
1844 error (("%s"), message);
1846 lookup_selected_frame (selected_frame_id, selected_frame_level);
1848 /* There is always a frame. */
1849 gdb_assert (selected_frame != NULL);
1850 return selected_frame;
1853 /* This is a variant of get_selected_frame() which can be called when
1854 the inferior does not have a frame; in that case it will return
1855 NULL instead of calling error(). */
1858 deprecated_safe_get_selected_frame (void)
1860 if (!has_stack_frames ())
1862 return get_selected_frame (NULL);
1865 /* Select frame FI (or NULL - to invalidate the selected frame). */
1868 select_frame (struct frame_info *fi)
1870 selected_frame = fi;
1871 selected_frame_level = frame_relative_level (fi);
1872 if (selected_frame_level == 0)
1874 /* Treat the current frame especially -- we want to always
1875 save/restore it without warning, even if the frame ID changes
1876 (see lookup_selected_frame). E.g.:
1878 // The current frame is selected, the target had just stopped.
1880 scoped_restore_selected_frame restore_frame;
1881 some_operation_that_changes_the_stack ();
1883 // scoped_restore_selected_frame's dtor runs, but the
1884 // original frame_id can't be found. No matter whether it
1885 // is found or not, we still end up with the now-current
1886 // frame selected. Warning in lookup_selected_frame in this
1887 // case seems pointless.
1889 Also get_frame_id may access the target's registers/memory,
1890 and thus skipping get_frame_id optimizes the common case.
1892 Saving the selected frame this way makes get_selected_frame
1893 and restore_current_frame return/re-select whatever frame is
1894 the innermost (current) then. */
1895 selected_frame_level = -1;
1896 selected_frame_id = null_frame_id;
1899 selected_frame_id = get_frame_id (fi);
1901 /* NOTE: cagney/2002-05-04: FI can be NULL. This occurs when the
1902 frame is being invalidated. */
1904 /* FIXME: kseitz/2002-08-28: It would be nice to call
1905 selected_frame_level_changed_event() right here, but due to limitations
1906 in the current interfaces, we would end up flooding UIs with events
1907 because select_frame() is used extensively internally.
1909 Once we have frame-parameterized frame (and frame-related) commands,
1910 the event notification can be moved here, since this function will only
1911 be called when the user's selected frame is being changed. */
1913 /* Ensure that symbols for this frame are read in. Also, determine the
1914 source language of this frame, and switch to it if desired. */
1919 /* We retrieve the frame's symtab by using the frame PC.
1920 However we cannot use the frame PC as-is, because it usually
1921 points to the instruction following the "call", which is
1922 sometimes the first instruction of another function. So we
1923 rely on get_frame_address_in_block() which provides us with a
1924 PC which is guaranteed to be inside the frame's code
1926 if (get_frame_address_in_block_if_available (fi, &pc))
1928 struct compunit_symtab *cust = find_pc_compunit_symtab (pc);
1931 && compunit_language (cust) != current_language->la_language
1932 && compunit_language (cust) != language_unknown
1933 && language_mode == language_mode_auto)
1934 set_language (compunit_language (cust));
1939 /* Create an arbitrary (i.e. address specified by user) or innermost frame.
1940 Always returns a non-NULL value. */
1943 create_new_frame (CORE_ADDR addr, CORE_ADDR pc)
1945 struct frame_info *fi;
1949 fprintf_unfiltered (gdb_stdlog,
1950 "{ create_new_frame (addr=%s, pc=%s) ",
1951 hex_string (addr), hex_string (pc));
1954 fi = FRAME_OBSTACK_ZALLOC (struct frame_info);
1956 fi->next = create_sentinel_frame (current_program_space,
1957 get_current_regcache ());
1959 /* Set/update this frame's cached PC value, found in the next frame.
1960 Do this before looking for this frame's unwinder. A sniffer is
1961 very likely to read this, and the corresponding unwinder is
1962 entitled to rely that the PC doesn't magically change. */
1963 fi->next->prev_pc.value = pc;
1964 fi->next->prev_pc.status = CC_VALUE;
1966 /* We currently assume that frame chain's can't cross spaces. */
1967 fi->pspace = fi->next->pspace;
1968 fi->aspace = fi->next->aspace;
1970 /* Select/initialize both the unwind function and the frame's type
1972 frame_unwind_find_by_frame (fi, &fi->prologue_cache);
1974 fi->this_id.p = frame_id_status::COMPUTED;
1975 fi->this_id.value = frame_id_build (addr, pc);
1979 fprintf_unfiltered (gdb_stdlog, "-> ");
1980 fprint_frame (gdb_stdlog, fi);
1981 fprintf_unfiltered (gdb_stdlog, " }\n");
1987 /* Return the frame that THIS_FRAME calls (NULL if THIS_FRAME is the
1988 innermost frame). Be careful to not fall off the bottom of the
1989 frame chain and onto the sentinel frame. */
1992 get_next_frame (struct frame_info *this_frame)
1994 if (this_frame->level > 0)
1995 return this_frame->next;
2000 /* Return the frame that THIS_FRAME calls. If THIS_FRAME is the
2001 innermost (i.e. current) frame, return the sentinel frame. Thus,
2002 unlike get_next_frame(), NULL will never be returned. */
2005 get_next_frame_sentinel_okay (struct frame_info *this_frame)
2007 gdb_assert (this_frame != NULL);
2009 /* Note that, due to the manner in which the sentinel frame is
2010 constructed, this_frame->next still works even when this_frame
2011 is the sentinel frame. But we disallow it here anyway because
2012 calling get_next_frame_sentinel_okay() on the sentinel frame
2013 is likely a coding error. */
2014 gdb_assert (this_frame != sentinel_frame);
2016 return this_frame->next;
2019 /* Observer for the target_changed event. */
2022 frame_observer_target_changed (struct target_ops *target)
2024 reinit_frame_cache ();
2027 /* Flush the entire frame cache. */
2030 reinit_frame_cache (void)
2032 struct frame_info *fi;
2034 ++frame_cache_generation;
2036 /* Tear down all frame caches. */
2037 for (fi = sentinel_frame; fi != NULL; fi = fi->prev)
2039 if (fi->prologue_cache && fi->unwind->dealloc_cache)
2040 fi->unwind->dealloc_cache (fi, fi->prologue_cache);
2041 if (fi->base_cache && fi->base->unwind->dealloc_cache)
2042 fi->base->unwind->dealloc_cache (fi, fi->base_cache);
2045 /* Since we can't really be sure what the first object allocated was. */
2046 obstack_free (&frame_cache_obstack, 0);
2047 obstack_init (&frame_cache_obstack);
2049 if (sentinel_frame != NULL)
2050 annotate_frames_invalid ();
2052 sentinel_frame = NULL; /* Invalidate cache */
2053 select_frame (NULL);
2054 frame_stash_invalidate ();
2056 fprintf_unfiltered (gdb_stdlog, "{ reinit_frame_cache () }\n");
2059 /* Find where a register is saved (in memory or another register).
2060 The result of frame_register_unwind is just where it is saved
2061 relative to this particular frame. */
2064 frame_register_unwind_location (struct frame_info *this_frame, int regnum,
2065 int *optimizedp, enum lval_type *lvalp,
2066 CORE_ADDR *addrp, int *realnump)
2068 gdb_assert (this_frame == NULL || this_frame->level >= 0);
2070 while (this_frame != NULL)
2074 frame_register_unwind (this_frame, regnum, optimizedp, &unavailable,
2075 lvalp, addrp, realnump, NULL);
2080 if (*lvalp != lval_register)
2084 this_frame = get_next_frame (this_frame);
2088 /* Get the previous raw frame, and check that it is not identical to
2089 same other frame frame already in the chain. If it is, there is
2090 most likely a stack cycle, so we discard it, and mark THIS_FRAME as
2091 outermost, with UNWIND_SAME_ID stop reason. Unlike the other
2092 validity tests, that compare THIS_FRAME and the next frame, we do
2093 this right after creating the previous frame, to avoid ever ending
2094 up with two frames with the same id in the frame chain. */
2096 static struct frame_info *
2097 get_prev_frame_if_no_cycle (struct frame_info *this_frame)
2099 struct frame_info *prev_frame;
2101 prev_frame = get_prev_frame_raw (this_frame);
2103 /* Don't compute the frame id of the current frame yet. Unwinding
2104 the sentinel frame can fail (e.g., if the thread is gone and we
2105 can't thus read its registers). If we let the cycle detection
2106 code below try to compute a frame ID, then an error thrown from
2107 within the frame ID computation would result in the sentinel
2108 frame as outermost frame, which is bogus. Instead, we'll compute
2109 the current frame's ID lazily in get_frame_id. Note that there's
2110 no point in doing cycle detection when there's only one frame, so
2111 nothing is lost here. */
2112 if (prev_frame->level == 0)
2115 unsigned int entry_generation = get_frame_cache_generation ();
2119 compute_frame_id (prev_frame);
2120 if (!frame_stash_add (prev_frame))
2122 /* Another frame with the same id was already in the stash. We just
2123 detected a cycle. */
2126 fprintf_unfiltered (gdb_stdlog, "-> ");
2127 fprint_frame (gdb_stdlog, NULL);
2128 fprintf_unfiltered (gdb_stdlog, " // this frame has same ID }\n");
2130 this_frame->stop_reason = UNWIND_SAME_ID;
2132 prev_frame->next = NULL;
2133 this_frame->prev = NULL;
2137 catch (const gdb_exception &ex)
2139 if (get_frame_cache_generation () == entry_generation)
2141 prev_frame->next = NULL;
2142 this_frame->prev = NULL;
2151 /* Helper function for get_prev_frame_always, this is called inside a
2152 TRY_CATCH block. Return the frame that called THIS_FRAME or NULL if
2153 there is no such frame. This may throw an exception. */
2155 static struct frame_info *
2156 get_prev_frame_always_1 (struct frame_info *this_frame)
2158 struct gdbarch *gdbarch;
2160 gdb_assert (this_frame != NULL);
2161 gdbarch = get_frame_arch (this_frame);
2165 fprintf_unfiltered (gdb_stdlog, "{ get_prev_frame_always (this_frame=");
2166 if (this_frame != NULL)
2167 fprintf_unfiltered (gdb_stdlog, "%d", this_frame->level);
2169 fprintf_unfiltered (gdb_stdlog, "<NULL>");
2170 fprintf_unfiltered (gdb_stdlog, ") ");
2173 /* Only try to do the unwind once. */
2174 if (this_frame->prev_p)
2178 fprintf_unfiltered (gdb_stdlog, "-> ");
2179 fprint_frame (gdb_stdlog, this_frame->prev);
2180 fprintf_unfiltered (gdb_stdlog, " // cached \n");
2182 return this_frame->prev;
2185 /* If the frame unwinder hasn't been selected yet, we must do so
2186 before setting prev_p; otherwise the check for misbehaved
2187 sniffers will think that this frame's sniffer tried to unwind
2188 further (see frame_cleanup_after_sniffer). */
2189 if (this_frame->unwind == NULL)
2190 frame_unwind_find_by_frame (this_frame, &this_frame->prologue_cache);
2192 this_frame->prev_p = true;
2193 this_frame->stop_reason = UNWIND_NO_REASON;
2195 /* If we are unwinding from an inline frame, all of the below tests
2196 were already performed when we unwound from the next non-inline
2197 frame. We must skip them, since we can not get THIS_FRAME's ID
2198 until we have unwound all the way down to the previous non-inline
2200 if (get_frame_type (this_frame) == INLINE_FRAME)
2201 return get_prev_frame_if_no_cycle (this_frame);
2203 /* If this_frame is the current frame, then compute and stash its
2204 frame id prior to fetching and computing the frame id of the
2205 previous frame. Otherwise, the cycle detection code in
2206 get_prev_frame_if_no_cycle() will not work correctly. When
2207 get_frame_id() is called later on, an assertion error will be
2208 triggered in the event of a cycle between the current frame and
2211 Note we do this after the INLINE_FRAME check above. That is
2212 because the inline frame's frame id computation needs to fetch
2213 the frame id of its previous real stack frame. I.e., we need to
2214 avoid recursion in that case. This is OK since we're sure the
2215 inline frame won't create a cycle with the real stack frame. See
2216 inline_frame_this_id. */
2217 if (this_frame->level == 0)
2218 get_frame_id (this_frame);
2220 /* Check that this frame is unwindable. If it isn't, don't try to
2221 unwind to the prev frame. */
2222 this_frame->stop_reason
2223 = this_frame->unwind->stop_reason (this_frame,
2224 &this_frame->prologue_cache);
2226 if (this_frame->stop_reason != UNWIND_NO_REASON)
2230 enum unwind_stop_reason reason = this_frame->stop_reason;
2232 fprintf_unfiltered (gdb_stdlog, "-> ");
2233 fprint_frame (gdb_stdlog, NULL);
2234 fprintf_unfiltered (gdb_stdlog, " // %s }\n",
2235 frame_stop_reason_symbol_string (reason));
2240 /* Check that this frame's ID isn't inner to (younger, below, next)
2241 the next frame. This happens when a frame unwind goes backwards.
2242 This check is valid only if this frame and the next frame are NORMAL.
2243 See the comment at frame_id_inner for details. */
2244 if (get_frame_type (this_frame) == NORMAL_FRAME
2245 && this_frame->next->unwind->type == NORMAL_FRAME
2246 && frame_id_inner (get_frame_arch (this_frame->next),
2247 get_frame_id (this_frame),
2248 get_frame_id (this_frame->next)))
2250 CORE_ADDR this_pc_in_block;
2251 struct minimal_symbol *morestack_msym;
2252 const char *morestack_name = NULL;
2254 /* gcc -fsplit-stack __morestack can continue the stack anywhere. */
2255 this_pc_in_block = get_frame_address_in_block (this_frame);
2256 morestack_msym = lookup_minimal_symbol_by_pc (this_pc_in_block).minsym;
2258 morestack_name = morestack_msym->linkage_name ();
2259 if (!morestack_name || strcmp (morestack_name, "__morestack") != 0)
2263 fprintf_unfiltered (gdb_stdlog, "-> ");
2264 fprint_frame (gdb_stdlog, NULL);
2265 fprintf_unfiltered (gdb_stdlog,
2266 " // this frame ID is inner }\n");
2268 this_frame->stop_reason = UNWIND_INNER_ID;
2273 /* Check that this and the next frame do not unwind the PC register
2274 to the same memory location. If they do, then even though they
2275 have different frame IDs, the new frame will be bogus; two
2276 functions can't share a register save slot for the PC. This can
2277 happen when the prologue analyzer finds a stack adjustment, but
2280 This check does assume that the "PC register" is roughly a
2281 traditional PC, even if the gdbarch_unwind_pc method adjusts
2282 it (we do not rely on the value, only on the unwound PC being
2283 dependent on this value). A potential improvement would be
2284 to have the frame prev_pc method and the gdbarch unwind_pc
2285 method set the same lval and location information as
2286 frame_register_unwind. */
2287 if (this_frame->level > 0
2288 && gdbarch_pc_regnum (gdbarch) >= 0
2289 && get_frame_type (this_frame) == NORMAL_FRAME
2290 && (get_frame_type (this_frame->next) == NORMAL_FRAME
2291 || get_frame_type (this_frame->next) == INLINE_FRAME))
2293 int optimized, realnum, nrealnum;
2294 enum lval_type lval, nlval;
2295 CORE_ADDR addr, naddr;
2297 frame_register_unwind_location (this_frame,
2298 gdbarch_pc_regnum (gdbarch),
2299 &optimized, &lval, &addr, &realnum);
2300 frame_register_unwind_location (get_next_frame (this_frame),
2301 gdbarch_pc_regnum (gdbarch),
2302 &optimized, &nlval, &naddr, &nrealnum);
2304 if ((lval == lval_memory && lval == nlval && addr == naddr)
2305 || (lval == lval_register && lval == nlval && realnum == nrealnum))
2309 fprintf_unfiltered (gdb_stdlog, "-> ");
2310 fprint_frame (gdb_stdlog, NULL);
2311 fprintf_unfiltered (gdb_stdlog, " // no saved PC }\n");
2314 this_frame->stop_reason = UNWIND_NO_SAVED_PC;
2315 this_frame->prev = NULL;
2320 return get_prev_frame_if_no_cycle (this_frame);
2323 /* Return a "struct frame_info" corresponding to the frame that called
2324 THIS_FRAME. Returns NULL if there is no such frame.
2326 Unlike get_prev_frame, this function always tries to unwind the
2330 get_prev_frame_always (struct frame_info *this_frame)
2332 struct frame_info *prev_frame = NULL;
2336 prev_frame = get_prev_frame_always_1 (this_frame);
2338 catch (const gdb_exception_error &ex)
2340 if (ex.error == MEMORY_ERROR)
2342 this_frame->stop_reason = UNWIND_MEMORY_ERROR;
2343 if (ex.message != NULL)
2348 /* The error needs to live as long as the frame does.
2349 Allocate using stack local STOP_STRING then assign the
2350 pointer to the frame, this allows the STOP_STRING on the
2351 frame to be of type 'const char *'. */
2352 size = ex.message->size () + 1;
2353 stop_string = (char *) frame_obstack_zalloc (size);
2354 memcpy (stop_string, ex.what (), size);
2355 this_frame->stop_string = stop_string;
2366 /* Construct a new "struct frame_info" and link it previous to
2369 static struct frame_info *
2370 get_prev_frame_raw (struct frame_info *this_frame)
2372 struct frame_info *prev_frame;
2374 /* Allocate the new frame but do not wire it in to the frame chain.
2375 Some (bad) code in INIT_FRAME_EXTRA_INFO tries to look along
2376 frame->next to pull some fancy tricks (of course such code is, by
2377 definition, recursive). Try to prevent it.
2379 There is no reason to worry about memory leaks, should the
2380 remainder of the function fail. The allocated memory will be
2381 quickly reclaimed when the frame cache is flushed, and the `we've
2382 been here before' check above will stop repeated memory
2383 allocation calls. */
2384 prev_frame = FRAME_OBSTACK_ZALLOC (struct frame_info);
2385 prev_frame->level = this_frame->level + 1;
2387 /* For now, assume we don't have frame chains crossing address
2389 prev_frame->pspace = this_frame->pspace;
2390 prev_frame->aspace = this_frame->aspace;
2392 /* Don't yet compute ->unwind (and hence ->type). It is computed
2393 on-demand in get_frame_type, frame_register_unwind, and
2396 /* Don't yet compute the frame's ID. It is computed on-demand by
2399 /* The unwound frame ID is validate at the start of this function,
2400 as part of the logic to decide if that frame should be further
2401 unwound, and not here while the prev frame is being created.
2402 Doing this makes it possible for the user to examine a frame that
2403 has an invalid frame ID.
2405 Some very old VAX code noted: [...] For the sake of argument,
2406 suppose that the stack is somewhat trashed (which is one reason
2407 that "info frame" exists). So, return 0 (indicating we don't
2408 know the address of the arglist) if we don't know what frame this
2412 this_frame->prev = prev_frame;
2413 prev_frame->next = this_frame;
2417 fprintf_unfiltered (gdb_stdlog, "-> ");
2418 fprint_frame (gdb_stdlog, prev_frame);
2419 fprintf_unfiltered (gdb_stdlog, " }\n");
2425 /* Debug routine to print a NULL frame being returned. */
2428 frame_debug_got_null_frame (struct frame_info *this_frame,
2433 fprintf_unfiltered (gdb_stdlog, "{ get_prev_frame (this_frame=");
2434 if (this_frame != NULL)
2435 fprintf_unfiltered (gdb_stdlog, "%d", this_frame->level);
2437 fprintf_unfiltered (gdb_stdlog, "<NULL>");
2438 fprintf_unfiltered (gdb_stdlog, ") -> // %s}\n", reason);
2442 /* Is this (non-sentinel) frame in the "main"() function? */
2445 inside_main_func (frame_info *this_frame)
2447 if (current_program_space->symfile_object_file == nullptr)
2451 const char *name = main_name ();
2452 bound_minimal_symbol msymbol
2453 = lookup_minimal_symbol (name, NULL,
2454 current_program_space->symfile_object_file);
2455 if (msymbol.minsym == nullptr)
2457 /* In some language (for example Fortran) there will be no minimal
2458 symbol with the name of the main function. In this case we should
2459 search the full symbols to see if we can find a match. */
2460 struct block_symbol bs = lookup_symbol (name, NULL, VAR_DOMAIN, 0);
2461 if (bs.symbol == nullptr)
2464 const struct block *block = SYMBOL_BLOCK_VALUE (bs.symbol);
2465 gdb_assert (block != nullptr);
2466 sym_addr = BLOCK_START (block);
2469 sym_addr = BMSYMBOL_VALUE_ADDRESS (msymbol);
2471 /* Convert any function descriptor addresses into the actual function
2474 = gdbarch_convert_from_func_ptr_addr (get_frame_arch (this_frame),
2475 sym_addr, current_top_target ());
2477 return sym_addr == get_frame_func (this_frame);
2480 /* Test whether THIS_FRAME is inside the process entry point function. */
2483 inside_entry_func (frame_info *this_frame)
2485 CORE_ADDR entry_point;
2487 if (!entry_point_address_query (&entry_point))
2490 return get_frame_func (this_frame) == entry_point;
2493 /* Return a structure containing various interesting information about
2494 the frame that called THIS_FRAME. Returns NULL if there is entier
2495 no such frame or the frame fails any of a set of target-independent
2496 condition that should terminate the frame chain (e.g., as unwinding
2499 This function should not contain target-dependent tests, such as
2500 checking whether the program-counter is zero. */
2503 get_prev_frame (struct frame_info *this_frame)
2508 /* There is always a frame. If this assertion fails, suspect that
2509 something should be calling get_selected_frame() or
2510 get_current_frame(). */
2511 gdb_assert (this_frame != NULL);
2513 frame_pc_p = get_frame_pc_if_available (this_frame, &frame_pc);
2515 /* tausq/2004-12-07: Dummy frames are skipped because it doesn't make much
2516 sense to stop unwinding at a dummy frame. One place where a dummy
2517 frame may have an address "inside_main_func" is on HPUX. On HPUX, the
2518 pcsqh register (space register for the instruction at the head of the
2519 instruction queue) cannot be written directly; the only way to set it
2520 is to branch to code that is in the target space. In order to implement
2521 frame dummies on HPUX, the called function is made to jump back to where
2522 the inferior was when the user function was called. If gdb was inside
2523 the main function when we created the dummy frame, the dummy frame will
2524 point inside the main function. */
2525 if (this_frame->level >= 0
2526 && get_frame_type (this_frame) == NORMAL_FRAME
2527 && !user_set_backtrace_options.backtrace_past_main
2529 && inside_main_func (this_frame))
2530 /* Don't unwind past main(). Note, this is done _before_ the
2531 frame has been marked as previously unwound. That way if the
2532 user later decides to enable unwinds past main(), that will
2533 automatically happen. */
2535 frame_debug_got_null_frame (this_frame, "inside main func");
2539 /* If the user's backtrace limit has been exceeded, stop. We must
2540 add two to the current level; one of those accounts for backtrace_limit
2541 being 1-based and the level being 0-based, and the other accounts for
2542 the level of the new frame instead of the level of the current
2544 if (this_frame->level + 2 > user_set_backtrace_options.backtrace_limit)
2546 frame_debug_got_null_frame (this_frame, "backtrace limit exceeded");
2550 /* If we're already inside the entry function for the main objfile,
2551 then it isn't valid. Don't apply this test to a dummy frame -
2552 dummy frame PCs typically land in the entry func. Don't apply
2553 this test to the sentinel frame. Sentinel frames should always
2554 be allowed to unwind. */
2555 /* NOTE: cagney/2003-07-07: Fixed a bug in inside_main_func() -
2556 wasn't checking for "main" in the minimal symbols. With that
2557 fixed asm-source tests now stop in "main" instead of halting the
2558 backtrace in weird and wonderful ways somewhere inside the entry
2559 file. Suspect that tests for inside the entry file/func were
2560 added to work around that (now fixed) case. */
2561 /* NOTE: cagney/2003-07-15: danielj (if I'm reading it right)
2562 suggested having the inside_entry_func test use the
2563 inside_main_func() msymbol trick (along with entry_point_address()
2564 I guess) to determine the address range of the start function.
2565 That should provide a far better stopper than the current
2567 /* NOTE: tausq/2004-10-09: this is needed if, for example, the compiler
2568 applied tail-call optimizations to main so that a function called
2569 from main returns directly to the caller of main. Since we don't
2570 stop at main, we should at least stop at the entry point of the
2572 if (this_frame->level >= 0
2573 && get_frame_type (this_frame) == NORMAL_FRAME
2574 && !user_set_backtrace_options.backtrace_past_entry
2576 && inside_entry_func (this_frame))
2578 frame_debug_got_null_frame (this_frame, "inside entry func");
2582 /* Assume that the only way to get a zero PC is through something
2583 like a SIGSEGV or a dummy frame, and hence that NORMAL frames
2584 will never unwind a zero PC. */
2585 if (this_frame->level > 0
2586 && (get_frame_type (this_frame) == NORMAL_FRAME
2587 || get_frame_type (this_frame) == INLINE_FRAME)
2588 && get_frame_type (get_next_frame (this_frame)) == NORMAL_FRAME
2589 && frame_pc_p && frame_pc == 0)
2591 frame_debug_got_null_frame (this_frame, "zero PC");
2595 return get_prev_frame_always (this_frame);
2599 get_prev_frame_id_by_id (struct frame_id id)
2601 struct frame_id prev_id;
2602 struct frame_info *frame;
2604 frame = frame_find_by_id (id);
2607 prev_id = get_frame_id (get_prev_frame (frame));
2609 prev_id = null_frame_id;
2615 get_frame_pc (struct frame_info *frame)
2617 gdb_assert (frame->next != NULL);
2618 return frame_unwind_pc (frame->next);
2622 get_frame_pc_if_available (frame_info *frame, CORE_ADDR *pc)
2625 gdb_assert (frame->next != NULL);
2629 *pc = frame_unwind_pc (frame->next);
2631 catch (const gdb_exception_error &ex)
2633 if (ex.error == NOT_AVAILABLE_ERROR)
2642 /* Return an address that falls within THIS_FRAME's code block. */
2645 get_frame_address_in_block (struct frame_info *this_frame)
2647 /* A draft address. */
2648 CORE_ADDR pc = get_frame_pc (this_frame);
2650 struct frame_info *next_frame = this_frame->next;
2652 /* Calling get_frame_pc returns the resume address for THIS_FRAME.
2653 Normally the resume address is inside the body of the function
2654 associated with THIS_FRAME, but there is a special case: when
2655 calling a function which the compiler knows will never return
2656 (for instance abort), the call may be the very last instruction
2657 in the calling function. The resume address will point after the
2658 call and may be at the beginning of a different function
2661 If THIS_FRAME is a signal frame or dummy frame, then we should
2662 not adjust the unwound PC. For a dummy frame, GDB pushed the
2663 resume address manually onto the stack. For a signal frame, the
2664 OS may have pushed the resume address manually and invoked the
2665 handler (e.g. GNU/Linux), or invoked the trampoline which called
2666 the signal handler - but in either case the signal handler is
2667 expected to return to the trampoline. So in both of these
2668 cases we know that the resume address is executable and
2669 related. So we only need to adjust the PC if THIS_FRAME
2670 is a normal function.
2672 If the program has been interrupted while THIS_FRAME is current,
2673 then clearly the resume address is inside the associated
2674 function. There are three kinds of interruption: debugger stop
2675 (next frame will be SENTINEL_FRAME), operating system
2676 signal or exception (next frame will be SIGTRAMP_FRAME),
2677 or debugger-induced function call (next frame will be
2678 DUMMY_FRAME). So we only need to adjust the PC if
2679 NEXT_FRAME is a normal function.
2681 We check the type of NEXT_FRAME first, since it is already
2682 known; frame type is determined by the unwinder, and since
2683 we have THIS_FRAME we've already selected an unwinder for
2686 If the next frame is inlined, we need to keep going until we find
2687 the real function - for instance, if a signal handler is invoked
2688 while in an inlined function, then the code address of the
2689 "calling" normal function should not be adjusted either. */
2691 while (get_frame_type (next_frame) == INLINE_FRAME)
2692 next_frame = next_frame->next;
2694 if ((get_frame_type (next_frame) == NORMAL_FRAME
2695 || get_frame_type (next_frame) == TAILCALL_FRAME)
2696 && (get_frame_type (this_frame) == NORMAL_FRAME
2697 || get_frame_type (this_frame) == TAILCALL_FRAME
2698 || get_frame_type (this_frame) == INLINE_FRAME))
2705 get_frame_address_in_block_if_available (frame_info *this_frame,
2711 *pc = get_frame_address_in_block (this_frame);
2713 catch (const gdb_exception_error &ex)
2715 if (ex.error == NOT_AVAILABLE_ERROR)
2724 find_frame_sal (frame_info *frame)
2726 struct frame_info *next_frame;
2730 if (frame_inlined_callees (frame) > 0)
2734 /* If the current frame has some inlined callees, and we have a next
2735 frame, then that frame must be an inlined frame. In this case
2736 this frame's sal is the "call site" of the next frame's inlined
2737 function, which can not be inferred from get_frame_pc. */
2738 next_frame = get_next_frame (frame);
2740 sym = get_frame_function (next_frame);
2742 sym = inline_skipped_symbol (inferior_thread ());
2744 /* If frame is inline, it certainly has symbols. */
2747 symtab_and_line sal;
2748 if (SYMBOL_LINE (sym) != 0)
2750 sal.symtab = symbol_symtab (sym);
2751 sal.line = SYMBOL_LINE (sym);
2754 /* If the symbol does not have a location, we don't know where
2755 the call site is. Do not pretend to. This is jarring, but
2756 we can't do much better. */
2757 sal.pc = get_frame_pc (frame);
2759 sal.pspace = get_frame_program_space (frame);
2763 /* If FRAME is not the innermost frame, that normally means that
2764 FRAME->pc points at the return instruction (which is *after* the
2765 call instruction), and we want to get the line containing the
2766 call (because the call is where the user thinks the program is).
2767 However, if the next frame is either a SIGTRAMP_FRAME or a
2768 DUMMY_FRAME, then the next frame will contain a saved interrupt
2769 PC and such a PC indicates the current (rather than next)
2770 instruction/line, consequently, for such cases, want to get the
2771 line containing fi->pc. */
2772 if (!get_frame_pc_if_available (frame, &pc))
2775 notcurrent = (pc != get_frame_address_in_block (frame));
2776 return find_pc_line (pc, notcurrent);
2779 /* Per "frame.h", return the ``address'' of the frame. Code should
2780 really be using get_frame_id(). */
2782 get_frame_base (struct frame_info *fi)
2784 return get_frame_id (fi).stack_addr;
2787 /* High-level offsets into the frame. Used by the debug info. */
2790 get_frame_base_address (struct frame_info *fi)
2792 if (get_frame_type (fi) != NORMAL_FRAME)
2794 if (fi->base == NULL)
2795 fi->base = frame_base_find_by_frame (fi);
2796 /* Sneaky: If the low-level unwind and high-level base code share a
2797 common unwinder, let them share the prologue cache. */
2798 if (fi->base->unwind == fi->unwind)
2799 return fi->base->this_base (fi, &fi->prologue_cache);
2800 return fi->base->this_base (fi, &fi->base_cache);
2804 get_frame_locals_address (struct frame_info *fi)
2806 if (get_frame_type (fi) != NORMAL_FRAME)
2808 /* If there isn't a frame address method, find it. */
2809 if (fi->base == NULL)
2810 fi->base = frame_base_find_by_frame (fi);
2811 /* Sneaky: If the low-level unwind and high-level base code share a
2812 common unwinder, let them share the prologue cache. */
2813 if (fi->base->unwind == fi->unwind)
2814 return fi->base->this_locals (fi, &fi->prologue_cache);
2815 return fi->base->this_locals (fi, &fi->base_cache);
2819 get_frame_args_address (struct frame_info *fi)
2821 if (get_frame_type (fi) != NORMAL_FRAME)
2823 /* If there isn't a frame address method, find it. */
2824 if (fi->base == NULL)
2825 fi->base = frame_base_find_by_frame (fi);
2826 /* Sneaky: If the low-level unwind and high-level base code share a
2827 common unwinder, let them share the prologue cache. */
2828 if (fi->base->unwind == fi->unwind)
2829 return fi->base->this_args (fi, &fi->prologue_cache);
2830 return fi->base->this_args (fi, &fi->base_cache);
2833 /* Return true if the frame unwinder for frame FI is UNWINDER; false
2837 frame_unwinder_is (frame_info *fi, const frame_unwind *unwinder)
2839 if (fi->unwind == nullptr)
2840 frame_unwind_find_by_frame (fi, &fi->prologue_cache);
2842 return fi->unwind == unwinder;
2845 /* Level of the selected frame: 0 for innermost, 1 for its caller, ...
2846 or -1 for a NULL frame. */
2849 frame_relative_level (struct frame_info *fi)
2858 get_frame_type (struct frame_info *frame)
2860 if (frame->unwind == NULL)
2861 /* Initialize the frame's unwinder because that's what
2862 provides the frame's type. */
2863 frame_unwind_find_by_frame (frame, &frame->prologue_cache);
2864 return frame->unwind->type;
2867 struct program_space *
2868 get_frame_program_space (struct frame_info *frame)
2870 return frame->pspace;
2873 struct program_space *
2874 frame_unwind_program_space (struct frame_info *this_frame)
2876 gdb_assert (this_frame);
2878 /* This is really a placeholder to keep the API consistent --- we
2879 assume for now that we don't have frame chains crossing
2881 return this_frame->pspace;
2884 const address_space *
2885 get_frame_address_space (struct frame_info *frame)
2887 return frame->aspace;
2890 /* Memory access methods. */
2893 get_frame_memory (struct frame_info *this_frame, CORE_ADDR addr,
2894 gdb_byte *buf, int len)
2896 read_memory (addr, buf, len);
2900 get_frame_memory_signed (struct frame_info *this_frame, CORE_ADDR addr,
2903 struct gdbarch *gdbarch = get_frame_arch (this_frame);
2904 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
2906 return read_memory_integer (addr, len, byte_order);
2910 get_frame_memory_unsigned (struct frame_info *this_frame, CORE_ADDR addr,
2913 struct gdbarch *gdbarch = get_frame_arch (this_frame);
2914 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
2916 return read_memory_unsigned_integer (addr, len, byte_order);
2920 safe_frame_unwind_memory (struct frame_info *this_frame,
2921 CORE_ADDR addr, gdb_byte *buf, int len)
2923 /* NOTE: target_read_memory returns zero on success! */
2924 return target_read_memory (addr, buf, len) == 0;
2927 /* Architecture methods. */
2930 get_frame_arch (struct frame_info *this_frame)
2932 return frame_unwind_arch (this_frame->next);
2936 frame_unwind_arch (struct frame_info *next_frame)
2938 if (!next_frame->prev_arch.p)
2940 struct gdbarch *arch;
2942 if (next_frame->unwind == NULL)
2943 frame_unwind_find_by_frame (next_frame, &next_frame->prologue_cache);
2945 if (next_frame->unwind->prev_arch != NULL)
2946 arch = next_frame->unwind->prev_arch (next_frame,
2947 &next_frame->prologue_cache);
2949 arch = get_frame_arch (next_frame);
2951 next_frame->prev_arch.arch = arch;
2952 next_frame->prev_arch.p = true;
2954 fprintf_unfiltered (gdb_stdlog,
2955 "{ frame_unwind_arch (next_frame=%d) -> %s }\n",
2957 gdbarch_bfd_arch_info (arch)->printable_name);
2960 return next_frame->prev_arch.arch;
2964 frame_unwind_caller_arch (struct frame_info *next_frame)
2966 next_frame = skip_artificial_frames (next_frame);
2968 /* We must have a non-artificial frame. The caller is supposed to check
2969 the result of frame_unwind_caller_id (), which returns NULL_FRAME_ID
2971 gdb_assert (next_frame != NULL);
2973 return frame_unwind_arch (next_frame);
2976 /* Gets the language of FRAME. */
2979 get_frame_language (struct frame_info *frame)
2984 gdb_assert (frame!= NULL);
2986 /* We determine the current frame language by looking up its
2987 associated symtab. To retrieve this symtab, we use the frame
2988 PC. However we cannot use the frame PC as is, because it
2989 usually points to the instruction following the "call", which
2990 is sometimes the first instruction of another function. So
2991 we rely on get_frame_address_in_block(), it provides us with
2992 a PC that is guaranteed to be inside the frame's code
2997 pc = get_frame_address_in_block (frame);
3000 catch (const gdb_exception_error &ex)
3002 if (ex.error != NOT_AVAILABLE_ERROR)
3008 struct compunit_symtab *cust = find_pc_compunit_symtab (pc);
3011 return compunit_language (cust);
3014 return language_unknown;
3017 /* Stack pointer methods. */
3020 get_frame_sp (struct frame_info *this_frame)
3022 struct gdbarch *gdbarch = get_frame_arch (this_frame);
3024 /* NOTE drow/2008-06-28: gdbarch_unwind_sp could be converted to
3025 operate on THIS_FRAME now. */
3026 return gdbarch_unwind_sp (gdbarch, this_frame->next);
3029 /* Return the reason why we can't unwind past FRAME. */
3031 enum unwind_stop_reason
3032 get_frame_unwind_stop_reason (struct frame_info *frame)
3034 /* Fill-in STOP_REASON. */
3035 get_prev_frame_always (frame);
3036 gdb_assert (frame->prev_p);
3038 return frame->stop_reason;
3041 /* Return a string explaining REASON. */
3044 unwind_stop_reason_to_string (enum unwind_stop_reason reason)
3048 #define SET(name, description) \
3049 case name: return _(description);
3050 #include "unwind_stop_reasons.def"
3054 internal_error (__FILE__, __LINE__,
3055 "Invalid frame stop reason");
3060 frame_stop_reason_string (struct frame_info *fi)
3062 gdb_assert (fi->prev_p);
3063 gdb_assert (fi->prev == NULL);
3065 /* Return the specific string if we have one. */
3066 if (fi->stop_string != NULL)
3067 return fi->stop_string;
3069 /* Return the generic string if we have nothing better. */
3070 return unwind_stop_reason_to_string (fi->stop_reason);
3073 /* Return the enum symbol name of REASON as a string, to use in debug
3077 frame_stop_reason_symbol_string (enum unwind_stop_reason reason)
3081 #define SET(name, description) \
3082 case name: return #name;
3083 #include "unwind_stop_reasons.def"
3087 internal_error (__FILE__, __LINE__,
3088 "Invalid frame stop reason");
3092 /* Clean up after a failed (wrong unwinder) attempt to unwind past
3096 frame_cleanup_after_sniffer (struct frame_info *frame)
3098 /* The sniffer should not allocate a prologue cache if it did not
3099 match this frame. */
3100 gdb_assert (frame->prologue_cache == NULL);
3102 /* No sniffer should extend the frame chain; sniff based on what is
3104 gdb_assert (!frame->prev_p);
3106 /* The sniffer should not check the frame's ID; that's circular. */
3107 gdb_assert (frame->this_id.p != frame_id_status::COMPUTED);
3109 /* Clear cached fields dependent on the unwinder.
3111 The previous PC is independent of the unwinder, but the previous
3112 function is not (see get_frame_address_in_block). */
3113 frame->prev_func.status = CC_UNKNOWN;
3114 frame->prev_func.addr = 0;
3116 /* Discard the unwinder last, so that we can easily find it if an assertion
3117 in this function triggers. */
3118 frame->unwind = NULL;
3121 /* Set FRAME's unwinder temporarily, so that we can call a sniffer.
3122 If sniffing fails, the caller should be sure to call
3123 frame_cleanup_after_sniffer. */
3126 frame_prepare_for_sniffer (struct frame_info *frame,
3127 const struct frame_unwind *unwind)
3129 gdb_assert (frame->unwind == NULL);
3130 frame->unwind = unwind;
3133 static struct cmd_list_element *set_backtrace_cmdlist;
3134 static struct cmd_list_element *show_backtrace_cmdlist;
3136 /* Definition of the "set backtrace" settings that are exposed as
3137 "backtrace" command options. */
3139 using boolean_option_def
3140 = gdb::option::boolean_option_def<set_backtrace_options>;
3142 const gdb::option::option_def set_backtrace_option_defs[] = {
3144 boolean_option_def {
3146 [] (set_backtrace_options *opt) { return &opt->backtrace_past_main; },
3147 show_backtrace_past_main, /* show_cmd_cb */
3148 N_("Set whether backtraces should continue past \"main\"."),
3149 N_("Show whether backtraces should continue past \"main\"."),
3150 N_("Normally the caller of \"main\" is not of interest, so GDB will terminate\n\
3151 the backtrace at \"main\". Set this if you need to see the rest\n\
3152 of the stack trace."),
3155 boolean_option_def {
3157 [] (set_backtrace_options *opt) { return &opt->backtrace_past_entry; },
3158 show_backtrace_past_entry, /* show_cmd_cb */
3159 N_("Set whether backtraces should continue past the entry point of a program."),
3160 N_("Show whether backtraces should continue past the entry point of a program."),
3161 N_("Normally there are no callers beyond the entry point of a program, so GDB\n\
3162 will terminate the backtrace there. Set this if you need to see\n\
3163 the rest of the stack trace."),
3167 void _initialize_frame ();
3169 _initialize_frame ()
3171 obstack_init (&frame_cache_obstack);
3173 frame_stash_create ();
3175 gdb::observers::target_changed.attach (frame_observer_target_changed);
3177 add_basic_prefix_cmd ("backtrace", class_maintenance, _("\
3178 Set backtrace specific variables.\n\
3179 Configure backtrace variables such as the backtrace limit"),
3180 &set_backtrace_cmdlist, "set backtrace ",
3181 0/*allow-unknown*/, &setlist);
3182 add_show_prefix_cmd ("backtrace", class_maintenance, _("\
3183 Show backtrace specific variables.\n\
3184 Show backtrace variables such as the backtrace limit."),
3185 &show_backtrace_cmdlist, "show backtrace ",
3186 0/*allow-unknown*/, &showlist);
3188 add_setshow_uinteger_cmd ("limit", class_obscure,
3189 &user_set_backtrace_options.backtrace_limit, _("\
3190 Set an upper bound on the number of backtrace levels."), _("\
3191 Show the upper bound on the number of backtrace levels."), _("\
3192 No more than the specified number of frames can be displayed or examined.\n\
3193 Literal \"unlimited\" or zero means no limit."),
3195 show_backtrace_limit,
3196 &set_backtrace_cmdlist,
3197 &show_backtrace_cmdlist);
3199 gdb::option::add_setshow_cmds_for_options
3200 (class_stack, &user_set_backtrace_options,
3201 set_backtrace_option_defs, &set_backtrace_cmdlist, &show_backtrace_cmdlist);
3203 /* Debug this files internals. */
3204 add_setshow_zuinteger_cmd ("frame", class_maintenance, &frame_debug, _("\
3205 Set frame debugging."), _("\
3206 Show frame debugging."), _("\
3207 When non-zero, frame specific internal debugging is enabled."),
3210 &setdebuglist, &showdebuglist);