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