Multi-target support
[deliverable/binutils-gdb.git] / gdb / inline-frame.c
CommitLineData
edb3359d
DJ
1/* Inline frame unwinder for GDB.
2
b811d2c2 3 Copyright (C) 2008-2020 Free Software Foundation, Inc.
edb3359d
DJ
4
5 This file is part of GDB.
6
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.
11
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.
16
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/>. */
19
20#include "defs.h"
ddfe970e 21#include "breakpoint.h"
e451c4a1 22#include "inline-frame.h"
edb3359d
DJ
23#include "addrmap.h"
24#include "block.h"
25#include "frame-unwind.h"
26#include "inferior.h"
00431a78 27#include "gdbthread.h"
4e485129 28#include "regcache.h"
edb3359d 29#include "symtab.h"
51d48146 30#include "frame.h"
b24531ed 31#include <algorithm>
edb3359d 32
edb3359d
DJ
33/* We need to save a few variables for every thread stopped at the
34 virtual call site of an inlined function. If there was always a
35 "struct thread_info", we could hang it off that; in the mean time,
36 keep our own list. */
37struct inline_state
38{
00431a78 39 inline_state (thread_info *thread_, int skipped_frames_, CORE_ADDR saved_pc_,
b24531ed 40 symbol *skipped_symbol_)
00431a78 41 : thread (thread_), skipped_frames (skipped_frames_), saved_pc (saved_pc_),
b24531ed
SM
42 skipped_symbol (skipped_symbol_)
43 {}
44
edb3359d 45 /* The thread this data relates to. It should be a currently
00431a78
PA
46 stopped thread. */
47 thread_info *thread;
edb3359d
DJ
48
49 /* The number of inlined functions we are skipping. Each of these
50 functions can be stepped in to. */
51 int skipped_frames;
52
53 /* Only valid if SKIPPED_FRAMES is non-zero. This is the PC used
54 when calculating SKIPPED_FRAMES; used to check whether we have
55 moved to a new location by user request. If so, we invalidate
56 any skipped frames. */
57 CORE_ADDR saved_pc;
58
59 /* Only valid if SKIPPED_FRAMES is non-zero. This is the symbol
60 of the outermost skipped inline function. It's used to find the
61 call site of the current frame. */
62 struct symbol *skipped_symbol;
63};
64
b24531ed 65static std::vector<inline_state> inline_states;
edb3359d 66
00431a78
PA
67/* Locate saved inlined frame state for THREAD, if it exists and is
68 valid. */
edb3359d
DJ
69
70static struct inline_state *
00431a78 71find_inline_frame_state (thread_info *thread)
edb3359d 72{
b24531ed 73 auto state_it = std::find_if (inline_states.begin (), inline_states.end (),
00431a78 74 [thread] (const inline_state &state)
b24531ed 75 {
00431a78 76 return state.thread == thread;
b24531ed 77 });
edb3359d 78
b24531ed
SM
79 if (state_it == inline_states.end ())
80 return nullptr;
edb3359d 81
b24531ed 82 inline_state &state = *state_it;
00431a78 83 struct regcache *regcache = get_thread_regcache (thread);
b24531ed 84 CORE_ADDR current_pc = regcache_read_pc (regcache);
edb3359d 85
b24531ed
SM
86 if (current_pc != state.saved_pc)
87 {
88 /* PC has changed - this context is invalid. Use the
89 default behavior. */
edb3359d 90
b24531ed
SM
91 unordered_remove (inline_states, state_it);
92 return nullptr;
93 }
edb3359d 94
b24531ed 95 return &state;
edb3359d
DJ
96}
97
5b6d1e4f 98/* See inline-frame.h. */
edb3359d
DJ
99
100void
5b6d1e4f 101clear_inline_frame_state (process_stratum_target *target, ptid_t filter_ptid)
edb3359d 102{
5b6d1e4f 103 gdb_assert (target != NULL);
edb3359d 104
5b6d1e4f 105 if (filter_ptid == minus_one_ptid || filter_ptid.is_pid ())
edb3359d 106 {
5b6d1e4f
PA
107 auto matcher = [target, &filter_ptid] (const inline_state &state)
108 {
109 thread_info *t = state.thread;
110 return (t->inf->process_target () == target
111 && t->ptid.matches (filter_ptid));
112 };
113
b24531ed 114 auto it = std::remove_if (inline_states.begin (), inline_states.end (),
5b6d1e4f 115 matcher);
b24531ed
SM
116
117 inline_states.erase (it, inline_states.end ());
118
edb3359d
DJ
119 return;
120 }
121
5b6d1e4f
PA
122
123 auto matcher = [target, &filter_ptid] (const inline_state &state)
124 {
125 thread_info *t = state.thread;
126 return (t->inf->process_target () == target
127 && filter_ptid == t->ptid);
128 };
129
130 auto it = std::find_if (inline_states.begin (), inline_states.end (),
131 matcher);
132
133 if (it != inline_states.end ())
134 unordered_remove (inline_states, it);
135}
136
137/* See inline-frame.h. */
138
139void
140clear_inline_frame_state (thread_info *thread)
141{
b24531ed 142 auto it = std::find_if (inline_states.begin (), inline_states.end (),
5b6d1e4f 143 [thread] (const inline_state &state)
b24531ed 144 {
5b6d1e4f 145 return thread == state.thread;
b24531ed
SM
146 });
147
148 if (it != inline_states.end ())
149 unordered_remove (inline_states, it);
edb3359d
DJ
150}
151
152static void
153inline_frame_this_id (struct frame_info *this_frame,
154 void **this_cache,
155 struct frame_id *this_id)
156{
157 struct symbol *func;
158
159 /* In order to have a stable frame ID for a given inline function,
160 we must get the stack / special addresses from the underlying
51d48146
PA
161 real frame's this_id method. So we must call
162 get_prev_frame_always. Because we are inlined into some
163 function, there must be previous frames, so this is safe - as
164 long as we're careful not to create any cycles. */
165 *this_id = get_frame_id (get_prev_frame_always (this_frame));
edb3359d
DJ
166
167 /* We need a valid frame ID, so we need to be based on a valid
168 frame. FSF submission NOTE: this would be a good assertion to
169 apply to all frames, all the time. That would fix the ambiguity
170 of null_frame_id (between "no/any frame" and "the outermost
171 frame"). This will take work. */
172 gdb_assert (frame_id_p (*this_id));
173
005ca36a
JB
174 /* For now, require we don't match outer_frame_id either (see
175 comment above). */
176 gdb_assert (!frame_id_eq (*this_id, outer_frame_id));
177
edb3359d
DJ
178 /* Future work NOTE: Alexandre Oliva applied a patch to GCC 4.3
179 which generates DW_AT_entry_pc for inlined functions when
180 possible. If this attribute is available, we should use it
181 in the frame ID (and eventually, to set breakpoints). */
182 func = get_frame_function (this_frame);
183 gdb_assert (func != NULL);
2b1ffcfd 184 (*this_id).code_addr = BLOCK_ENTRY_PC (SYMBOL_BLOCK_VALUE (func));
193facb3 185 (*this_id).artificial_depth++;
edb3359d
DJ
186}
187
188static struct value *
189inline_frame_prev_register (struct frame_info *this_frame, void **this_cache,
190 int regnum)
191{
192 /* Use get_frame_register_value instead of
193 frame_unwind_got_register, to avoid requiring this frame's ID.
194 This frame's ID depends on the previous frame's ID (unusual), and
195 the previous frame's ID depends on this frame's unwound
196 registers. If unwinding registers from this frame called
197 get_frame_id, there would be a loop.
198
199 Do not copy this code into any other unwinder! Inlined functions
200 are special; other unwinders must not have a dependency on the
201 previous frame's ID, and therefore can and should use
202 frame_unwind_got_register instead. */
203 return get_frame_register_value (this_frame, regnum);
204}
205
206/* Check whether we are at an inlining site that does not already
207 have an associated frame. */
208
209static int
210inline_frame_sniffer (const struct frame_unwind *self,
211 struct frame_info *this_frame,
212 void **this_cache)
213{
214 CORE_ADDR this_pc;
3977b71f 215 const struct block *frame_block, *cur_block;
edb3359d
DJ
216 int depth;
217 struct frame_info *next_frame;
00431a78 218 struct inline_state *state = find_inline_frame_state (inferior_thread ());
edb3359d
DJ
219
220 this_pc = get_frame_address_in_block (this_frame);
221 frame_block = block_for_pc (this_pc);
222 if (frame_block == NULL)
223 return 0;
224
225 /* Calculate DEPTH, the number of inlined functions at this
226 location. */
227 depth = 0;
228 cur_block = frame_block;
229 while (BLOCK_SUPERBLOCK (cur_block))
230 {
231 if (block_inlined_p (cur_block))
232 depth++;
0fa7fe50
JB
233 else if (BLOCK_FUNCTION (cur_block) != NULL)
234 break;
edb3359d
DJ
235
236 cur_block = BLOCK_SUPERBLOCK (cur_block);
237 }
238
239 /* Check how many inlined functions already have frames. */
240 for (next_frame = get_next_frame (this_frame);
241 next_frame && get_frame_type (next_frame) == INLINE_FRAME;
242 next_frame = get_next_frame (next_frame))
243 {
244 gdb_assert (depth > 0);
245 depth--;
246 }
247
248 /* If this is the topmost frame, or all frames above us are inlined,
249 then check whether we were requested to skip some frames (so they
250 can be stepped into later). */
251 if (state != NULL && state->skipped_frames > 0 && next_frame == NULL)
252 {
4e485129
DJ
253 gdb_assert (depth >= state->skipped_frames);
254 depth -= state->skipped_frames;
edb3359d
DJ
255 }
256
257 /* If all the inlined functions here already have frames, then pass
258 to the normal unwinder for this PC. */
259 if (depth == 0)
260 return 0;
261
262 /* If the next frame is an inlined function, but not the outermost, then
263 we are the next outer. If it is not an inlined function, then we
264 are the innermost inlined function of a different real frame. */
265 return 1;
266}
267
39d7b0e2 268const struct frame_unwind inline_frame_unwind = {
edb3359d 269 INLINE_FRAME,
8fbca658 270 default_frame_unwind_stop_reason,
edb3359d
DJ
271 inline_frame_this_id,
272 inline_frame_prev_register,
273 NULL,
274 inline_frame_sniffer
275};
276
edb3359d
DJ
277/* Return non-zero if BLOCK, an inlined function block containing PC,
278 has a group of contiguous instructions starting at PC (but not
279 before it). */
280
281static int
3977b71f 282block_starting_point_at (CORE_ADDR pc, const struct block *block)
edb3359d 283{
346d1dfe 284 const struct blockvector *bv;
582942f4 285 const struct block *new_block;
edb3359d
DJ
286
287 bv = blockvector_for_pc (pc, NULL);
288 if (BLOCKVECTOR_MAP (bv) == NULL)
289 return 0;
290
582942f4
TT
291 new_block = (const struct block *) addrmap_find (BLOCKVECTOR_MAP (bv),
292 pc - 1);
edb3359d
DJ
293 if (new_block == NULL)
294 return 1;
295
296 if (new_block == block || contained_in (new_block, block))
297 return 0;
298
177b42fe 299 /* The immediately preceding address belongs to a different block,
edb3359d
DJ
300 which is not a child of this one. Treat this as an entrance into
301 BLOCK. */
302 return 1;
303}
304
ddfe970e 305/* Loop over the stop chain and determine if execution stopped in an
61b04dd0 306 inlined frame because of a user breakpoint set at FRAME_BLOCK. */
ddfe970e
KS
307
308static bool
61b04dd0 309stopped_by_user_bp_inline_frame (const block *frame_block, bpstat stop_chain)
ddfe970e
KS
310{
311 for (bpstat s = stop_chain; s != NULL; s = s->next)
312 {
313 struct breakpoint *bpt = s->breakpoint_at;
314
315 if (bpt != NULL && user_breakpoint_p (bpt))
316 {
317 bp_location *loc = s->bp_location_at;
318 enum bp_loc_type t = loc->loc_type;
319
991ff292
PA
320 if (t == bp_loc_software_breakpoint
321 || t == bp_loc_hardware_breakpoint)
322 {
323 /* If the location has a function symbol, check whether
324 the frame was for that inlined function. If it has
325 no function symbol, then assume it is. I.e., default
326 to presenting the stop at the innermost inline
327 function. */
328 if (loc->symbol == nullptr
329 || frame_block == SYMBOL_BLOCK_VALUE (loc->symbol))
330 return true;
331 }
ddfe970e
KS
332 }
333 }
334
335 return false;
336}
337
338/* See inline-frame.h. */
edb3359d
DJ
339
340void
00431a78 341skip_inline_frames (thread_info *thread, bpstat stop_chain)
edb3359d 342{
3977b71f 343 const struct block *frame_block, *cur_block;
edb3359d
DJ
344 struct symbol *last_sym = NULL;
345 int skip_count = 0;
edb3359d
DJ
346
347 /* This function is called right after reinitializing the frame
348 cache. We try not to do more unwinding than absolutely
349 necessary, for performance. */
b24531ed 350 CORE_ADDR this_pc = get_frame_pc (get_current_frame ());
edb3359d
DJ
351 frame_block = block_for_pc (this_pc);
352
353 if (frame_block != NULL)
354 {
355 cur_block = frame_block;
356 while (BLOCK_SUPERBLOCK (cur_block))
357 {
358 if (block_inlined_p (cur_block))
359 {
360 /* See comments in inline_frame_this_id about this use
2b1ffcfd
KB
361 of BLOCK_ENTRY_PC. */
362 if (BLOCK_ENTRY_PC (cur_block) == this_pc
edb3359d
DJ
363 || block_starting_point_at (this_pc, cur_block))
364 {
ddfe970e
KS
365 /* Do not skip the inlined frame if execution
366 stopped in an inlined frame because of a user
61b04dd0
PA
367 breakpoint for this inline function. */
368 if (stopped_by_user_bp_inline_frame (cur_block, stop_chain))
369 break;
370
371 skip_count++;
372 last_sym = BLOCK_FUNCTION (cur_block);
edb3359d
DJ
373 }
374 else
375 break;
376 }
0fa7fe50
JB
377 else if (BLOCK_FUNCTION (cur_block) != NULL)
378 break;
379
edb3359d
DJ
380 cur_block = BLOCK_SUPERBLOCK (cur_block);
381 }
382 }
383
00431a78
PA
384 gdb_assert (find_inline_frame_state (thread) == NULL);
385 inline_states.emplace_back (thread, skip_count, this_pc, last_sym);
edb3359d
DJ
386
387 if (skip_count != 0)
388 reinit_frame_cache ();
389}
390
391/* Step into an inlined function by unhiding it. */
392
393void
00431a78 394step_into_inline_frame (thread_info *thread)
edb3359d 395{
00431a78 396 inline_state *state = find_inline_frame_state (thread);
edb3359d
DJ
397
398 gdb_assert (state != NULL && state->skipped_frames > 0);
399 state->skipped_frames--;
400 reinit_frame_cache ();
401}
402
403/* Return the number of hidden functions inlined into the current
404 frame. */
405
406int
00431a78 407inline_skipped_frames (thread_info *thread)
edb3359d 408{
00431a78 409 inline_state *state = find_inline_frame_state (thread);
edb3359d
DJ
410
411 if (state == NULL)
412 return 0;
413 else
414 return state->skipped_frames;
415}
416
417/* If one or more inlined functions are hidden, return the symbol for
418 the function inlined into the current frame. */
419
420struct symbol *
00431a78 421inline_skipped_symbol (thread_info *thread)
edb3359d 422{
00431a78 423 inline_state *state = find_inline_frame_state (thread);
edb3359d
DJ
424
425 gdb_assert (state != NULL);
426 return state->skipped_symbol;
427}
428
429/* Return the number of functions inlined into THIS_FRAME. Some of
430 the callees may not have associated frames (see
431 skip_inline_frames). */
432
433int
434frame_inlined_callees (struct frame_info *this_frame)
435{
436 struct frame_info *next_frame;
437 int inline_count = 0;
438
439 /* First count how many inlined functions at this PC have frames
440 above FRAME (are inlined into FRAME). */
441 for (next_frame = get_next_frame (this_frame);
442 next_frame && get_frame_type (next_frame) == INLINE_FRAME;
443 next_frame = get_next_frame (next_frame))
444 inline_count++;
445
446 /* Simulate some most-inner inlined frames which were suppressed, so
447 they can be stepped into later. If we are unwinding already
448 outer frames from some non-inlined frame this does not apply. */
449 if (next_frame == NULL)
00431a78 450 inline_count += inline_skipped_frames (inferior_thread ());
edb3359d
DJ
451
452 return inline_count;
453}
This page took 0.929502 seconds and 4 git commands to generate.