Use forward_scope_exit for scoped_finish_thread_state
[deliverable/binutils-gdb.git] / gdb / infcall.c
CommitLineData
04714b91
AC
1/* Perform an inferior function call, for GDB, the GNU debugger.
2
42a4f53d 3 Copyright (C) 1986-2019 Free Software Foundation, Inc.
04714b91
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
04714b91
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/>. */
04714b91
AC
19
20#include "defs.h"
0700e23e 21#include "infcall.h"
04714b91 22#include "breakpoint.h"
573cda03 23#include "tracepoint.h"
04714b91
AC
24#include "target.h"
25#include "regcache.h"
26#include "inferior.h"
45741a9c 27#include "infrun.h"
04714b91
AC
28#include "block.h"
29#include "gdbcore.h"
30#include "language.h"
9ab9195f 31#include "objfiles.h"
04714b91
AC
32#include "gdbcmd.h"
33#include "command.h"
96860204 34#include "dummy-frame.h"
a93c0eb6 35#include "ada-lang.h"
347bddb7 36#include "gdbthread.h"
beb460e8 37#include "event-top.h"
76727919 38#include "observable.h"
0b333c5e
PA
39#include "top.h"
40#include "interps.h"
388a7084 41#include "thread-fsm.h"
6ccb583f 42#include <algorithm>
b89667eb
DE
43
44/* If we can't find a function's name from its address,
45 we print this instead. */
46#define RAW_FUNCTION_ADDRESS_FORMAT "at 0x%s"
47#define RAW_FUNCTION_ADDRESS_SIZE (sizeof (RAW_FUNCTION_ADDRESS_FORMAT) \
48 + 2 * sizeof (CORE_ADDR))
04714b91
AC
49
50/* NOTE: cagney/2003-04-16: What's the future of this code?
51
52 GDB needs an asynchronous expression evaluator, that means an
53 asynchronous inferior function call implementation, and that in
54 turn means restructuring the code so that it is event driven. */
55
56/* How you should pass arguments to a function depends on whether it
57 was defined in K&R style or prototype style. If you define a
58 function using the K&R syntax that takes a `float' argument, then
59 callers must pass that argument as a `double'. If you define the
60 function using the prototype syntax, then you must pass the
61 argument as a `float', with no promotion.
62
63 Unfortunately, on certain older platforms, the debug info doesn't
64 indicate reliably how each function was defined. A function type's
a9ff5f12
UW
65 TYPE_PROTOTYPED flag may be clear, even if the function was defined
66 in prototype style. When calling a function whose TYPE_PROTOTYPED
67 flag is clear, GDB consults this flag to decide what to do.
04714b91
AC
68
69 For modern targets, it is proper to assume that, if the prototype
70 flag is clear, that can be trusted: `float' arguments should be
71 promoted to `double'. For some older targets, if the prototype
72 flag is clear, that doesn't tell us anything. The default is to
73 trust the debug information; the user can override this behavior
74 with "set coerce-float-to-double 0". */
75
76static int coerce_float_to_double_p = 1;
920d2a44
AC
77static void
78show_coerce_float_to_double_p (struct ui_file *file, int from_tty,
79 struct cmd_list_element *c, const char *value)
80{
3e43a32a
MS
81 fprintf_filtered (file,
82 _("Coercion of floats to doubles "
83 "when calling functions is %s.\n"),
920d2a44
AC
84 value);
85}
04714b91
AC
86
87/* This boolean tells what gdb should do if a signal is received while
88 in a function called from gdb (call dummy). If set, gdb unwinds
89 the stack and restore the context to what as it was before the
90 call.
91
1777feb0 92 The default is to stop in the frame where the signal was received. */
04714b91 93
ef61f180 94static int unwind_on_signal_p = 0;
920d2a44
AC
95static void
96show_unwind_on_signal_p (struct ui_file *file, int from_tty,
97 struct cmd_list_element *c, const char *value)
98{
3e43a32a
MS
99 fprintf_filtered (file,
100 _("Unwinding of stack if a signal is "
101 "received while in a call dummy is %s.\n"),
920d2a44
AC
102 value);
103}
104
7cd1089b
PM
105/* This boolean tells what gdb should do if a std::terminate call is
106 made while in a function called from gdb (call dummy).
107 As the confines of a single dummy stack prohibit out-of-frame
108 handlers from handling a raised exception, and as out-of-frame
109 handlers are common in C++, this can lead to no handler being found
110 by the unwinder, and a std::terminate call. This is a false positive.
111 If set, gdb unwinds the stack and restores the context to what it
112 was before the call.
113
114 The default is to unwind the frame if a std::terminate call is
115 made. */
116
117static int unwind_on_terminating_exception_p = 1;
118
119static void
120show_unwind_on_terminating_exception_p (struct ui_file *file, int from_tty,
121 struct cmd_list_element *c,
122 const char *value)
123
124{
3e43a32a
MS
125 fprintf_filtered (file,
126 _("Unwind stack if a C++ exception is "
127 "unhandled while in a call dummy is %s.\n"),
7cd1089b
PM
128 value);
129}
04714b91
AC
130
131/* Perform the standard coercions that are specified
a93c0eb6 132 for arguments to be passed to C or Ada functions.
04714b91
AC
133
134 If PARAM_TYPE is non-NULL, it is the expected parameter type.
a93c0eb6
JB
135 IS_PROTOTYPED is non-zero if the function declaration is prototyped.
136 SP is the stack pointer were additional data can be pushed (updating
137 its value as needed). */
04714b91
AC
138
139static struct value *
7788af6d
UW
140value_arg_coerce (struct gdbarch *gdbarch, struct value *arg,
141 struct type *param_type, int is_prototyped, CORE_ADDR *sp)
04714b91 142{
7788af6d 143 const struct builtin_type *builtin = builtin_type (gdbarch);
df407dfe 144 struct type *arg_type = check_typedef (value_type (arg));
52f0bd74 145 struct type *type
04714b91
AC
146 = param_type ? check_typedef (param_type) : arg_type;
147
a93c0eb6
JB
148 /* Perform any Ada-specific coercion first. */
149 if (current_language->la_language == language_ada)
40bc484c 150 arg = ada_convert_actual (arg, type);
a93c0eb6 151
63092375
DJ
152 /* Force the value to the target if we will need its address. At
153 this point, we could allocate arguments on the stack instead of
154 calling malloc if we knew that their addresses would not be
155 saved by the called function. */
156 arg = value_coerce_to_target (arg);
157
04714b91
AC
158 switch (TYPE_CODE (type))
159 {
160 case TYPE_CODE_REF:
aa006118 161 case TYPE_CODE_RVALUE_REF:
fb933624
DJ
162 {
163 struct value *new_value;
164
aa006118 165 if (TYPE_IS_REFERENCE (arg_type))
b1af9e97 166 return value_cast_pointers (type, arg, 0);
fb933624
DJ
167
168 /* Cast the value to the reference's target type, and then
169 convert it back to a reference. This will issue an error
170 if the value was not previously in memory - in some cases
171 we should clearly be allowing this, but how? */
172 new_value = value_cast (TYPE_TARGET_TYPE (type), arg);
a65cfae5 173 new_value = value_ref (new_value, TYPE_CODE (type));
fb933624
DJ
174 return new_value;
175 }
04714b91
AC
176 case TYPE_CODE_INT:
177 case TYPE_CODE_CHAR:
178 case TYPE_CODE_BOOL:
179 case TYPE_CODE_ENUM:
180 /* If we don't have a prototype, coerce to integer type if necessary. */
181 if (!is_prototyped)
182 {
7788af6d
UW
183 if (TYPE_LENGTH (type) < TYPE_LENGTH (builtin->builtin_int))
184 type = builtin->builtin_int;
04714b91
AC
185 }
186 /* Currently all target ABIs require at least the width of an integer
187 type for an argument. We may have to conditionalize the following
188 type coercion for future targets. */
7788af6d
UW
189 if (TYPE_LENGTH (type) < TYPE_LENGTH (builtin->builtin_int))
190 type = builtin->builtin_int;
04714b91
AC
191 break;
192 case TYPE_CODE_FLT:
193 if (!is_prototyped && coerce_float_to_double_p)
194 {
7788af6d
UW
195 if (TYPE_LENGTH (type) < TYPE_LENGTH (builtin->builtin_double))
196 type = builtin->builtin_double;
197 else if (TYPE_LENGTH (type) > TYPE_LENGTH (builtin->builtin_double))
198 type = builtin->builtin_long_double;
04714b91
AC
199 }
200 break;
201 case TYPE_CODE_FUNC:
202 type = lookup_pointer_type (type);
203 break;
204 case TYPE_CODE_ARRAY:
205 /* Arrays are coerced to pointers to their first element, unless
206 they are vectors, in which case we want to leave them alone,
207 because they are passed by value. */
208 if (current_language->c_style_arrays)
209 if (!TYPE_VECTOR (type))
210 type = lookup_pointer_type (TYPE_TARGET_TYPE (type));
211 break;
212 case TYPE_CODE_UNDEF:
213 case TYPE_CODE_PTR:
214 case TYPE_CODE_STRUCT:
215 case TYPE_CODE_UNION:
216 case TYPE_CODE_VOID:
217 case TYPE_CODE_SET:
218 case TYPE_CODE_RANGE:
219 case TYPE_CODE_STRING:
04714b91 220 case TYPE_CODE_ERROR:
0d5de010
DJ
221 case TYPE_CODE_MEMBERPTR:
222 case TYPE_CODE_METHODPTR:
04714b91
AC
223 case TYPE_CODE_METHOD:
224 case TYPE_CODE_COMPLEX:
225 default:
226 break;
227 }
228
229 return value_cast (type, arg);
230}
231
8388016d 232/* See infcall.h. */
04714b91 233
a9fa03de 234CORE_ADDR
8388016d
PA
235find_function_addr (struct value *function,
236 struct type **retval_type,
237 struct type **function_type)
04714b91 238{
df407dfe 239 struct type *ftype = check_typedef (value_type (function));
50810684 240 struct gdbarch *gdbarch = get_type_arch (ftype);
7788af6d 241 struct type *value_type = NULL;
09b58708
JK
242 /* Initialize it just to avoid a GCC false warning. */
243 CORE_ADDR funaddr = 0;
04714b91
AC
244
245 /* If it's a member function, just look at the function
246 part of it. */
247
248 /* Determine address to call. */
300f8e10
JK
249 if (TYPE_CODE (ftype) == TYPE_CODE_FUNC
250 || TYPE_CODE (ftype) == TYPE_CODE_METHOD)
251 funaddr = value_address (function);
252 else if (TYPE_CODE (ftype) == TYPE_CODE_PTR)
04714b91
AC
253 {
254 funaddr = value_as_address (function);
255 ftype = check_typedef (TYPE_TARGET_TYPE (ftype));
256 if (TYPE_CODE (ftype) == TYPE_CODE_FUNC
257 || TYPE_CODE (ftype) == TYPE_CODE_METHOD)
300f8e10 258 funaddr = gdbarch_convert_from_func_ptr_addr (gdbarch, funaddr,
8b88a78e 259 current_top_target ());
04714b91 260 }
300f8e10
JK
261 if (TYPE_CODE (ftype) == TYPE_CODE_FUNC
262 || TYPE_CODE (ftype) == TYPE_CODE_METHOD)
07be84bf 263 {
07be84bf
JK
264 if (TYPE_GNU_IFUNC (ftype))
265 {
8388016d 266 CORE_ADDR resolver_addr = funaddr;
07be84bf 267
8388016d
PA
268 /* Resolve the ifunc. Note this may call the resolver
269 function in the inferior. */
270 funaddr = gnu_ifunc_resolve_addr (gdbarch, resolver_addr);
271
272 /* Skip querying the function symbol if no RETVAL_TYPE or
273 FUNCTION_TYPE have been asked for. */
274 if (retval_type != NULL || function_type != NULL)
275 {
276 type *target_ftype = find_function_type (funaddr);
277 /* If we don't have debug info for the target function,
278 see if we can instead extract the target function's
279 type from the type that the resolver returns. */
280 if (target_ftype == NULL)
281 target_ftype = find_gnu_ifunc_target_type (resolver_addr);
282 if (target_ftype != NULL)
283 {
284 value_type = TYPE_TARGET_TYPE (check_typedef (target_ftype));
285 ftype = target_ftype;
286 }
287 }
07be84bf 288 }
8388016d
PA
289 else
290 value_type = TYPE_TARGET_TYPE (ftype);
07be84bf 291 }
300f8e10 292 else if (TYPE_CODE (ftype) == TYPE_CODE_INT)
04714b91
AC
293 {
294 /* Handle the case of functions lacking debugging info.
1777feb0 295 Their values are characters since their addresses are char. */
04714b91
AC
296 if (TYPE_LENGTH (ftype) == 1)
297 funaddr = value_as_address (value_addr (function));
298 else
2bbe3cc1
DJ
299 {
300 /* Handle function descriptors lacking debug info. */
301 int found_descriptor = 0;
abbb1732 302
87bc73ea 303 funaddr = 0; /* pacify "gcc -Werror" */
2bbe3cc1
DJ
304 if (VALUE_LVAL (function) == lval_memory)
305 {
306 CORE_ADDR nfunaddr;
abbb1732 307
2bbe3cc1
DJ
308 funaddr = value_as_address (value_addr (function));
309 nfunaddr = funaddr;
8b88a78e
PA
310 funaddr
311 = gdbarch_convert_from_func_ptr_addr (gdbarch, funaddr,
312 current_top_target ());
2bbe3cc1
DJ
313 if (funaddr != nfunaddr)
314 found_descriptor = 1;
315 }
316 if (!found_descriptor)
317 /* Handle integer used as address of a function. */
318 funaddr = (CORE_ADDR) value_as_long (function);
319 }
04714b91
AC
320 }
321 else
8a3fe4f8 322 error (_("Invalid data type for function to be called."));
04714b91 323
7d9b040b
RC
324 if (retval_type != NULL)
325 *retval_type = value_type;
8388016d
PA
326 if (function_type != NULL)
327 *function_type = ftype;
50810684 328 return funaddr + gdbarch_deprecated_function_start_offset (gdbarch);
04714b91
AC
329}
330
d3712828
AC
331/* For CALL_DUMMY_ON_STACK, push a breakpoint sequence that the called
332 function returns to. */
7043d8dc
AC
333
334static CORE_ADDR
335push_dummy_code (struct gdbarch *gdbarch,
82585c72 336 CORE_ADDR sp, CORE_ADDR funaddr,
e71585ff 337 gdb::array_view<value *> args,
7043d8dc 338 struct type *value_type,
e4fd649a
UW
339 CORE_ADDR *real_pc, CORE_ADDR *bp_addr,
340 struct regcache *regcache)
7043d8dc 341{
50a834af
MK
342 gdb_assert (gdbarch_push_dummy_code_p (gdbarch));
343
344 return gdbarch_push_dummy_code (gdbarch, sp, funaddr,
e71585ff
PA
345 args.data (), args.size (),
346 value_type, real_pc, bp_addr,
50a834af 347 regcache);
7043d8dc
AC
348}
349
7022349d
PA
350/* See infcall.h. */
351
352void
353error_call_unknown_return_type (const char *func_name)
354{
355 if (func_name != NULL)
356 error (_("'%s' has unknown return type; "
357 "cast the call to its declared return type"),
358 func_name);
359 else
360 error (_("function has unknown return type; "
361 "cast the call to its declared return type"));
362}
363
b89667eb
DE
364/* Fetch the name of the function at FUNADDR.
365 This is used in printing an error message for call_function_by_hand.
366 BUF is used to print FUNADDR in hex if the function name cannot be
367 determined. It must be large enough to hold formatted result of
368 RAW_FUNCTION_ADDRESS_FORMAT. */
369
370static const char *
371get_function_name (CORE_ADDR funaddr, char *buf, int buf_size)
372{
373 {
374 struct symbol *symbol = find_pc_function (funaddr);
abbb1732 375
b89667eb
DE
376 if (symbol)
377 return SYMBOL_PRINT_NAME (symbol);
378 }
379
380 {
381 /* Try the minimal symbols. */
7cbd4a93 382 struct bound_minimal_symbol msymbol = lookup_minimal_symbol_by_pc (funaddr);
abbb1732 383
7cbd4a93 384 if (msymbol.minsym)
efd66ac6 385 return MSYMBOL_PRINT_NAME (msymbol.minsym);
b89667eb
DE
386 }
387
388 {
528e1572
SM
389 std::string tmp = string_printf (_(RAW_FUNCTION_ADDRESS_FORMAT),
390 hex_string (funaddr));
abbb1732 391
528e1572
SM
392 gdb_assert (tmp.length () + 1 <= buf_size);
393 return strcpy (buf, tmp.c_str ());
b89667eb
DE
394 }
395}
396
388a7084
PA
397/* All the meta data necessary to extract the call's return value. */
398
399struct call_return_meta_info
400{
401 /* The caller frame's architecture. */
402 struct gdbarch *gdbarch;
403
404 /* The called function. */
405 struct value *function;
406
407 /* The return value's type. */
408 struct type *value_type;
409
410 /* Are we returning a value using a structure return or a normal
411 value return? */
412 int struct_return_p;
413
414 /* If using a structure return, this is the structure's address. */
415 CORE_ADDR struct_addr;
388a7084
PA
416};
417
418/* Extract the called function's return value. */
419
420static struct value *
421get_call_return_value (struct call_return_meta_info *ri)
422{
423 struct value *retval = NULL;
00431a78
PA
424 thread_info *thr = inferior_thread ();
425 bool stack_temporaries = thread_stack_temporaries_enabled_p (thr);
388a7084
PA
426
427 if (TYPE_CODE (ri->value_type) == TYPE_CODE_VOID)
428 retval = allocate_value (ri->value_type);
429 else if (ri->struct_return_p)
430 {
431 if (stack_temporaries)
432 {
433 retval = value_from_contents_and_address (ri->value_type, NULL,
434 ri->struct_addr);
00431a78 435 push_thread_stack_temporary (thr, retval);
388a7084
PA
436 }
437 else
438 {
439 retval = allocate_value (ri->value_type);
440 read_value_memory (retval, 0, 1, ri->struct_addr,
441 value_contents_raw (retval),
442 TYPE_LENGTH (ri->value_type));
443 }
444 }
445 else
446 {
447 retval = allocate_value (ri->value_type);
448 gdbarch_return_value (ri->gdbarch, ri->function, ri->value_type,
449 get_current_regcache (),
450 value_contents_raw (retval), NULL);
451 if (stack_temporaries && class_or_union_p (ri->value_type))
452 {
453 /* Values of class type returned in registers are copied onto
454 the stack and their lval_type set to lval_memory. This is
455 required because further evaluation of the expression
456 could potentially invoke methods on the return value
457 requiring GDB to evaluate the "this" pointer. To evaluate
458 the this pointer, GDB needs the memory address of the
459 value. */
460 value_force_lval (retval, ri->struct_addr);
00431a78 461 push_thread_stack_temporary (thr, retval);
388a7084
PA
462 }
463 }
464
465 gdb_assert (retval != NULL);
466 return retval;
467}
468
469/* Data for the FSM that manages an infcall. It's main job is to
470 record the called function's return value. */
471
472struct call_thread_fsm
473{
474 /* The base class. */
475 struct thread_fsm thread_fsm;
476
477 /* All the info necessary to be able to extract the return
478 value. */
479 struct call_return_meta_info return_meta_info;
480
481 /* The called function's return value. This is extracted from the
482 target before the dummy frame is popped. */
483 struct value *return_value;
3b12939d
PA
484
485 /* The top level that started the infcall (and is synchronously
486 waiting for it to end). */
487 struct ui *waiting_ui;
388a7084
PA
488};
489
8980e177
PA
490static int call_thread_fsm_should_stop (struct thread_fsm *self,
491 struct thread_info *thread);
388a7084
PA
492static int call_thread_fsm_should_notify_stop (struct thread_fsm *self);
493
494/* call_thread_fsm's vtable. */
495
496static struct thread_fsm_ops call_thread_fsm_ops =
497{
498 NULL, /*dtor */
499 NULL, /* clean_up */
500 call_thread_fsm_should_stop,
501 NULL, /* return_value */
502 NULL, /* async_reply_reason*/
503 call_thread_fsm_should_notify_stop,
504};
505
506/* Allocate a new call_thread_fsm object. */
507
508static struct call_thread_fsm *
8980e177 509new_call_thread_fsm (struct ui *waiting_ui, struct interp *cmd_interp,
3b12939d 510 struct gdbarch *gdbarch, struct value *function,
388a7084
PA
511 struct type *value_type,
512 int struct_return_p, CORE_ADDR struct_addr)
513{
514 struct call_thread_fsm *sm;
515
516 sm = XCNEW (struct call_thread_fsm);
8980e177 517 thread_fsm_ctor (&sm->thread_fsm, &call_thread_fsm_ops, cmd_interp);
388a7084
PA
518
519 sm->return_meta_info.gdbarch = gdbarch;
520 sm->return_meta_info.function = function;
521 sm->return_meta_info.value_type = value_type;
522 sm->return_meta_info.struct_return_p = struct_return_p;
523 sm->return_meta_info.struct_addr = struct_addr;
524
3b12939d
PA
525 sm->waiting_ui = waiting_ui;
526
388a7084
PA
527 return sm;
528}
529
530/* Implementation of should_stop method for infcalls. */
531
532static int
8980e177
PA
533call_thread_fsm_should_stop (struct thread_fsm *self,
534 struct thread_info *thread)
388a7084
PA
535{
536 struct call_thread_fsm *f = (struct call_thread_fsm *) self;
537
538 if (stop_stack_dummy == STOP_STACK_DUMMY)
539 {
540 /* Done. */
541 thread_fsm_set_finished (self);
542
543 /* Stash the return value before the dummy frame is popped and
544 registers are restored to what they were before the
545 call.. */
546 f->return_value = get_call_return_value (&f->return_meta_info);
547
548 /* Break out of wait_sync_command_done. */
4b6749b9 549 scoped_restore save_ui = make_scoped_restore (&current_ui, f->waiting_ui);
223ffa71 550 target_terminal::ours ();
3b12939d 551 f->waiting_ui->prompt_state = PROMPT_NEEDED;
388a7084
PA
552 }
553
554 return 1;
555}
556
557/* Implementation of should_notify_stop method for infcalls. */
558
559static int
560call_thread_fsm_should_notify_stop (struct thread_fsm *self)
561{
562 if (thread_fsm_finished_p (self))
563 {
564 /* Infcall succeeded. Be silent and proceed with evaluating the
565 expression. */
566 return 0;
567 }
568
569 /* Something wrong happened. E.g., an unexpected breakpoint
570 triggered, or a signal was intercepted. Notify the stop. */
571 return 1;
572}
573
b89667eb
DE
574/* Subroutine of call_function_by_hand to simplify it.
575 Start up the inferior and wait for it to stop.
576 Return the exception if there's an error, or an exception with
577 reason >= 0 if there's no error.
578
579 This is done inside a TRY_CATCH so the caller needn't worry about
580 thrown errors. The caller should rethrow if there's an error. */
581
582static struct gdb_exception
388a7084
PA
583run_inferior_call (struct call_thread_fsm *sm,
584 struct thread_info *call_thread, CORE_ADDR real_pc)
b89667eb 585{
492d29ea 586 struct gdb_exception caught_error = exception_none;
16c381f0 587 int saved_in_infcall = call_thread->control.in_infcall;
b89667eb 588 ptid_t call_thread_ptid = call_thread->ptid;
3b12939d 589 enum prompt_state saved_prompt_state = current_ui->prompt_state;
28bf096c 590 int was_running = call_thread->state == THREAD_RUNNING;
cb814510 591 int saved_ui_async = current_ui->async;
c933f875
PA
592
593 /* Infcalls run synchronously, in the foreground. */
3b12939d 594 current_ui->prompt_state = PROMPT_BLOCKED;
0b333c5e
PA
595 /* So that we don't print the prompt prematurely in
596 fetch_inferior_event. */
cb814510 597 current_ui->async = 0;
b89667eb 598
6d61dee5
PA
599 delete_file_handler (current_ui->input_fd);
600
16c381f0 601 call_thread->control.in_infcall = 1;
c5a4d20b 602
70509625 603 clear_proceed_status (0);
b89667eb 604
388a7084
PA
605 /* Associate the FSM with the thread after clear_proceed_status
606 (otherwise it'd clear this FSM), and before anything throws, so
607 we don't leak it (and any resources it manages). */
608 call_thread->thread_fsm = &sm->thread_fsm;
609
b89667eb 610 disable_watchpoints_before_interactive_call_start ();
16c381f0 611
46c03469 612 /* We want to print return value, please... */
16c381f0 613 call_thread->control.proceed_to_finish = 1;
b89667eb 614
492d29ea 615 TRY
3dd5b83d 616 {
64ce06e4 617 proceed (real_pc, GDB_SIGNAL_0);
3dd5b83d
PA
618
619 /* Inferior function calls are always synchronous, even if the
0b333c5e
PA
620 target supports asynchronous execution. */
621 wait_sync_command_done ();
3dd5b83d 622 }
492d29ea
PA
623 CATCH (e, RETURN_MASK_ALL)
624 {
625 caught_error = e;
626 }
627 END_CATCH
b89667eb 628
3b12939d
PA
629 /* If GDB has the prompt blocked before, then ensure that it remains
630 so. normal_stop calls async_enable_stdin, so reset the prompt
631 state again here. In other cases, stdin will be re-enabled by
0b333c5e 632 inferior_event_handler, when an exception is thrown. */
3b12939d 633 current_ui->prompt_state = saved_prompt_state;
6d61dee5
PA
634 if (current_ui->prompt_state == PROMPT_BLOCKED)
635 delete_file_handler (current_ui->input_fd);
636 else
637 ui_register_input_event_handler (current_ui);
cb814510 638 current_ui->async = saved_ui_async;
0b333c5e 639
28bf096c
PA
640 /* If the infcall does NOT succeed, normal_stop will have already
641 finished the thread states. However, on success, normal_stop
642 defers here, so that we can set back the thread states to what
643 they were before the call. Note that we must also finish the
644 state of new threads that might have spawned while the call was
645 running. The main cases to handle are:
646
647 - "(gdb) print foo ()", or any other command that evaluates an
648 expression at the prompt. (The thread was marked stopped before.)
649
650 - "(gdb) break foo if return_false()" or similar cases where we
651 do an infcall while handling an event (while the thread is still
652 marked running). In this example, whether the condition
653 evaluates true and thus we'll present a user-visible stop is
654 decided elsewhere. */
655 if (!was_running
00431a78 656 && call_thread_ptid == inferior_ptid
28bf096c
PA
657 && stop_stack_dummy == STOP_STACK_DUMMY)
658 finish_thread_state (user_visible_resume_ptid (0));
659
b89667eb
DE
660 enable_watchpoints_after_interactive_call_stop ();
661
662 /* Call breakpoint_auto_delete on the current contents of the bpstat
663 of inferior call thread.
664 If all error()s out of proceed ended up calling normal_stop
665 (and perhaps they should; it already does in the special case
666 of error out of resume()), then we wouldn't need this. */
492d29ea 667 if (caught_error.reason < 0)
b89667eb 668 {
00431a78 669 if (call_thread->state != THREAD_EXITED)
16c381f0 670 breakpoint_auto_delete (call_thread->control.stop_bpstat);
b89667eb
DE
671 }
672
00431a78 673 call_thread->control.in_infcall = saved_in_infcall;
c5a4d20b 674
492d29ea 675 return caught_error;
b89667eb
DE
676}
677
aa7d318d
TT
678/* A cleanup function that calls delete_std_terminate_breakpoint. */
679static void
680cleanup_delete_std_terminate_breakpoint (void *ignore)
681{
682 delete_std_terminate_breakpoint ();
683}
684
ed12ef62
JK
685/* See infcall.h. */
686
687struct value *
7022349d
PA
688call_function_by_hand (struct value *function,
689 type *default_return_type,
e71585ff 690 gdb::array_view<value *> args)
ed12ef62 691{
7022349d 692 return call_function_by_hand_dummy (function, default_return_type,
e71585ff 693 args, NULL, NULL);
ed12ef62
JK
694}
695
04714b91
AC
696/* All this stuff with a dummy frame may seem unnecessarily complicated
697 (why not just save registers in GDB?). The purpose of pushing a dummy
698 frame which looks just like a real frame is so that if you call a
699 function and then hit a breakpoint (get a signal, etc), "backtrace"
700 will look right. Whether the backtrace needs to actually show the
701 stack at the time the inferior function was called is debatable, but
702 it certainly needs to not display garbage. So if you are contemplating
703 making dummy frames be different from normal frames, consider that. */
704
705/* Perform a function call in the inferior.
706 ARGS is a vector of values of arguments (NARGS of them).
707 FUNCTION is a value, the function to be called.
708 Returns a value representing what the function returned.
709 May fail to return, if a breakpoint or signal is hit
710 during the execution of the function.
711
1777feb0 712 ARGS is modified to contain coerced values. */
04714b91
AC
713
714struct value *
ed12ef62 715call_function_by_hand_dummy (struct value *function,
7022349d 716 type *default_return_type,
e71585ff 717 gdb::array_view<value *> args,
558e5469 718 dummy_frame_dtor_ftype *dummy_dtor,
ed12ef62 719 void *dummy_dtor_data)
04714b91 720{
52f0bd74 721 CORE_ADDR sp;
8388016d 722 struct type *target_values_type;
c5ac5cbb 723 function_call_return_method return_method = return_method_normal;
04714b91 724 CORE_ADDR struct_addr = 0;
04714b91 725 CORE_ADDR real_pc;
d585e13a 726 CORE_ADDR bp_addr;
96860204 727 struct frame_id dummy_id;
0b9dfe2b
MD
728 struct frame_info *frame;
729 struct gdbarch *gdbarch;
aa7d318d 730 struct cleanup *terminate_bp_cleanup;
b89667eb
DE
731 ptid_t call_thread_ptid;
732 struct gdb_exception e;
b89667eb 733 char name_buf[RAW_FUNCTION_ADDRESS_SIZE];
04714b91 734
04714b91
AC
735 if (!target_has_execution)
736 noprocess ();
737
573cda03
SS
738 if (get_traceframe_number () >= 0)
739 error (_("May not call functions while looking at trace frames."));
740
949dc678 741 if (execution_direction == EXEC_REVERSE)
c2949be0 742 error (_("Cannot call functions in reverse mode."));
949dc678 743
00431a78
PA
744 /* We're going to run the target, and inspect the thread's state
745 afterwards. Hold a strong reference so that the pointer remains
746 valid even if the thread exits. */
747 thread_info_ref call_thread
748 = thread_info_ref::new_reference (inferior_thread ());
749
750 bool stack_temporaries = thread_stack_temporaries_enabled_p (call_thread.get ());
751
0b9dfe2b
MD
752 frame = get_current_frame ();
753 gdbarch = get_frame_arch (frame);
754
755 if (!gdbarch_push_dummy_call_p (gdbarch))
2e74121d 756 error (_("This target does not support function calls."));
a86c5fc9 757
c7c4d3fa 758 /* A holder for the inferior status.
b89667eb 759 This is only needed while we're preparing the inferior function call. */
c7c4d3fa 760 infcall_control_state_up inf_status (save_infcall_control_state ());
04714b91 761
b89667eb
DE
762 /* Save the caller's registers and other state associated with the
763 inferior itself so that they can be restored once the
96860204 764 callee returns. To allow nested calls the registers are (further
c7c4d3fa
TT
765 down) pushed onto a dummy frame stack. This unique pointer
766 is released once the regcache has been pushed). */
767 infcall_suspend_state_up caller_state (save_infcall_suspend_state ());
04714b91 768
04714b91 769 /* Ensure that the initial SP is correctly aligned. */
ebc7896c 770 {
0b9dfe2b 771 CORE_ADDR old_sp = get_frame_sp (frame);
abbb1732 772
0b9dfe2b 773 if (gdbarch_frame_align_p (gdbarch))
ebc7896c 774 {
0b9dfe2b 775 sp = gdbarch_frame_align (gdbarch, old_sp);
8b148df9
AC
776 /* NOTE: cagney/2003-08-13: Skip the "red zone". For some
777 ABIs, a function can use memory beyond the inner most stack
778 address. AMD64 called that region the "red zone". Skip at
779 least the "red zone" size before allocating any space on
780 the stack. */
0b9dfe2b
MD
781 if (gdbarch_inner_than (gdbarch, 1, 2))
782 sp -= gdbarch_frame_red_zone_size (gdbarch);
8b148df9 783 else
0b9dfe2b 784 sp += gdbarch_frame_red_zone_size (gdbarch);
8b148df9 785 /* Still aligned? */
0b9dfe2b 786 gdb_assert (sp == gdbarch_frame_align (gdbarch, sp));
ebc7896c
AC
787 /* NOTE: cagney/2002-09-18:
788
789 On a RISC architecture, a void parameterless generic dummy
790 frame (i.e., no parameters, no result) typically does not
791 need to push anything the stack and hence can leave SP and
c48a845b 792 FP. Similarly, a frameless (possibly leaf) function does
ebc7896c
AC
793 not push anything on the stack and, hence, that too can
794 leave FP and SP unchanged. As a consequence, a sequence of
795 void parameterless generic dummy frame calls to frameless
796 functions will create a sequence of effectively identical
797 frames (SP, FP and TOS and PC the same). This, not
798 suprisingly, results in what appears to be a stack in an
799 infinite loop --- when GDB tries to find a generic dummy
800 frame on the internal dummy frame stack, it will always
801 find the first one.
802
803 To avoid this problem, the code below always grows the
804 stack. That way, two dummy frames can never be identical.
805 It does burn a few bytes of stack but that is a small price
806 to pay :-). */
ebc7896c
AC
807 if (sp == old_sp)
808 {
0b9dfe2b 809 if (gdbarch_inner_than (gdbarch, 1, 2))
ebc7896c 810 /* Stack grows down. */
0b9dfe2b 811 sp = gdbarch_frame_align (gdbarch, old_sp - 1);
ebc7896c
AC
812 else
813 /* Stack grows up. */
0b9dfe2b 814 sp = gdbarch_frame_align (gdbarch, old_sp + 1);
ebc7896c 815 }
0e095b7e
JK
816 /* SP may have underflown address zero here from OLD_SP. Memory access
817 functions will probably fail in such case but that is a target's
818 problem. */
ebc7896c
AC
819 }
820 else
a59fe496
AC
821 /* FIXME: cagney/2002-09-18: Hey, you loose!
822
8b148df9
AC
823 Who knows how badly aligned the SP is!
824
825 If the generic dummy frame ends up empty (because nothing is
826 pushed) GDB won't be able to correctly perform back traces.
827 If a target is having trouble with backtraces, first thing to
1777feb0 828 do is add FRAME_ALIGN() to the architecture vector. If that
669fac23 829 fails, try dummy_id().
8b148df9
AC
830
831 If the ABI specifies a "Red Zone" (see the doco) the code
832 below will quietly trash it. */
ebc7896c 833 sp = old_sp;
6c659fc2
SC
834
835 /* Skip over the stack temporaries that might have been generated during
836 the evaluation of an expression. */
837 if (stack_temporaries)
838 {
839 struct value *lastval;
840
00431a78 841 lastval = get_last_thread_stack_temporary (call_thread.get ());
6c659fc2
SC
842 if (lastval != NULL)
843 {
844 CORE_ADDR lastval_addr = value_address (lastval);
845
846 if (gdbarch_inner_than (gdbarch, 1, 2))
847 {
848 gdb_assert (sp >= lastval_addr);
849 sp = lastval_addr;
850 }
851 else
852 {
853 gdb_assert (sp <= lastval_addr);
854 sp = lastval_addr + TYPE_LENGTH (value_type (lastval));
855 }
856
857 if (gdbarch_frame_align_p (gdbarch))
858 sp = gdbarch_frame_align (gdbarch, sp);
859 }
860 }
ebc7896c 861 }
04714b91 862
8388016d
PA
863 type *ftype;
864 type *values_type;
865 CORE_ADDR funaddr = find_function_addr (function, &values_type, &ftype);
866
7022349d
PA
867 if (values_type == NULL)
868 values_type = default_return_type;
869 if (values_type == NULL)
870 {
871 const char *name = get_function_name (funaddr,
872 name_buf, sizeof (name_buf));
873 error (_("'%s' has unknown return type; "
874 "cast the call to its declared return type"),
875 name);
876 }
7788af6d 877
f168693b 878 values_type = check_typedef (values_type);
04714b91 879
c5ac5cbb 880 /* Are we returning a value using a structure return? */
41f1b697 881
18648a37 882 if (gdbarch_return_in_first_hidden_param_p (gdbarch, values_type))
41f1b697 883 {
c5ac5cbb 884 return_method = return_method_hidden_param;
04714b91 885
41f1b697
DJ
886 /* Tell the target specific argument pushing routine not to
887 expect a value. */
48319d1f 888 target_values_type = builtin_type (gdbarch)->builtin_void;
41f1b697
DJ
889 }
890 else
891 {
c5ac5cbb
AH
892 if (using_struct_return (gdbarch, function, values_type))
893 return_method = return_method_struct;
41f1b697
DJ
894 target_values_type = values_type;
895 }
04714b91 896
76727919 897 gdb::observers::inferior_call_pre.notify (inferior_ptid, funaddr);
162078c8 898
7043d8dc
AC
899 /* Determine the location of the breakpoint (and possibly other
900 stuff) that the called function will return to. The SPARC, for a
901 function returning a structure or union, needs to make space for
902 not just the breakpoint but also an extra word containing the
903 size (?) of the structure being passed. */
904
0b9dfe2b 905 switch (gdbarch_call_dummy_location (gdbarch))
04714b91
AC
906 {
907 case ON_STACK:
a14dd77e
JK
908 {
909 const gdb_byte *bp_bytes;
910 CORE_ADDR bp_addr_as_address;
911 int bp_size;
912
913 /* Be careful BP_ADDR is in inferior PC encoding while
914 BP_ADDR_AS_ADDRESS is a plain memory address. */
915
e71585ff 916 sp = push_dummy_code (gdbarch, sp, funaddr, args,
a14dd77e
JK
917 target_values_type, &real_pc, &bp_addr,
918 get_current_regcache ());
919
920 /* Write a legitimate instruction at the point where the infcall
921 breakpoint is going to be inserted. While this instruction
922 is never going to be executed, a user investigating the
923 memory from GDB would see this instruction instead of random
924 uninitialized bytes. We chose the breakpoint instruction
925 as it may look as the most logical one to the user and also
926 valgrind 3.7.0 needs it for proper vgdb inferior calls.
927
928 If software breakpoints are unsupported for this target we
929 leave the user visible memory content uninitialized. */
930
931 bp_addr_as_address = bp_addr;
932 bp_bytes = gdbarch_breakpoint_from_pc (gdbarch, &bp_addr_as_address,
933 &bp_size);
934 if (bp_bytes != NULL)
935 write_memory (bp_addr_as_address, bp_bytes, bp_size);
936 }
7043d8dc 937 break;
5931a2fa
JK
938 case AT_ENTRY_POINT:
939 {
940 CORE_ADDR dummy_addr;
941
942 real_pc = funaddr;
943 dummy_addr = entry_point_address ();
a14dd77e 944
5931a2fa 945 /* A call dummy always consists of just a single breakpoint, so
a14dd77e
JK
946 its address is the same as the address of the dummy.
947
948 The actual breakpoint is inserted separatly so there is no need to
949 write that out. */
5931a2fa
JK
950 bp_addr = dummy_addr;
951 break;
952 }
04714b91 953 default:
e2e0b3e5 954 internal_error (__FILE__, __LINE__, _("bad switch"));
04714b91
AC
955 }
956
e71585ff 957 if (args.size () < TYPE_NFIELDS (ftype))
2e74121d 958 error (_("Too few arguments in function call."));
04714b91 959
e71585ff 960 for (int i = args.size () - 1; i >= 0; i--)
b4b08fa2
TT
961 {
962 int prototyped;
963 struct type *param_type;
e71585ff 964
b4b08fa2
TT
965 /* FIXME drow/2002-05-31: Should just always mark methods as
966 prototyped. Can we respect TYPE_VARARGS? Probably not. */
967 if (TYPE_CODE (ftype) == TYPE_CODE_METHOD)
968 prototyped = 1;
969 if (TYPE_TARGET_TYPE (ftype) == NULL && TYPE_NFIELDS (ftype) == 0
970 && default_return_type != NULL)
971 {
972 /* Calling a no-debug function with the return type
973 explicitly cast. Assume the function is prototyped,
974 with a prototype matching the types of the arguments.
975 E.g., with:
976 float mult (float v1, float v2) { return v1 * v2; }
977 This:
978 (gdb) p (float) mult (2.0f, 3.0f)
979 Is a simpler alternative to:
980 (gdb) p ((float (*) (float, float)) mult) (2.0f, 3.0f)
981 */
ebc7896c 982 prototyped = 1;
b4b08fa2
TT
983 }
984 else if (i < TYPE_NFIELDS (ftype))
985 prototyped = TYPE_PROTOTYPED (ftype);
986 else
987 prototyped = 0;
ebc7896c 988
b4b08fa2
TT
989 if (i < TYPE_NFIELDS (ftype))
990 param_type = TYPE_FIELD_TYPE (ftype, i);
991 else
992 param_type = NULL;
41f1b697 993
b4b08fa2
TT
994 args[i] = value_arg_coerce (gdbarch, args[i],
995 param_type, prototyped, &sp);
ebc7896c 996
b4b08fa2
TT
997 if (param_type != NULL && language_pass_by_reference (param_type))
998 args[i] = value_addr (args[i]);
999 }
04714b91 1000
04714b91
AC
1001 /* Reserve space for the return structure to be written on the
1002 stack, if necessary. Make certain that the value is correctly
6c659fc2
SC
1003 aligned.
1004
1005 While evaluating expressions, we reserve space on the stack for
1006 return values of class type even if the language ABI and the target
1007 ABI do not require that the return value be passed as a hidden first
1008 argument. This is because we want to store the return value as an
1009 on-stack temporary while the expression is being evaluated. This
1010 enables us to have chained function calls in expressions.
04714b91 1011
6c659fc2
SC
1012 Keeping the return values as on-stack temporaries while the expression
1013 is being evaluated is OK because the thread is stopped until the
1014 expression is completely evaluated. */
1015
c5ac5cbb 1016 if (return_method != return_method_normal
6c659fc2 1017 || (stack_temporaries && class_or_union_p (values_type)))
04714b91 1018 {
0b9dfe2b 1019 if (gdbarch_inner_than (gdbarch, 1, 2))
04714b91
AC
1020 {
1021 /* Stack grows downward. Align STRUCT_ADDR and SP after
1022 making space for the return value. */
744a8059 1023 sp -= TYPE_LENGTH (values_type);
0b9dfe2b
MD
1024 if (gdbarch_frame_align_p (gdbarch))
1025 sp = gdbarch_frame_align (gdbarch, sp);
04714b91
AC
1026 struct_addr = sp;
1027 }
1028 else
1029 {
1030 /* Stack grows upward. Align the frame, allocate space, and
1777feb0 1031 then again, re-align the frame??? */
0b9dfe2b
MD
1032 if (gdbarch_frame_align_p (gdbarch))
1033 sp = gdbarch_frame_align (gdbarch, sp);
04714b91 1034 struct_addr = sp;
744a8059 1035 sp += TYPE_LENGTH (values_type);
0b9dfe2b
MD
1036 if (gdbarch_frame_align_p (gdbarch))
1037 sp = gdbarch_frame_align (gdbarch, sp);
04714b91
AC
1038 }
1039 }
1040
6ccb583f 1041 std::vector<struct value *> new_args;
c5ac5cbb 1042 if (return_method == return_method_hidden_param)
41f1b697 1043 {
41f1b697 1044 /* Add the new argument to the front of the argument list. */
e71585ff 1045 new_args.reserve (args.size ());
6ccb583f
TT
1046 new_args.push_back
1047 (value_from_pointer (lookup_pointer_type (values_type), struct_addr));
e71585ff
PA
1048 new_args.insert (new_args.end (), args.begin (), args.end ());
1049 args = new_args;
41f1b697 1050 }
41f1b697 1051
04714b91
AC
1052 /* Create the dummy stack frame. Pass in the call dummy address as,
1053 presumably, the ABI code knows where, in the call dummy, the
1054 return address should be pointed. */
0b9dfe2b 1055 sp = gdbarch_push_dummy_call (gdbarch, function, get_current_regcache (),
e71585ff
PA
1056 bp_addr, args.size (), args.data (),
1057 sp, return_method, struct_addr);
04714b91 1058
96860204
AC
1059 /* Set up a frame ID for the dummy frame so we can pass it to
1060 set_momentary_breakpoint. We need to give the breakpoint a frame
1061 ID so that the breakpoint code can correctly re-identify the
1062 dummy breakpoint. */
8241eaa6 1063 /* Sanity. The exact same SP value is returned by PUSH_DUMMY_CALL,
669fac23 1064 saved as the dummy-frame TOS, and used by dummy_id to form
8241eaa6 1065 the frame ID's stack address. */
96860204 1066 dummy_id = frame_id_build (sp, bp_addr);
04714b91 1067
74cfe982
AC
1068 /* Create a momentary breakpoint at the return address of the
1069 inferior. That way it breaks when it returns. */
04714b91 1070
74cfe982 1071 {
51abb421 1072 symtab_and_line sal;
6c95b8df 1073 sal.pspace = current_program_space;
74cfe982
AC
1074 sal.pc = bp_addr;
1075 sal.section = find_pc_overlay (sal.pc);
51abb421 1076
8241eaa6
AC
1077 /* Sanity. The exact same SP value is returned by
1078 PUSH_DUMMY_CALL, saved as the dummy-frame TOS, and used by
669fac23 1079 dummy_id to form the frame ID's stack address. */
454dafbd
TT
1080 breakpoint *bpt
1081 = set_momentary_breakpoint (gdbarch, sal,
1082 dummy_id, bp_call_dummy).release ();
c70a6932
JK
1083
1084 /* set_momentary_breakpoint invalidates FRAME. */
1085 frame = NULL;
1086
74cfe982 1087 bpt->disposition = disp_del;
e2e4d78b
JK
1088 gdb_assert (bpt->related_breakpoint == bpt);
1089
51abb421 1090 breakpoint *longjmp_b = set_longjmp_breakpoint_for_call_dummy ();
e2e4d78b
JK
1091 if (longjmp_b)
1092 {
1093 /* Link BPT into the chain of LONGJMP_B. */
1094 bpt->related_breakpoint = longjmp_b;
1095 while (longjmp_b->related_breakpoint != bpt->related_breakpoint)
1096 longjmp_b = longjmp_b->related_breakpoint;
1097 longjmp_b->related_breakpoint = bpt;
1098 }
74cfe982 1099 }
04714b91 1100
7cd1089b
PM
1101 /* Create a breakpoint in std::terminate.
1102 If a C++ exception is raised in the dummy-frame, and the
1103 exception handler is (normally, and expected to be) out-of-frame,
1104 the default C++ handler will (wrongly) be called in an inferior
1105 function call. This is wrong, as an exception can be normally
1106 and legally handled out-of-frame. The confines of the dummy frame
1107 prevent the unwinder from finding the correct handler (or any
1108 handler, unless it is in-frame). The default handler calls
1109 std::terminate. This will kill the inferior. Assert that
1110 terminate should never be called in an inferior function
1111 call. Place a momentary breakpoint in the std::terminate function
1112 and if triggered in the call, rewind. */
1113 if (unwind_on_terminating_exception_p)
aa7d318d 1114 set_std_terminate_breakpoint ();
7cd1089b 1115
96860204
AC
1116 /* Everything's ready, push all the info needed to restore the
1117 caller (and identify the dummy-frame) onto the dummy-frame
1118 stack. */
c7c4d3fa 1119 dummy_frame_push (caller_state.release (), &dummy_id, call_thread.get ());
ed12ef62 1120 if (dummy_dtor != NULL)
00431a78 1121 register_dummy_frame_dtor (dummy_id, call_thread.get (),
ed12ef62 1122 dummy_dtor, dummy_dtor_data);
b89667eb 1123
7cd1089b 1124 /* Register a clean-up for unwind_on_terminating_exception_breakpoint. */
aa7d318d
TT
1125 terminate_bp_cleanup = make_cleanup (cleanup_delete_std_terminate_breakpoint,
1126 NULL);
7cd1089b 1127
96860204
AC
1128 /* - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP -
1129 If you're looking to implement asynchronous dummy-frames, then
1130 just below is the place to chop this function in two.. */
1131
74cfe982 1132 {
388a7084
PA
1133 struct thread_fsm *saved_sm;
1134 struct call_thread_fsm *sm;
1135
1136 /* Save the current FSM. We'll override it. */
00431a78
PA
1137 saved_sm = call_thread->thread_fsm;
1138 call_thread->thread_fsm = NULL;
74cfe982 1139
b89667eb
DE
1140 /* Save this thread's ptid, we need it later but the thread
1141 may have exited. */
00431a78 1142 call_thread_ptid = call_thread->ptid;
74cfe982 1143
b89667eb 1144 /* Run the inferior until it stops. */
f5871ec0 1145
388a7084
PA
1146 /* Create the FSM used to manage the infcall. It tells infrun to
1147 not report the stop to the user, and captures the return value
1148 before the dummy frame is popped. run_inferior_call registers
1149 it with the thread ASAP. */
8980e177 1150 sm = new_call_thread_fsm (current_ui, command_interp (),
3b12939d 1151 gdbarch, function,
388a7084 1152 values_type,
c5ac5cbb 1153 return_method != return_method_normal,
388a7084
PA
1154 struct_addr);
1155
00431a78 1156 e = run_inferior_call (sm, call_thread.get (), real_pc);
388a7084 1157
76727919 1158 gdb::observers::inferior_call_post.notify (call_thread_ptid, funaddr);
388a7084 1159
00431a78 1160 if (call_thread->state != THREAD_EXITED)
388a7084
PA
1161 {
1162 /* The FSM should still be the same. */
00431a78 1163 gdb_assert (call_thread->thread_fsm == &sm->thread_fsm);
388a7084 1164
00431a78 1165 if (thread_fsm_finished_p (call_thread->thread_fsm))
388a7084
PA
1166 {
1167 struct value *retval;
1168
1169 /* The inferior call is successful. Pop the dummy frame,
1170 which runs its destructors and restores the inferior's
1171 suspend state, and restore the inferior control
1172 state. */
00431a78 1173 dummy_frame_pop (dummy_id, call_thread.get ());
c7c4d3fa 1174 restore_infcall_control_state (inf_status.release ());
388a7084
PA
1175
1176 /* Get the return value. */
1177 retval = sm->return_value;
1178
1179 /* Clean up / destroy the call FSM, and restore the
1180 original one. */
00431a78
PA
1181 thread_fsm_clean_up (call_thread->thread_fsm, call_thread.get ());
1182 thread_fsm_delete (call_thread->thread_fsm);
1183 call_thread->thread_fsm = saved_sm;
04714b91 1184
388a7084
PA
1185 maybe_remove_breakpoints ();
1186
1187 do_cleanups (terminate_bp_cleanup);
1188 gdb_assert (retval != NULL);
1189 return retval;
1190 }
1191
e3319240
PW
1192 /* Didn't complete. Clean up / destroy the call FSM, and restore the
1193 previous state machine, and handle the error. */
1194 thread_fsm_clean_up (call_thread->thread_fsm, call_thread.get ());
1195 thread_fsm_delete (call_thread->thread_fsm);
00431a78 1196 call_thread->thread_fsm = saved_sm;
388a7084
PA
1197 }
1198 }
162078c8 1199
b89667eb
DE
1200 /* Rethrow an error if we got one trying to run the inferior. */
1201
1202 if (e.reason < 0)
1203 {
1204 const char *name = get_function_name (funaddr,
1205 name_buf, sizeof (name_buf));
1206
c7c4d3fa 1207 discard_infcall_control_state (inf_status.release ());
b89667eb
DE
1208
1209 /* We could discard the dummy frame here if the program exited,
1210 but it will get garbage collected the next time the program is
1211 run anyway. */
1212
1213 switch (e.reason)
1214 {
1215 case RETURN_ERROR:
ac74f770
MS
1216 throw_error (e.error, _("%s\n\
1217An error occurred while in a function called from GDB.\n\
1218Evaluation of the expression containing the function\n\
1219(%s) will be abandoned.\n\
1220When the function is done executing, GDB will silently stop."),
b89667eb
DE
1221 e.message, name);
1222 case RETURN_QUIT:
1223 default:
1224 throw_exception (e);
1225 }
1226 }
1227
1228 /* If the program has exited, or we stopped at a different thread,
1229 exit and inform the user. */
1230
de04a248
DE
1231 if (! target_has_execution)
1232 {
b89667eb
DE
1233 const char *name = get_function_name (funaddr,
1234 name_buf, sizeof (name_buf));
1235
1236 /* If we try to restore the inferior status,
de04a248 1237 we'll crash as the inferior is no longer running. */
c7c4d3fa 1238 discard_infcall_control_state (inf_status.release ());
b89667eb
DE
1239
1240 /* We could discard the dummy frame here given that the program exited,
1241 but it will get garbage collected the next time the program is
1242 run anyway. */
1243
3e43a32a
MS
1244 error (_("The program being debugged exited while in a function "
1245 "called from GDB.\n"
1246 "Evaluation of the expression containing the function\n"
1247 "(%s) will be abandoned."),
b89667eb
DE
1248 name);
1249 }
1250
d7e15655 1251 if (call_thread_ptid != inferior_ptid)
b89667eb
DE
1252 {
1253 const char *name = get_function_name (funaddr,
1254 name_buf, sizeof (name_buf));
1255
1256 /* We've switched threads. This can happen if another thread gets a
1257 signal or breakpoint while our thread was running.
1258 There's no point in restoring the inferior status,
1259 we're in a different thread. */
c7c4d3fa 1260 discard_infcall_control_state (inf_status.release ());
b89667eb
DE
1261 /* Keep the dummy frame record, if the user switches back to the
1262 thread with the hand-call, we'll need it. */
1263 if (stopped_by_random_signal)
ac74f770
MS
1264 error (_("\
1265The program received a signal in another thread while\n\
1266making a function call from GDB.\n\
1267Evaluation of the expression containing the function\n\
1268(%s) will be abandoned.\n\
1269When the function is done executing, GDB will silently stop."),
b89667eb
DE
1270 name);
1271 else
ac74f770
MS
1272 error (_("\
1273The program stopped in another thread while making a function call from GDB.\n\
1274Evaluation of the expression containing the function\n\
1275(%s) will be abandoned.\n\
1276When the function is done executing, GDB will silently stop."),
b89667eb 1277 name);
de04a248
DE
1278 }
1279
52557533 1280 {
5fe75eec 1281 /* Make a copy as NAME may be in an objfile freed by dummy_frame_pop. */
395423c4
TT
1282 std::string name = get_function_name (funaddr, name_buf,
1283 sizeof (name_buf));
b89667eb 1284
52557533
AC
1285 if (stopped_by_random_signal)
1286 {
1287 /* We stopped inside the FUNCTION because of a random
1288 signal. Further execution of the FUNCTION is not
1777feb0 1289 allowed. */
04714b91 1290
52557533
AC
1291 if (unwind_on_signal_p)
1292 {
1777feb0 1293 /* The user wants the context restored. */
52557533
AC
1294
1295 /* We must get back to the frame we were before the
b89667eb 1296 dummy call. */
00431a78 1297 dummy_frame_pop (dummy_id, call_thread.get ());
b89667eb
DE
1298
1299 /* We also need to restore inferior status to that before the
1300 dummy call. */
c7c4d3fa 1301 restore_infcall_control_state (inf_status.release ());
04714b91 1302
52557533
AC
1303 /* FIXME: Insert a bunch of wrap_here; name can be very
1304 long if it's a C++ name with arguments and stuff. */
ac74f770
MS
1305 error (_("\
1306The program being debugged was signaled while in a function called from GDB.\n\
1307GDB has restored the context to what it was before the call.\n\
1308To change this behavior use \"set unwindonsignal off\".\n\
1309Evaluation of the expression containing the function\n\
1310(%s) will be abandoned."),
395423c4 1311 name.c_str ());
52557533
AC
1312 }
1313 else
1314 {
1315 /* The user wants to stay in the frame where we stopped
b89667eb
DE
1316 (default).
1317 Discard inferior status, we're not at the same point
1318 we started at. */
c7c4d3fa 1319 discard_infcall_control_state (inf_status.release ());
b89667eb 1320
52557533
AC
1321 /* FIXME: Insert a bunch of wrap_here; name can be very
1322 long if it's a C++ name with arguments and stuff. */
ac74f770
MS
1323 error (_("\
1324The program being debugged was signaled while in a function called from GDB.\n\
1325GDB remains in the frame where the signal was received.\n\
1326To change this behavior use \"set unwindonsignal on\".\n\
1327Evaluation of the expression containing the function\n\
1328(%s) will be abandoned.\n\
1329When the function is done executing, GDB will silently stop."),
395423c4 1330 name.c_str ());
52557533
AC
1331 }
1332 }
04714b91 1333
aa7d318d 1334 if (stop_stack_dummy == STOP_STD_TERMINATE)
52557533 1335 {
aa7d318d
TT
1336 /* We must get back to the frame we were before the dummy
1337 call. */
00431a78 1338 dummy_frame_pop (dummy_id, call_thread.get ());
7cd1089b 1339
aa7d318d
TT
1340 /* We also need to restore inferior status to that before
1341 the dummy call. */
c7c4d3fa 1342 restore_infcall_control_state (inf_status.release ());
aa7d318d 1343
ac74f770
MS
1344 error (_("\
1345The program being debugged entered a std::terminate call, most likely\n\
1346caused by an unhandled C++ exception. GDB blocked this call in order\n\
1347to prevent the program from being terminated, and has restored the\n\
1348context to its original state before the call.\n\
1349To change this behaviour use \"set unwind-on-terminating-exception off\".\n\
1350Evaluation of the expression containing the function (%s)\n\
1351will be abandoned."),
395423c4 1352 name.c_str ());
aa7d318d
TT
1353 }
1354 else if (stop_stack_dummy == STOP_NONE)
1355 {
1356
b89667eb
DE
1357 /* We hit a breakpoint inside the FUNCTION.
1358 Keep the dummy frame, the user may want to examine its state.
1359 Discard inferior status, we're not at the same point
1360 we started at. */
c7c4d3fa 1361 discard_infcall_control_state (inf_status.release ());
b89667eb 1362
52557533
AC
1363 /* The following error message used to say "The expression
1364 which contained the function call has been discarded."
1365 It is a hard concept to explain in a few words. Ideally,
1366 GDB would be able to resume evaluation of the expression
1367 when the function finally is done executing. Perhaps
1368 someday this will be implemented (it would not be easy). */
1369 /* FIXME: Insert a bunch of wrap_here; name can be very long if it's
1370 a C++ name with arguments and stuff. */
ac74f770
MS
1371 error (_("\
1372The program being debugged stopped while in a function called from GDB.\n\
1373Evaluation of the expression containing the function\n\
1374(%s) will be abandoned.\n\
1375When the function is done executing, GDB will silently stop."),
395423c4 1376 name.c_str ());
52557533
AC
1377 }
1378
52557533 1379 }
04714b91 1380
388a7084
PA
1381 /* The above code errors out, so ... */
1382 gdb_assert_not_reached ("... should not be here");
04714b91 1383}
04714b91
AC
1384
1385void
1386_initialize_infcall (void)
1387{
1388 add_setshow_boolean_cmd ("coerce-float-to-double", class_obscure,
7915a72c
AC
1389 &coerce_float_to_double_p, _("\
1390Set coercion of floats to doubles when calling functions."), _("\
1391Show coercion of floats to doubles when calling functions"), _("\
04714b91
AC
1392Variables of type float should generally be converted to doubles before\n\
1393calling an unprototyped function, and left alone when calling a prototyped\n\
1394function. However, some older debug info formats do not provide enough\n\
1395information to determine that a function is prototyped. If this flag is\n\
1396set, GDB will perform the conversion for a function it considers\n\
1397unprototyped.\n\
7915a72c 1398The default is to perform the conversion.\n"),
2c5b56ce 1399 NULL,
920d2a44 1400 show_coerce_float_to_double_p,
2c5b56ce 1401 &setlist, &showlist);
04714b91
AC
1402
1403 add_setshow_boolean_cmd ("unwindonsignal", no_class,
7915a72c
AC
1404 &unwind_on_signal_p, _("\
1405Set unwinding of stack if a signal is received while in a call dummy."), _("\
1406Show unwinding of stack if a signal is received while in a call dummy."), _("\
04714b91
AC
1407The unwindonsignal lets the user determine what gdb should do if a signal\n\
1408is received while in a function called from gdb (call dummy). If set, gdb\n\
1409unwinds the stack and restore the context to what as it was before the call.\n\
7915a72c 1410The default is to stop in the frame where the signal was received."),
2c5b56ce 1411 NULL,
920d2a44 1412 show_unwind_on_signal_p,
2c5b56ce 1413 &setlist, &showlist);
7cd1089b
PM
1414
1415 add_setshow_boolean_cmd ("unwind-on-terminating-exception", no_class,
1416 &unwind_on_terminating_exception_p, _("\
1417Set unwinding of stack if std::terminate is called while in call dummy."), _("\
3e43a32a
MS
1418Show unwinding of stack if std::terminate() is called while in a call dummy."),
1419 _("\
7cd1089b
PM
1420The unwind on terminating exception flag lets the user determine\n\
1421what gdb should do if a std::terminate() call is made from the\n\
1422default exception handler. If set, gdb unwinds the stack and restores\n\
1423the context to what it was before the call. If unset, gdb allows the\n\
1424std::terminate call to proceed.\n\
1425The default is to unwind the frame."),
1426 NULL,
1427 show_unwind_on_terminating_exception_p,
1428 &setlist, &showlist);
1429
04714b91 1430}
This page took 2.401911 seconds and 4 git commands to generate.