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