Commit | Line | Data |
---|---|---|
9c1412c1 AC |
1 | /* Code dealing with dummy stack frames, for GDB, the GNU debugger. |
2 | ||
b811d2c2 | 3 | Copyright (C) 1986-2020 Free Software Foundation, Inc. |
9c1412c1 AC |
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 | |
a9762ec7 | 9 | the Free Software Foundation; either version 3 of the License, or |
9c1412c1 AC |
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 | |
a9762ec7 | 18 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
9c1412c1 AC |
19 | |
20 | ||
21 | #include "defs.h" | |
22 | #include "dummy-frame.h" | |
4de283e4 | 23 | #include "regcache.h" |
d55e5aa6 | 24 | #include "frame.h" |
4de283e4 TT |
25 | #include "inferior.h" |
26 | #include "frame-unwind.h" | |
27 | #include "command.h" | |
00905d52 | 28 | #include "gdbcmd.h" |
4de283e4 | 29 | #include "observable.h" |
e2e4d78b | 30 | #include "gdbthread.h" |
5e970501 | 31 | #include "infcall.h" |
0d12e84c | 32 | #include "gdbarch.h" |
9c1412c1 | 33 | |
b67a2c6f YQ |
34 | struct dummy_frame_id |
35 | { | |
36 | /* This frame's ID. Must match the value returned by | |
37 | gdbarch_dummy_id. */ | |
38 | struct frame_id id; | |
39 | ||
40 | /* The thread this dummy_frame relates to. */ | |
00431a78 | 41 | thread_info *thread; |
b67a2c6f YQ |
42 | }; |
43 | ||
44 | /* Return whether dummy_frame_id *ID1 and *ID2 are equal. */ | |
45 | ||
46 | static int | |
47 | dummy_frame_id_eq (struct dummy_frame_id *id1, | |
48 | struct dummy_frame_id *id2) | |
49 | { | |
00431a78 | 50 | return frame_id_eq (id1->id, id2->id) && id1->thread == id2->thread; |
b67a2c6f YQ |
51 | } |
52 | ||
10989690 JK |
53 | /* List of dummy_frame destructors. */ |
54 | ||
55 | struct dummy_frame_dtor_list | |
56 | { | |
57 | /* Next element in the list or NULL if this is the last element. */ | |
58 | struct dummy_frame_dtor_list *next; | |
59 | ||
60 | /* If non-NULL, a destructor that is run when this dummy frame is freed. */ | |
61 | dummy_frame_dtor_ftype *dtor; | |
62 | ||
63 | /* Arbitrary data that is passed to DTOR. */ | |
64 | void *dtor_data; | |
65 | }; | |
66 | ||
9c1412c1 AC |
67 | /* Dummy frame. This saves the processor state just prior to setting |
68 | up the inferior function call. Older targets save the registers | |
69 | on the target stack (but that really slows down function calls). */ | |
70 | ||
71 | struct dummy_frame | |
72 | { | |
73 | struct dummy_frame *next; | |
b67a2c6f YQ |
74 | |
75 | /* An id represents a dummy frame. */ | |
76 | struct dummy_frame_id id; | |
77 | ||
b89667eb | 78 | /* The caller's state prior to the call. */ |
16c381f0 | 79 | struct infcall_suspend_state *caller_state; |
233a8fb3 | 80 | |
10989690 JK |
81 | /* First element of destructors list or NULL if there are no |
82 | destructors registered for this dummy_frame. */ | |
83 | struct dummy_frame_dtor_list *dtor_list; | |
9c1412c1 AC |
84 | }; |
85 | ||
86 | static struct dummy_frame *dummy_frame_stack = NULL; | |
87 | ||
b89667eb | 88 | /* Push the caller's state, along with the dummy frame info, onto the |
96860204 | 89 | dummy-frame stack. */ |
9c1412c1 AC |
90 | |
91 | void | |
16c381f0 | 92 | dummy_frame_push (struct infcall_suspend_state *caller_state, |
00431a78 | 93 | const frame_id *dummy_id, thread_info *thread) |
9c1412c1 AC |
94 | { |
95 | struct dummy_frame *dummy_frame; | |
9c1412c1 | 96 | |
41bf6aca | 97 | dummy_frame = XCNEW (struct dummy_frame); |
b89667eb | 98 | dummy_frame->caller_state = caller_state; |
b67a2c6f | 99 | dummy_frame->id.id = (*dummy_id); |
00431a78 | 100 | dummy_frame->id.thread = thread; |
9c1412c1 AC |
101 | dummy_frame->next = dummy_frame_stack; |
102 | dummy_frame_stack = dummy_frame; | |
103 | } | |
104 | ||
b89667eb | 105 | /* Remove *DUMMY_PTR from the dummy frame stack. */ |
a45ae3ed | 106 | |
b89667eb DE |
107 | static void |
108 | remove_dummy_frame (struct dummy_frame **dummy_ptr) | |
a45ae3ed | 109 | { |
b89667eb | 110 | struct dummy_frame *dummy = *dummy_ptr; |
a45ae3ed | 111 | |
10989690 JK |
112 | while (dummy->dtor_list != NULL) |
113 | { | |
114 | struct dummy_frame_dtor_list *list = dummy->dtor_list; | |
115 | ||
116 | dummy->dtor_list = list->next; | |
117 | list->dtor (list->dtor_data, 0); | |
118 | xfree (list); | |
119 | } | |
5e970501 | 120 | |
b89667eb | 121 | *dummy_ptr = dummy->next; |
16c381f0 | 122 | discard_infcall_suspend_state (dummy->caller_state); |
b89667eb | 123 | xfree (dummy); |
a45ae3ed UW |
124 | } |
125 | ||
e2e4d78b JK |
126 | /* Delete any breakpoint B which is a momentary breakpoint for return from |
127 | inferior call matching DUMMY_VOIDP. */ | |
128 | ||
95da600f CB |
129 | static bool |
130 | pop_dummy_frame_bpt (struct breakpoint *b, struct dummy_frame *dummy) | |
e2e4d78b | 131 | { |
00431a78 | 132 | if (b->thread == dummy->id.thread->global_num |
b67a2c6f | 133 | && b->disposition == disp_del && frame_id_eq (b->frame_id, dummy->id.id)) |
e2e4d78b JK |
134 | { |
135 | while (b->related_breakpoint != b) | |
136 | delete_breakpoint (b->related_breakpoint); | |
137 | ||
138 | delete_breakpoint (b); | |
139 | ||
140 | /* Stop the traversal. */ | |
95da600f | 141 | return true; |
e2e4d78b JK |
142 | } |
143 | ||
144 | /* Continue the traversal. */ | |
95da600f | 145 | return false; |
e2e4d78b JK |
146 | } |
147 | ||
b89667eb DE |
148 | /* Pop *DUMMY_PTR, restoring program state to that before the |
149 | frame was created. */ | |
a45ae3ed UW |
150 | |
151 | static void | |
b89667eb | 152 | pop_dummy_frame (struct dummy_frame **dummy_ptr) |
a45ae3ed | 153 | { |
e2e4d78b JK |
154 | struct dummy_frame *dummy = *dummy_ptr; |
155 | ||
00431a78 | 156 | gdb_assert (dummy->id.thread == inferior_thread ()); |
233a8fb3 | 157 | |
10989690 JK |
158 | while (dummy->dtor_list != NULL) |
159 | { | |
160 | struct dummy_frame_dtor_list *list = dummy->dtor_list; | |
161 | ||
162 | dummy->dtor_list = list->next; | |
163 | list->dtor (list->dtor_data, 1); | |
164 | xfree (list); | |
165 | } | |
233a8fb3 | 166 | |
e2e4d78b | 167 | restore_infcall_suspend_state (dummy->caller_state); |
a45ae3ed | 168 | |
95da600f CB |
169 | iterate_over_breakpoints ([dummy] (breakpoint* bp) |
170 | { | |
171 | return pop_dummy_frame_bpt (bp, dummy); | |
172 | }); | |
b89667eb | 173 | |
16c381f0 | 174 | /* restore_infcall_control_state frees inf_state, |
0963b4bd | 175 | all that remains is to pop *dummy_ptr. */ |
b89667eb DE |
176 | *dummy_ptr = dummy->next; |
177 | xfree (dummy); | |
178 | ||
179 | /* We've made right mess of GDB's local state, just discard | |
180 | everything. */ | |
181 | reinit_frame_cache (); | |
182 | } | |
183 | ||
184 | /* Look up DUMMY_ID. | |
185 | Return NULL if not found. */ | |
186 | ||
187 | static struct dummy_frame ** | |
b67a2c6f | 188 | lookup_dummy_frame (struct dummy_frame_id *dummy_id) |
b89667eb DE |
189 | { |
190 | struct dummy_frame **dp; | |
191 | ||
192 | for (dp = &dummy_frame_stack; *dp != NULL; dp = &(*dp)->next) | |
a45ae3ed | 193 | { |
b67a2c6f | 194 | if (dummy_frame_id_eq (&(*dp)->id, dummy_id)) |
b89667eb | 195 | return dp; |
a45ae3ed UW |
196 | } |
197 | ||
b89667eb DE |
198 | return NULL; |
199 | } | |
200 | ||
00431a78 | 201 | /* Find the dummy frame by DUMMY_ID and THREAD, and pop it, restoring |
b67a2c6f | 202 | program state to that before the frame was created. |
b89667eb | 203 | On return reinit_frame_cache has been called. |
b67a2c6f | 204 | If the frame isn't found, flag an internal error. */ |
b89667eb DE |
205 | |
206 | void | |
00431a78 | 207 | dummy_frame_pop (frame_id dummy_id, thread_info *thread) |
b89667eb DE |
208 | { |
209 | struct dummy_frame **dp; | |
00431a78 | 210 | struct dummy_frame_id id = { dummy_id, thread }; |
b89667eb | 211 | |
b67a2c6f | 212 | dp = lookup_dummy_frame (&id); |
b89667eb DE |
213 | gdb_assert (dp != NULL); |
214 | ||
215 | pop_dummy_frame (dp); | |
216 | } | |
217 | ||
b67a2c6f YQ |
218 | /* Find the dummy frame by DUMMY_ID and PTID and drop it. Do nothing |
219 | if it is not found. Do not restore its state into inferior, just | |
220 | free its memory. */ | |
e2e4d78b JK |
221 | |
222 | void | |
00431a78 | 223 | dummy_frame_discard (struct frame_id dummy_id, thread_info *thread) |
e2e4d78b JK |
224 | { |
225 | struct dummy_frame **dp; | |
00431a78 | 226 | struct dummy_frame_id id = { dummy_id, thread }; |
e2e4d78b | 227 | |
b67a2c6f | 228 | dp = lookup_dummy_frame (&id); |
e2e4d78b JK |
229 | if (dp) |
230 | remove_dummy_frame (dp); | |
231 | } | |
232 | ||
233a8fb3 JK |
233 | /* See dummy-frame.h. */ |
234 | ||
235 | void | |
00431a78 | 236 | register_dummy_frame_dtor (frame_id dummy_id, thread_info *thread, |
233a8fb3 JK |
237 | dummy_frame_dtor_ftype *dtor, void *dtor_data) |
238 | { | |
00431a78 | 239 | struct dummy_frame_id id = { dummy_id, thread }; |
233a8fb3 | 240 | struct dummy_frame **dp, *d; |
10989690 | 241 | struct dummy_frame_dtor_list *list; |
233a8fb3 JK |
242 | |
243 | dp = lookup_dummy_frame (&id); | |
244 | gdb_assert (dp != NULL); | |
245 | d = *dp; | |
8d749320 | 246 | list = XNEW (struct dummy_frame_dtor_list); |
10989690 JK |
247 | list->next = d->dtor_list; |
248 | d->dtor_list = list; | |
249 | list->dtor = dtor; | |
250 | list->dtor_data = dtor_data; | |
233a8fb3 JK |
251 | } |
252 | ||
253 | /* See dummy-frame.h. */ | |
254 | ||
255 | int | |
256 | find_dummy_frame_dtor (dummy_frame_dtor_ftype *dtor, void *dtor_data) | |
257 | { | |
258 | struct dummy_frame *d; | |
259 | ||
260 | for (d = dummy_frame_stack; d != NULL; d = d->next) | |
10989690 JK |
261 | { |
262 | struct dummy_frame_dtor_list *list; | |
263 | ||
264 | for (list = d->dtor_list; list != NULL; list = list->next) | |
265 | if (list->dtor == dtor && list->dtor_data == dtor_data) | |
266 | return 1; | |
267 | } | |
233a8fb3 JK |
268 | return 0; |
269 | } | |
270 | ||
e2e4d78b JK |
271 | /* There may be stale dummy frames, perhaps left over from when an uncaught |
272 | longjmp took us out of a function that was called by the debugger. Clean | |
273 | them up at least once whenever we start a new inferior. */ | |
b89667eb DE |
274 | |
275 | static void | |
276 | cleanup_dummy_frames (struct target_ops *target, int from_tty) | |
277 | { | |
278 | while (dummy_frame_stack != NULL) | |
279 | remove_dummy_frame (&dummy_frame_stack); | |
a45ae3ed UW |
280 | } |
281 | ||
d67ec5db AC |
282 | /* Return the dummy frame cache, it contains both the ID, and a |
283 | pointer to the regcache. */ | |
284 | struct dummy_frame_cache | |
285 | { | |
286 | struct frame_id this_id; | |
daf6667d | 287 | readonly_detached_regcache *prev_regcache; |
d67ec5db AC |
288 | }; |
289 | ||
b89667eb | 290 | static int |
d67ec5db | 291 | dummy_frame_sniffer (const struct frame_unwind *self, |
669fac23 | 292 | struct frame_info *this_frame, |
d67ec5db AC |
293 | void **this_prologue_cache) |
294 | { | |
d67ec5db AC |
295 | /* When unwinding a normal frame, the stack structure is determined |
296 | by analyzing the frame's function's code (be it using brute force | |
297 | prologue analysis, or the dwarf2 CFI). In the case of a dummy | |
298 | frame, that simply isn't possible. The PC is either the program | |
299 | entry point, or some random address on the stack. Trying to use | |
300 | that PC to apply standard frame ID unwind techniques is just | |
301 | asking for trouble. */ | |
0c98cc2b | 302 | |
b89667eb | 303 | /* Don't bother unless there is at least one dummy frame. */ |
0c98cc2b | 304 | if (dummy_frame_stack != NULL) |
d67ec5db | 305 | { |
efc889c1 | 306 | struct dummy_frame *dummyframe; |
669fac23 DJ |
307 | /* Use an architecture specific method to extract this frame's |
308 | dummy ID, assuming it is a dummy frame. */ | |
efc889c1 YQ |
309 | struct frame_id this_id |
310 | = gdbarch_dummy_id (get_frame_arch (this_frame), this_frame); | |
00431a78 | 311 | struct dummy_frame_id dummy_id = { this_id, inferior_thread () }; |
0c98cc2b MS |
312 | |
313 | /* Use that ID to find the corresponding cache entry. */ | |
314 | for (dummyframe = dummy_frame_stack; | |
315 | dummyframe != NULL; | |
316 | dummyframe = dummyframe->next) | |
3c109c8b | 317 | { |
b67a2c6f | 318 | if (dummy_frame_id_eq (&dummyframe->id, &dummy_id)) |
0c98cc2b MS |
319 | { |
320 | struct dummy_frame_cache *cache; | |
9a619af0 | 321 | |
0c98cc2b | 322 | cache = FRAME_OBSTACK_ZALLOC (struct dummy_frame_cache); |
16c381f0 JK |
323 | cache->prev_regcache = get_infcall_suspend_state_regcache |
324 | (dummyframe->caller_state); | |
0c98cc2b MS |
325 | cache->this_id = this_id; |
326 | (*this_prologue_cache) = cache; | |
327 | return 1; | |
328 | } | |
3c109c8b | 329 | } |
d67ec5db AC |
330 | } |
331 | return 0; | |
332 | } | |
333 | ||
9c1412c1 AC |
334 | /* Given a call-dummy dummy-frame, return the registers. Here the |
335 | register value is taken from the local copy of the register buffer. */ | |
336 | ||
669fac23 DJ |
337 | static struct value * |
338 | dummy_frame_prev_register (struct frame_info *this_frame, | |
6dc42492 | 339 | void **this_prologue_cache, |
669fac23 | 340 | int regnum) |
9c1412c1 | 341 | { |
9a3c8263 SM |
342 | struct dummy_frame_cache *cache |
343 | = (struct dummy_frame_cache *) *this_prologue_cache; | |
669fac23 DJ |
344 | struct gdbarch *gdbarch = get_frame_arch (this_frame); |
345 | struct value *reg_val; | |
346 | ||
347 | /* The dummy-frame sniffer always fills in the cache. */ | |
d67ec5db | 348 | gdb_assert (cache != NULL); |
9c1412c1 AC |
349 | |
350 | /* Describe the register's location. Generic dummy frames always | |
351 | have the register value in an ``expression''. */ | |
669fac23 DJ |
352 | reg_val = value_zero (register_type (gdbarch, regnum), not_lval); |
353 | ||
354 | /* Use the regcache_cooked_read() method so that it, on the fly, | |
355 | constructs either a raw or pseudo register from the raw | |
356 | register cache. */ | |
daf6667d YQ |
357 | cache->prev_regcache->cooked_read (regnum, |
358 | value_contents_writeable (reg_val)); | |
669fac23 | 359 | return reg_val; |
9c1412c1 AC |
360 | } |
361 | ||
b89667eb | 362 | /* Assuming that THIS_FRAME is a dummy, return its ID. That ID is |
6dc42492 | 363 | determined by examining the NEXT frame's unwound registers using |
669fac23 | 364 | the method dummy_id(). As a side effect, THIS dummy frame's |
7a9dd1b2 | 365 | dummy cache is located and saved in THIS_PROLOGUE_CACHE. */ |
494cca16 AC |
366 | |
367 | static void | |
669fac23 | 368 | dummy_frame_this_id (struct frame_info *this_frame, |
6dc42492 AC |
369 | void **this_prologue_cache, |
370 | struct frame_id *this_id) | |
c689142b | 371 | { |
d67ec5db | 372 | /* The dummy-frame sniffer always fills in the cache. */ |
9a3c8263 SM |
373 | struct dummy_frame_cache *cache |
374 | = (struct dummy_frame_cache *) *this_prologue_cache; | |
9a619af0 | 375 | |
d67ec5db AC |
376 | gdb_assert (cache != NULL); |
377 | (*this_id) = cache->this_id; | |
c689142b AC |
378 | } |
379 | ||
39d7b0e2 | 380 | const struct frame_unwind dummy_frame_unwind = |
494cca16 | 381 | { |
7df05f2b | 382 | DUMMY_FRAME, |
8fbca658 | 383 | default_frame_unwind_stop_reason, |
6dc42492 | 384 | dummy_frame_this_id, |
d67ec5db AC |
385 | dummy_frame_prev_register, |
386 | NULL, | |
387 | dummy_frame_sniffer, | |
494cca16 AC |
388 | }; |
389 | ||
8bcb5208 AB |
390 | /* See dummy-frame.h. */ |
391 | ||
392 | struct frame_id | |
393 | default_dummy_id (struct gdbarch *gdbarch, struct frame_info *this_frame) | |
394 | { | |
395 | CORE_ADDR sp, pc; | |
396 | ||
397 | sp = get_frame_sp (this_frame); | |
398 | pc = get_frame_pc (this_frame); | |
399 | return frame_id_build (sp, pc); | |
400 | } | |
401 | ||
00905d52 AC |
402 | static void |
403 | fprint_dummy_frames (struct ui_file *file) | |
404 | { | |
405 | struct dummy_frame *s; | |
9a619af0 | 406 | |
00905d52 AC |
407 | for (s = dummy_frame_stack; s != NULL; s = s->next) |
408 | { | |
409 | gdb_print_host_address (s, file); | |
410 | fprintf_unfiltered (file, ":"); | |
00905d52 | 411 | fprintf_unfiltered (file, " id="); |
b67a2c6f YQ |
412 | fprint_frame_id (file, s->id.id); |
413 | fprintf_unfiltered (file, ", ptid=%s", | |
a068643d | 414 | target_pid_to_str (s->id.thread->ptid).c_str ()); |
00905d52 AC |
415 | fprintf_unfiltered (file, "\n"); |
416 | } | |
417 | } | |
418 | ||
419 | static void | |
31d56ade | 420 | maintenance_print_dummy_frames (const char *args, int from_tty) |
00905d52 AC |
421 | { |
422 | if (args == NULL) | |
423 | fprint_dummy_frames (gdb_stdout); | |
424 | else | |
425 | { | |
d7e74731 | 426 | stdio_file file; |
9a619af0 | 427 | |
d7e74731 | 428 | if (!file.open (args, "w")) |
e2e0b3e5 | 429 | perror_with_name (_("maintenance print dummy-frames")); |
d7e74731 | 430 | fprint_dummy_frames (&file); |
00905d52 AC |
431 | } |
432 | } | |
433 | ||
00905d52 AC |
434 | void |
435 | _initialize_dummy_frame (void) | |
436 | { | |
437 | add_cmd ("dummy-frames", class_maintenance, maintenance_print_dummy_frames, | |
1a966eab | 438 | _("Print the contents of the internal dummy-frame stack."), |
00905d52 AC |
439 | &maintenanceprintlist); |
440 | ||
76727919 | 441 | gdb::observers::inferior_created.attach (cleanup_dummy_frames); |
00905d52 | 442 | } |