1 /* Perform an inferior function call, for GDB, the GNU debugger.
3 Copyright (C) 1986-2024 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21 #include "breakpoint.h"
22 #include "tracepoint.h"
31 #include "cli/cli-cmds.h"
33 #include "dummy-frame.h"
36 #include "gdbthread.h"
37 #include "event-top.h"
38 #include "observable.h"
42 #include "thread-fsm.h"
44 #include "gdbsupport/scope-exit.h"
47 /* True if we are debugging inferior calls. */
49 static bool debug_infcall
= false;
51 /* Print an "infcall" debug statement. */
53 #define infcall_debug_printf(fmt, ...) \
54 debug_prefixed_printf_cond (debug_infcall, "infcall", fmt, ##__VA_ARGS__)
56 /* Print "infcall" enter/exit debug statements. */
58 #define INFCALL_SCOPED_DEBUG_ENTER_EXIT \
59 scoped_debug_enter_exit (debug_infcall, "infcall")
61 /* Print "infcall" start/end debug statements. */
63 #define INFCALL_SCOPED_DEBUG_START_END(fmt, ...) \
64 scoped_debug_start_end (debug_infrun, "infcall", fmt, ##__VA_ARGS__)
66 /* Implement 'show debug infcall'. */
69 show_debug_infcall (struct ui_file
*file
, int from_tty
,
70 struct cmd_list_element
*c
, const char *value
)
72 gdb_printf (file
, _("Inferior call debugging is %s.\n"), value
);
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) \
79 + 2 * sizeof (CORE_ADDR))
81 /* NOTE: cagney/2003-04-16: What's the future of this code?
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. */
87 static bool may_call_functions_p
= true;
89 show_may_call_functions_p (struct ui_file
*file
, int from_tty
,
90 struct cmd_list_element
*c
,
94 _("Permission to call functions in the program is %s.\n"),
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. */
102 static unsigned int direct_call_timeout
= UINT_MAX
;
104 /* Implement 'show direct-call-timeout'. */
107 show_direct_call_timeout (struct ui_file
*file
, int from_tty
,
108 struct cmd_list_element
*c
, const char *value
)
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"));
117 gdb_printf (file
, _("Timeout for direct inferior function calls "
118 "is \"%s seconds\".\n"), value
);
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. */
126 static unsigned int indirect_call_timeout
= 30;
128 /* Implement 'show indirect-call-timeout'. */
131 show_indirect_call_timeout (struct ui_file
*file
, int from_tty
,
132 struct cmd_list_element
*c
, const char *value
)
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"));
141 gdb_printf (file
, _("Timeout for indirect inferior function calls "
142 "is \"%s seconds\".\n"), value
);
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.
152 Unfortunately, on certain older platforms, the debug info doesn't
153 indicate reliably how each function was defined. A function type's
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.
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". */
165 static bool coerce_float_to_double_p
= true;
167 show_coerce_float_to_double_p (struct ui_file
*file
, int from_tty
,
168 struct cmd_list_element
*c
, const char *value
)
171 _("Coercion of floats to doubles "
172 "when calling functions is %s.\n"),
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
181 The default is to stop in the frame where the signal was received. */
183 static bool unwind_on_signal_p
= false;
185 show_unwind_on_signal_p (struct ui_file
*file
, int from_tty
,
186 struct cmd_list_element
*c
, const char *value
)
189 _("Unwinding of stack if a signal is "
190 "received while in a call dummy is %s.\n"),
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
203 The default is to unwind the frame if a std::terminate call is
206 static bool unwind_on_terminating_exception_p
= true;
209 show_unwind_on_terminating_exception_p (struct ui_file
*file
, int from_tty
,
210 struct cmd_list_element
*c
,
215 _("Unwind stack if a C++ exception is "
216 "unhandled while in a call dummy is %s.\n"),
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.
225 The default is to stop in the frame where the timeout occurred. */
227 static bool unwind_on_timeout_p
= false;
229 /* Implement 'show unwind-on-timeout'. */
232 show_unwind_on_timeout_p (struct ui_file
*file
, int from_tty
,
233 struct cmd_list_element
*c
, const char *value
)
236 _("Unwinding of stack if a timeout occurs "
237 "while in a call dummy is %s.\n"),
241 /* Perform the standard coercions that are specified
242 for arguments to be passed to C, Ada or Fortran functions.
244 If PARAM_TYPE is non-NULL, it is the expected parameter type.
245 IS_PROTOTYPED is non-zero if the function declaration is prototyped. */
247 static struct value
*
248 value_arg_coerce (struct gdbarch
*gdbarch
, struct value
*arg
,
249 struct type
*param_type
, int is_prototyped
)
251 const struct builtin_type
*builtin
= builtin_type (gdbarch
);
252 struct type
*arg_type
= check_typedef (arg
->type ());
254 = param_type
? check_typedef (param_type
) : arg_type
;
256 /* Perform any Ada- and Fortran-specific coercion first. */
257 if (current_language
->la_language
== language_ada
)
258 arg
= ada_convert_actual (arg
, type
);
259 else if (current_language
->la_language
== language_fortran
)
260 type
= fortran_preserve_arg_pointer (arg
, type
);
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
);
268 switch (type
->code ())
271 case TYPE_CODE_RVALUE_REF
:
273 struct value
*new_value
;
275 if (TYPE_IS_REFERENCE (arg_type
))
276 return value_cast_pointers (type
, arg
, 0);
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? */
282 new_value
= value_cast (type
->target_type (), arg
);
283 new_value
= value_ref (new_value
, type
->code ());
290 /* If we don't have a prototype, coerce to integer type if necessary. */
293 if (type
->length () < builtin
->builtin_int
->length ())
294 type
= builtin
->builtin_int
;
296 /* Currently all target ABIs require at least the width of an integer
297 type for an argument. We may have to conditionalize the following
298 type coercion for future targets. */
299 if (type
->length () < builtin
->builtin_int
->length ())
300 type
= builtin
->builtin_int
;
303 if (!is_prototyped
&& coerce_float_to_double_p
)
305 if (type
->length () < builtin
->builtin_double
->length ())
306 type
= builtin
->builtin_double
;
307 else if (type
->length () > builtin
->builtin_double
->length ())
308 type
= builtin
->builtin_long_double
;
312 type
= lookup_pointer_type (type
);
314 case TYPE_CODE_ARRAY
:
315 /* Arrays are coerced to pointers to their first element, unless
316 they are vectors, in which case we want to leave them alone,
317 because they are passed by value. */
318 if (current_language
->c_style_arrays_p ())
319 if (!type
->is_vector ())
320 type
= lookup_pointer_type (type
->target_type ());
322 case TYPE_CODE_UNDEF
:
324 case TYPE_CODE_STRUCT
:
325 case TYPE_CODE_UNION
:
328 case TYPE_CODE_RANGE
:
329 case TYPE_CODE_STRING
:
330 case TYPE_CODE_ERROR
:
331 case TYPE_CODE_MEMBERPTR
:
332 case TYPE_CODE_METHODPTR
:
333 case TYPE_CODE_METHOD
:
334 case TYPE_CODE_COMPLEX
:
339 return value_cast (type
, arg
);
345 find_function_addr (struct value
*function
,
346 struct type
**retval_type
,
347 struct type
**function_type
)
349 struct type
*ftype
= check_typedef (function
->type ());
350 struct gdbarch
*gdbarch
= ftype
->arch ();
351 struct type
*value_type
= NULL
;
352 /* Initialize it just to avoid a GCC false warning. */
353 CORE_ADDR funaddr
= 0;
355 /* If it's a member function, just look at the function
358 /* Determine address to call. */
359 if (ftype
->code () == TYPE_CODE_FUNC
360 || ftype
->code () == TYPE_CODE_METHOD
)
361 funaddr
= function
->address ();
362 else if (ftype
->code () == TYPE_CODE_PTR
)
364 funaddr
= value_as_address (function
);
365 ftype
= check_typedef (ftype
->target_type ());
366 if (ftype
->code () == TYPE_CODE_FUNC
367 || ftype
->code () == TYPE_CODE_METHOD
)
368 funaddr
= gdbarch_convert_from_func_ptr_addr
369 (gdbarch
, funaddr
, current_inferior ()->top_target());
371 if (ftype
->code () == TYPE_CODE_FUNC
372 || ftype
->code () == TYPE_CODE_METHOD
)
374 if (ftype
->is_gnu_ifunc ())
376 CORE_ADDR resolver_addr
= funaddr
;
378 /* Resolve the ifunc. Note this may call the resolver
379 function in the inferior. */
380 funaddr
= gnu_ifunc_resolve_addr (gdbarch
, resolver_addr
);
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
)
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
)
394 value_type
= check_typedef (target_ftype
)->target_type ();
395 ftype
= target_ftype
;
400 value_type
= ftype
->target_type ();
402 else if (ftype
->code () == TYPE_CODE_INT
)
404 /* Handle the case of functions lacking debugging info.
405 Their values are characters since their addresses are char. */
406 if (ftype
->length () == 1)
407 funaddr
= value_as_address (value_addr (function
));
410 /* Handle function descriptors lacking debug info. */
411 int found_descriptor
= 0;
413 funaddr
= 0; /* pacify "gcc -Werror" */
414 if (function
->lval () == lval_memory
)
418 funaddr
= value_as_address (value_addr (function
));
420 funaddr
= gdbarch_convert_from_func_ptr_addr
421 (gdbarch
, funaddr
, current_inferior ()->top_target ());
422 if (funaddr
!= nfunaddr
)
423 found_descriptor
= 1;
425 if (!found_descriptor
)
426 /* Handle integer used as address of a function. */
427 funaddr
= (CORE_ADDR
) value_as_long (function
);
431 error (_("Invalid data type for function to be called."));
433 if (retval_type
!= NULL
)
434 *retval_type
= value_type
;
435 if (function_type
!= NULL
)
436 *function_type
= ftype
;
437 return funaddr
+ gdbarch_deprecated_function_start_offset (gdbarch
);
440 /* For CALL_DUMMY_ON_STACK, push a breakpoint sequence that the called
441 function returns to. */
444 push_dummy_code (struct gdbarch
*gdbarch
,
445 CORE_ADDR sp
, CORE_ADDR funaddr
,
446 gdb::array_view
<value
*> args
,
447 struct type
*value_type
,
448 CORE_ADDR
*real_pc
, CORE_ADDR
*bp_addr
,
449 struct regcache
*regcache
)
451 gdb_assert (gdbarch_push_dummy_code_p (gdbarch
));
453 return gdbarch_push_dummy_code (gdbarch
, sp
, funaddr
,
454 args
.data (), args
.size (),
455 value_type
, real_pc
, bp_addr
,
462 error_call_unknown_return_type (const char *func_name
)
464 if (func_name
!= NULL
)
465 error (_("'%s' has unknown return type; "
466 "cast the call to its declared return type"),
469 error (_("function has unknown return type; "
470 "cast the call to its declared return type"));
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. */
480 get_function_name (CORE_ADDR funaddr
, char *buf
, int buf_size
)
483 struct symbol
*symbol
= find_pc_function (funaddr
);
486 return symbol
->print_name ();
490 /* Try the minimal symbols. */
491 struct bound_minimal_symbol msymbol
= lookup_minimal_symbol_by_pc (funaddr
);
494 return msymbol
.minsym
->print_name ();
498 std::string tmp
= string_printf (_(RAW_FUNCTION_ADDRESS_FORMAT
),
499 hex_string (funaddr
));
501 gdb_assert (tmp
.length () + 1 <= buf_size
);
502 return strcpy (buf
, tmp
.c_str ());
506 /* All the meta data necessary to extract the call's return value. */
508 struct call_return_meta_info
510 /* The caller frame's architecture. */
511 struct gdbarch
*gdbarch
;
513 /* The called function. */
514 struct value
*function
;
516 /* The return value's type. */
517 struct type
*value_type
;
519 /* Are we returning a value using a structure return or a normal
523 /* If using a structure return, this is the structure's address. */
524 CORE_ADDR struct_addr
;
527 /* Extract the called function's return value. */
529 static struct value
*
530 get_call_return_value (struct call_return_meta_info
*ri
)
532 struct value
*retval
= NULL
;
533 thread_info
*thr
= inferior_thread ();
534 bool stack_temporaries
= thread_stack_temporaries_enabled_p (thr
);
536 if (ri
->value_type
->code () == TYPE_CODE_VOID
)
537 retval
= value::allocate (ri
->value_type
);
538 else if (ri
->struct_return_p
)
540 if (stack_temporaries
)
542 retval
= value_from_contents_and_address (ri
->value_type
, NULL
,
544 push_thread_stack_temporary (thr
, retval
);
547 retval
= value_at_non_lval (ri
->value_type
, ri
->struct_addr
);
551 gdbarch_return_value_as_value (ri
->gdbarch
, ri
->function
, ri
->value_type
,
552 get_thread_regcache (inferior_thread ()),
554 if (stack_temporaries
&& class_or_union_p (ri
->value_type
))
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
563 retval
->force_lval (ri
->struct_addr
);
564 push_thread_stack_temporary (thr
, retval
);
568 gdb_assert (retval
!= NULL
);
572 /* Data for the FSM that manages an infcall. It's main job is to
573 record the called function's return value. */
575 struct call_thread_fsm
: public thread_fsm
577 /* All the info necessary to be able to extract the return
579 struct call_return_meta_info return_meta_info
;
581 /* The called function's return value. This is extracted from the
582 target before the dummy frame is popped. */
583 struct value
*return_value
= nullptr;
585 /* The top level that started the infcall (and is synchronously
586 waiting for it to end). */
587 struct ui
*waiting_ui
;
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
);
594 bool should_stop (struct thread_info
*thread
) override
;
596 bool should_notify_stop () override
;
598 /* Record that this thread timed out while performing an infcall. */
605 /* Set true if the thread timed out while performing an infcall. */
606 bool m_timed_out
= false;
609 /* Allocate a new call_thread_fsm object. */
611 call_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
)
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
;
627 /* Implementation of should_stop method for infcalls. */
630 call_thread_fsm::should_stop (struct thread_info
*thread
)
632 INFCALL_SCOPED_DEBUG_ENTER_EXIT
;
634 if (stop_stack_dummy
== STOP_STACK_DUMMY
)
639 /* Stash the return value before the dummy frame is popped and
640 registers are restored to what they were before the
642 return_value
= get_call_return_value (&return_meta_info
);
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
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.
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 ())
657 scoped_restore save_ui
= make_scoped_restore (¤t_ui
, waiting_ui
);
658 gdb_assert (current_ui
->prompt_state
== PROMPT_BLOCKED
);
659 async_enable_stdin ();
665 /* Implementation of should_notify_stop method for infcalls. */
668 call_thread_fsm::should_notify_stop ()
670 INFCALL_SCOPED_DEBUG_ENTER_EXIT
;
674 /* Infcall succeeded. Be silent and proceed with evaluating the
676 infcall_debug_printf ("inferior call has finished, don't notify");
680 infcall_debug_printf ("inferior call didn't complete fully");
682 if ((stopped_by_random_signal
&& unwind_on_signal_p
)
683 || (m_timed_out
&& unwind_on_timeout_p
))
685 infcall_debug_printf ("unwind-on-signal is on, don't notify");
689 if (stop_stack_dummy
== STOP_STD_TERMINATE
690 && unwind_on_terminating_exception_p
)
692 infcall_debug_printf ("unwind-on-terminating-exception is on, don't notify");
696 /* Something wrong happened. E.g., an unexpected breakpoint
697 triggered, or a signal was intercepted. Notify the stop. */
701 /* A class to control creation of a timer that will interrupt a thread
702 during an inferior call. */
703 struct infcall_timer_controller
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
)
714 = direct_call_p
? direct_call_timeout
: indirect_call_timeout
;
715 if (timeout
< UINT_MAX
&& target_can_async_p ())
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
);
726 /* Destructor. Ensure that the timer is removed from the event loop. */
727 ~infcall_timer_controller ()
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
732 if (m_timer_id
.has_value () && !m_triggered
)
733 delete_timer (*m_timer_id
);
735 /* Just for clarity, discard the timer id now. */
739 /* Return true if there was a timer in place, and the timer triggered,
740 otherwise, return false. */
743 gdb_assert (!m_triggered
|| m_timer_id
.has_value ());
748 /* The thread we should interrupt. */
749 thread_info
*m_thread
;
751 /* Set true when the timer is triggered. */
752 bool m_triggered
= false;
754 /* Given a value when a timer is in place. */
755 std::optional
<int> m_timer_id
;
757 /* Callback for the timer, forwards to ::trigger below. */
759 timed_out (gdb_client_data context
)
761 infcall_timer_controller
*ctrl
762 = static_cast<infcall_timer_controller
*> (context
);
766 /* Called when the timer goes off. Stop thread M_THREAD. */
772 scoped_disable_commit_resumed
disable_commit_resumed ("infcall timeout");
774 infcall_debug_printf ("Stopping thread %s",
775 m_thread
->ptid
.to_string ().c_str ());
777 = gdb::checked_static_cast
<call_thread_fsm
*> (m_thread
->thread_fsm ());
779 target_stop (m_thread
->ptid
);
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.
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. */
791 static struct gdb_exception
792 run_inferior_call (std::unique_ptr
<call_thread_fsm
> sm
,
793 struct thread_info
*call_thread
, CORE_ADDR real_pc
,
796 INFCALL_SCOPED_DEBUG_ENTER_EXIT
;
798 struct gdb_exception caught_error
;
799 ptid_t call_thread_ptid
= call_thread
->ptid
;
800 int was_running
= call_thread
->state
== THREAD_RUNNING
;
801 *timed_out_p
= false;
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 (),
808 current_ui
->unregister_file_handler ();
810 scoped_restore restore_in_infcall
811 = make_scoped_restore (&call_thread
->control
.in_infcall
, 1);
813 clear_proceed_status (0);
815 /* Associate the FSM with the thread after clear_proceed_status
816 (otherwise it'd clear this FSM). */
817 call_thread
->set_thread_fsm (std::move (sm
));
819 disable_watchpoints_before_interactive_call_start ();
821 /* We want to print return value, please... */
822 call_thread
->control
.proceed_to_finish
= 1;
826 /* Infcalls run synchronously, in the foreground. */
827 scoped_restore restore_prompt_state
828 = make_scoped_restore (¤t_ui
->prompt_state
, PROMPT_BLOCKED
);
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 (¤t_ui
->async
, 0);
835 proceed (real_pc
, GDB_SIGNAL_0
);
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);
843 infrun_debug_show_threads ("non-exited threads after proceed for inferior-call",
844 all_non_exited_threads ());
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
);
851 /* Inferior function calls are always synchronous, even if the
852 target supports asynchronous execution. */
853 wait_sync_command_done ();
855 /* If the timer triggered then the inferior call failed. */
856 if (infcall_timer
.triggered_p ())
858 infcall_debug_printf ("inferior call timed out");
862 infcall_debug_printf ("inferior call completed successfully");
864 catch (gdb_exception
&e
)
866 infcall_debug_printf ("exception while making inferior call (%d): %s",
867 e
.reason
, e
.what ());
868 caught_error
= std::move (e
);
871 infcall_debug_printf ("thread is now: %s",
872 inferior_ptid
.to_string ().c_str ());
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.
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.
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
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. */
893 if (current_ui
->prompt_state
== PROMPT_BLOCKED
)
895 if (call_thread
->thread_fsm ()->finished_p ())
896 async_disable_stdin ();
898 async_enable_stdin ();
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:
908 - "(gdb) print foo ()", or any other command that evaluates an
909 expression at the prompt. (The thread was marked stopped before.)
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. */
917 && call_thread_ptid
== inferior_ptid
918 && stop_stack_dummy
== STOP_STACK_DUMMY
)
919 finish_thread_state (call_thread
->inf
->process_target (),
920 user_visible_resume_ptid (0));
922 enable_watchpoints_after_interactive_call_stop ();
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. */
929 if (caught_error
.reason
< 0)
931 if (call_thread
->state
!= THREAD_EXITED
)
932 breakpoint_auto_delete (call_thread
->control
.stop_bpstat
);
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. */
944 reserve_stack_space (const type
*values_type
, CORE_ADDR
&sp
)
946 frame_info_ptr frame
= get_current_frame ();
947 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
950 if (gdbarch_stack_grows_down (gdbarch
))
952 /* Stack grows downward. Align STRUCT_ADDR and SP after
954 sp
-= values_type
->length ();
955 if (gdbarch_frame_align_p (gdbarch
))
956 sp
= gdbarch_frame_align (gdbarch
, sp
);
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
);
966 sp
+= values_type
->length ();
967 if (gdbarch_frame_align_p (gdbarch
))
968 sp
= gdbarch_frame_align (gdbarch
, sp
);
974 /* The data structure which keeps a destructor function and
975 its implicit 'this' parameter. */
977 struct destructor_info
979 destructor_info (struct value
*function
, struct value
*self
)
980 : function (function
), self (self
) { }
982 struct value
*function
;
987 /* Auxiliary function that takes a list of destructor functions
988 with their 'this' parameters, and invokes the functions. */
991 call_destructors (const std::list
<destructor_info
> &dtors_to_invoke
,
992 struct type
*default_return_type
)
994 for (auto vals
: dtors_to_invoke
)
996 call_function_by_hand (vals
.function
, default_return_type
,
997 gdb::make_array_view (&(vals
.self
), 1));
1001 /* See infcall.h. */
1004 call_function_by_hand (struct value
*function
,
1005 type
*default_return_type
,
1006 gdb::array_view
<value
*> args
)
1008 return call_function_by_hand_dummy (function
, default_return_type
,
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. */
1021 /* Perform a function call in the inferior.
1022 ARGS is a vector of values of arguments.
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.
1028 ARGS is modified to contain coerced values. */
1031 call_function_by_hand_dummy (struct value
*function
,
1032 type
*default_return_type
,
1033 gdb::array_view
<value
*> args
,
1034 dummy_frame_dtor_ftype
*dummy_dtor
,
1035 void *dummy_dtor_data
)
1037 INFCALL_SCOPED_DEBUG_ENTER_EXIT
;
1040 struct type
*target_values_type
;
1041 function_call_return_method return_method
= return_method_normal
;
1042 CORE_ADDR struct_addr
= 0;
1045 struct frame_id dummy_id
;
1046 frame_info_ptr frame
;
1047 struct gdbarch
*gdbarch
;
1048 ptid_t call_thread_ptid
;
1049 struct gdb_exception e
;
1050 char name_buf
[RAW_FUNCTION_ADDRESS_SIZE
];
1052 if (!may_call_functions_p
)
1053 error (_("Cannot call functions in the program: "
1054 "may-call-functions is off."));
1056 if (!target_has_execution ())
1059 if (get_traceframe_number () >= 0)
1060 error (_("May not call functions while looking at trace frames."));
1062 if (execution_direction
== EXEC_REVERSE
)
1063 error (_("Cannot call functions in reverse mode."));
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 ());
1071 bool stack_temporaries
= thread_stack_temporaries_enabled_p (call_thread
.get ());
1073 frame
= get_current_frame ();
1074 gdbarch
= get_frame_arch (frame
);
1076 if (!gdbarch_push_dummy_call_p (gdbarch
))
1077 error (_("This target does not support function calls."));
1079 /* Find the function type and do a sanity check. */
1082 CORE_ADDR funaddr
= find_function_addr (function
, &values_type
, &ftype
);
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
)));
1089 if (values_type
== NULL
|| values_type
->is_stub ())
1090 values_type
= default_return_type
;
1091 if (values_type
== NULL
)
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"),
1100 values_type
= check_typedef (values_type
);
1102 if (args
.size () < ftype
->num_fields ())
1103 error (_("Too few arguments in function call."));
1105 infcall_debug_printf ("calling %s", get_function_name (funaddr
, name_buf
,
1106 sizeof (name_buf
)));
1108 /* A holder for the inferior status.
1109 This is only needed while we're preparing the inferior function call. */
1110 infcall_control_state_up
inf_status (save_infcall_control_state ());
1112 /* Save the caller's registers and other state associated with the
1113 inferior itself so that they can be restored once the
1114 callee returns. To allow nested calls the registers are (further
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 ());
1119 /* Ensure that the initial SP is correctly aligned. */
1121 CORE_ADDR old_sp
= get_frame_sp (frame
);
1123 if (gdbarch_frame_align_p (gdbarch
))
1125 sp
= gdbarch_frame_align (gdbarch
, old_sp
);
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
1131 if (gdbarch_stack_grows_down (gdbarch
))
1132 sp
-= gdbarch_frame_red_zone_size (gdbarch
);
1134 sp
+= gdbarch_frame_red_zone_size (gdbarch
);
1135 /* Still aligned? */
1136 gdb_assert (sp
== gdbarch_frame_align (gdbarch
, sp
));
1137 /* NOTE: cagney/2002-09-18:
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
1142 FP. Similarly, a frameless (possibly leaf) function does
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
1148 surprisingly, results in what appears to be a stack in an
1149 infinite loop --- when GDB tries to find a generic dummy
1150 frame on the internal dummy frame stack, it will always
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
1159 if (gdbarch_stack_grows_down (gdbarch
))
1160 sp
= gdbarch_frame_align (gdbarch
, old_sp
- 1);
1162 sp
= gdbarch_frame_align (gdbarch
, old_sp
+ 1);
1164 /* SP may have underflown address zero here from OLD_SP. Memory access
1165 functions will probably fail in such case but that is a target's
1169 /* FIXME: cagney/2002-09-18: Hey, you loose!
1171 Who knows how badly aligned the SP is!
1173 If the generic dummy frame ends up empty (because nothing is
1174 pushed) GDB won't be able to correctly perform back traces.
1175 If a target is having trouble with backtraces, first thing to
1176 do is add FRAME_ALIGN() to the architecture vector. If that
1177 fails, try dummy_id().
1179 If the ABI specifies a "Red Zone" (see the doco) the code
1180 below will quietly trash it. */
1183 /* Skip over the stack temporaries that might have been generated during
1184 the evaluation of an expression. */
1185 if (stack_temporaries
)
1187 struct value
*lastval
;
1189 lastval
= get_last_thread_stack_temporary (call_thread
.get ());
1190 if (lastval
!= NULL
)
1192 CORE_ADDR lastval_addr
= lastval
->address ();
1194 if (gdbarch_stack_grows_down (gdbarch
))
1196 gdb_assert (sp
>= lastval_addr
);
1201 gdb_assert (sp
<= lastval_addr
);
1202 sp
= lastval_addr
+ lastval
->type ()->length ();
1205 if (gdbarch_frame_align_p (gdbarch
))
1206 sp
= gdbarch_frame_align (gdbarch
, sp
);
1211 /* Are we returning a value using a structure return? */
1213 if (gdbarch_return_in_first_hidden_param_p (gdbarch
, values_type
))
1215 return_method
= return_method_hidden_param
;
1217 /* Tell the target specific argument pushing routine not to
1219 target_values_type
= builtin_type (gdbarch
)->builtin_void
;
1223 if (using_struct_return (gdbarch
, function
, values_type
))
1224 return_method
= return_method_struct
;
1225 target_values_type
= values_type
;
1228 gdb::observers::inferior_call_pre
.notify (inferior_ptid
, funaddr
);
1230 /* Determine the location of the breakpoint (and possibly other
1231 stuff) that the called function will return to. The SPARC, for a
1232 function returning a structure or union, needs to make space for
1233 not just the breakpoint but also an extra word containing the
1234 size (?) of the structure being passed. */
1236 switch (gdbarch_call_dummy_location (gdbarch
))
1240 const gdb_byte
*bp_bytes
;
1241 CORE_ADDR bp_addr_as_address
;
1244 /* Be careful BP_ADDR is in inferior PC encoding while
1245 BP_ADDR_AS_ADDRESS is a plain memory address. */
1247 sp
= push_dummy_code (gdbarch
, sp
, funaddr
, args
,
1248 target_values_type
, &real_pc
, &bp_addr
,
1249 get_thread_regcache (inferior_thread ()));
1251 /* Write a legitimate instruction at the point where the infcall
1252 breakpoint is going to be inserted. While this instruction
1253 is never going to be executed, a user investigating the
1254 memory from GDB would see this instruction instead of random
1255 uninitialized bytes. We chose the breakpoint instruction
1256 as it may look as the most logical one to the user and also
1257 valgrind 3.7.0 needs it for proper vgdb inferior calls.
1259 If software breakpoints are unsupported for this target we
1260 leave the user visible memory content uninitialized. */
1262 bp_addr_as_address
= bp_addr
;
1263 bp_bytes
= gdbarch_breakpoint_from_pc (gdbarch
, &bp_addr_as_address
,
1265 if (bp_bytes
!= NULL
)
1266 write_memory (bp_addr_as_address
, bp_bytes
, bp_size
);
1269 case AT_ENTRY_POINT
:
1271 CORE_ADDR dummy_addr
;
1274 dummy_addr
= entry_point_address ();
1276 /* A call dummy always consists of just a single breakpoint, so
1277 its address is the same as the address of the dummy.
1279 The actual breakpoint is inserted separatly so there is no need to
1281 bp_addr
= dummy_addr
;
1285 internal_error (_("bad switch"));
1288 /* Coerce the arguments and handle pass-by-reference.
1289 We want to remember the destruction required for pass-by-ref values.
1290 For these, store the dtor function and the 'this' argument
1291 in DTORS_TO_INVOKE. */
1292 std::list
<destructor_info
> dtors_to_invoke
;
1294 for (int i
= args
.size () - 1; i
>= 0; i
--)
1297 struct type
*param_type
;
1299 /* FIXME drow/2002-05-31: Should just always mark methods as
1300 prototyped. Can we respect TYPE_VARARGS? Probably not. */
1301 if (ftype
->code () == TYPE_CODE_METHOD
)
1303 else if (ftype
->target_type () == NULL
&& ftype
->num_fields () == 0
1304 && default_return_type
!= NULL
)
1306 /* Calling a no-debug function with the return type
1307 explicitly cast. Assume the function is prototyped,
1308 with a prototype matching the types of the arguments.
1310 float mult (float v1, float v2) { return v1 * v2; }
1312 (gdb) p (float) mult (2.0f, 3.0f)
1313 Is a simpler alternative to:
1314 (gdb) p ((float (*) (float, float)) mult) (2.0f, 3.0f)
1318 else if (i
< ftype
->num_fields ())
1319 prototyped
= ftype
->is_prototyped ();
1323 if (i
< ftype
->num_fields ())
1324 param_type
= ftype
->field (i
).type ();
1328 value
*original_arg
= args
[i
];
1329 args
[i
] = value_arg_coerce (gdbarch
, args
[i
],
1330 param_type
, prototyped
);
1332 if (param_type
== NULL
)
1335 auto info
= language_pass_by_reference (param_type
);
1336 if (!info
.copy_constructible
)
1337 error (_("expression cannot be evaluated because the type '%s' "
1338 "is not copy constructible"), param_type
->name ());
1340 if (!info
.destructible
)
1341 error (_("expression cannot be evaluated because the type '%s' "
1342 "is not destructible"), param_type
->name ());
1344 if (info
.trivially_copyable
)
1347 /* Make a copy of the argument on the stack. If the argument is
1348 trivially copy ctor'able, copy bit by bit. Otherwise, call
1349 the copy ctor to initialize the clone. */
1350 CORE_ADDR addr
= reserve_stack_space (param_type
, sp
);
1352 = value_from_contents_and_address (param_type
, nullptr, addr
);
1353 push_thread_stack_temporary (call_thread
.get (), clone
);
1355 = value_from_pointer (lookup_pointer_type (param_type
), addr
);
1357 if (info
.trivially_copy_constructible
)
1359 int length
= param_type
->length ();
1360 write_memory (addr
, args
[i
]->contents ().data (), length
);
1365 value
*cctor_args
[2] = { clone_ptr
, original_arg
};
1366 find_overload_match (gdb::make_array_view (cctor_args
, 2),
1367 param_type
->name (), METHOD
,
1368 &clone_ptr
, nullptr, ©_ctor
, nullptr,
1369 nullptr, 0, EVAL_NORMAL
);
1371 if (copy_ctor
== nullptr)
1372 error (_("expression cannot be evaluated because a copy "
1373 "constructor for the type '%s' could not be found "
1374 "(maybe inlined?)"), param_type
->name ());
1376 call_function_by_hand (copy_ctor
, default_return_type
,
1377 gdb::make_array_view (cctor_args
, 2));
1380 /* If the argument has a destructor, remember it so that we
1381 invoke it after the infcall is complete. */
1382 if (!info
.trivially_destructible
)
1384 /* Looking up the function via overload resolution does not
1385 work because the compiler (in particular, gcc) adds an
1386 artificial int parameter in some cases. So we look up
1387 the function by using the "~" name. This should be OK
1388 because there can be only one dtor definition. */
1389 const char *dtor_name
= nullptr;
1390 for (int fieldnum
= 0;
1391 fieldnum
< TYPE_NFN_FIELDS (param_type
);
1395 = TYPE_FN_FIELDLIST1 (param_type
, fieldnum
);
1396 const char *field_name
1397 = TYPE_FN_FIELDLIST_NAME (param_type
, fieldnum
);
1399 if (field_name
[0] == '~')
1400 dtor_name
= TYPE_FN_FIELD_PHYSNAME (fn
, 0);
1403 if (dtor_name
== nullptr)
1404 error (_("expression cannot be evaluated because a destructor "
1405 "for the type '%s' could not be found "
1406 "(maybe inlined?)"), param_type
->name ());
1409 = find_function_in_inferior (dtor_name
, 0);
1411 /* Insert the dtor to the front of the list to call them
1412 in reverse order later. */
1413 dtors_to_invoke
.emplace_front (dtor
, clone_ptr
);
1416 args
[i
] = clone_ptr
;
1419 /* Reserve space for the return structure to be written on the
1420 stack, if necessary.
1422 While evaluating expressions, we reserve space on the stack for
1423 return values of class type even if the language ABI and the target
1424 ABI do not require that the return value be passed as a hidden first
1425 argument. This is because we want to store the return value as an
1426 on-stack temporary while the expression is being evaluated. This
1427 enables us to have chained function calls in expressions.
1429 Keeping the return values as on-stack temporaries while the expression
1430 is being evaluated is OK because the thread is stopped until the
1431 expression is completely evaluated. */
1433 if (return_method
!= return_method_normal
1434 || (stack_temporaries
&& class_or_union_p (values_type
)))
1435 struct_addr
= reserve_stack_space (values_type
, sp
);
1437 std::vector
<struct value
*> new_args
;
1438 if (return_method
== return_method_hidden_param
)
1440 /* Add the new argument to the front of the argument list. */
1441 new_args
.reserve (1 + args
.size ());
1443 (value_from_pointer (lookup_pointer_type (values_type
), struct_addr
));
1444 new_args
.insert (new_args
.end (), args
.begin (), args
.end ());
1448 /* Create the dummy stack frame. Pass in the call dummy address as,
1449 presumably, the ABI code knows where, in the call dummy, the
1450 return address should be pointed. */
1451 sp
= gdbarch_push_dummy_call (gdbarch
, function
,
1452 get_thread_regcache (inferior_thread ()),
1453 bp_addr
, args
.size (), args
.data (),
1454 sp
, return_method
, struct_addr
);
1456 /* Set up a frame ID for the dummy frame so we can pass it to
1457 set_momentary_breakpoint. We need to give the breakpoint a frame
1458 ID so that the breakpoint code can correctly re-identify the
1459 dummy breakpoint. */
1460 /* Sanity. The exact same SP value is returned by PUSH_DUMMY_CALL,
1461 saved as the dummy-frame TOS, and used by dummy_id to form
1462 the frame ID's stack address. */
1463 dummy_id
= frame_id_build (sp
, bp_addr
);
1465 /* Create a momentary breakpoint at the return address of the
1466 inferior. That way it breaks when it returns. */
1469 symtab_and_line sal
;
1470 sal
.pspace
= current_program_space
;
1472 sal
.section
= find_pc_overlay (sal
.pc
);
1474 /* Sanity. The exact same SP value is returned by
1475 PUSH_DUMMY_CALL, saved as the dummy-frame TOS, and used by
1476 dummy_id to form the frame ID's stack address. */
1478 = set_momentary_breakpoint (gdbarch
, sal
,
1479 dummy_id
, bp_call_dummy
).release ();
1481 bpt
->disposition
= disp_del
;
1482 gdb_assert (bpt
->related_breakpoint
== bpt
);
1484 breakpoint
*longjmp_b
= set_longjmp_breakpoint_for_call_dummy ();
1487 /* Link BPT into the chain of LONGJMP_B. */
1488 bpt
->related_breakpoint
= longjmp_b
;
1489 while (longjmp_b
->related_breakpoint
!= bpt
->related_breakpoint
)
1490 longjmp_b
= longjmp_b
->related_breakpoint
;
1491 longjmp_b
->related_breakpoint
= bpt
;
1495 /* Create a breakpoint in std::terminate.
1496 If a C++ exception is raised in the dummy-frame, and the
1497 exception handler is (normally, and expected to be) out-of-frame,
1498 the default C++ handler will (wrongly) be called in an inferior
1499 function call. This is wrong, as an exception can be normally
1500 and legally handled out-of-frame. The confines of the dummy frame
1501 prevent the unwinder from finding the correct handler (or any
1502 handler, unless it is in-frame). The default handler calls
1503 std::terminate. This will kill the inferior. Assert that
1504 terminate should never be called in an inferior function
1505 call. Place a momentary breakpoint in the std::terminate function
1506 and if triggered in the call, rewind. */
1507 if (unwind_on_terminating_exception_p
)
1508 set_std_terminate_breakpoint ();
1510 /* Everything's ready, push all the info needed to restore the
1511 caller (and identify the dummy-frame) onto the dummy-frame
1513 dummy_frame_push (caller_state
.release (), &dummy_id
, call_thread
.get ());
1514 if (dummy_dtor
!= NULL
)
1515 register_dummy_frame_dtor (dummy_id
, call_thread
.get (),
1516 dummy_dtor
, dummy_dtor_data
);
1518 /* Register a clean-up for unwind_on_terminating_exception_breakpoint. */
1519 SCOPE_EXIT
{ delete_std_terminate_breakpoint (); };
1521 /* The stopped_by_random_signal variable is global. If we are here
1522 as part of a breakpoint condition check then the global will have
1523 already been setup as part of the original breakpoint stop. By
1524 making the inferior call the global will be changed when GDB
1525 handles the stop after the inferior call. Avoid confusion by
1526 restoring the current value after the inferior call. */
1527 scoped_restore restore_stopped_by_random_signal
1528 = make_scoped_restore (&stopped_by_random_signal
, 0);
1530 /* Set to true by the call to run_inferior_call below if the inferior
1531 call is artificially interrupted by GDB due to taking too long. */
1532 bool timed_out_p
= false;
1534 /* - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP - SNIP -
1535 If you're looking to implement asynchronous dummy-frames, then
1536 just below is the place to chop this function in two.. */
1539 /* Save the current FSM. We'll override it. */
1540 std::unique_ptr
<thread_fsm
> saved_sm
= call_thread
->release_thread_fsm ();
1541 struct call_thread_fsm
*sm
;
1543 /* Save this thread's ptid, we need it later but the thread
1545 call_thread_ptid
= call_thread
->ptid
;
1547 /* Run the inferior until it stops. */
1549 /* Create the FSM used to manage the infcall. It tells infrun to
1550 not report the stop to the user, and captures the return value
1551 before the dummy frame is popped. run_inferior_call registers
1552 it with the thread ASAP. */
1553 sm
= new call_thread_fsm (current_ui
, command_interp (),
1556 return_method
!= return_method_normal
,
1559 std::unique_ptr
<call_thread_fsm
> sm_up (sm
);
1560 e
= run_inferior_call (std::move (sm_up
), call_thread
.get (), real_pc
,
1565 infcall_debug_printf ("after inferior call, exception (%d): %s",
1566 e
.reason
, e
.what ());
1567 infcall_debug_printf ("after inferior call, thread state is: %s",
1568 thread_state_string (call_thread
->state
));
1570 gdb::observers::inferior_call_post
.notify (call_thread_ptid
, funaddr
);
1573 /* As the inferior call failed, we are about to throw an error, which
1574 will be caught and printed somewhere else in GDB. We want new threads
1575 to be printed before the error message, otherwise it looks odd; the
1576 threads appear after GDB has reported a stop. */
1577 update_thread_list ();
1579 if (call_thread
->state
!= THREAD_EXITED
)
1581 /* The FSM should still be the same. */
1582 gdb_assert (call_thread
->thread_fsm () == sm
);
1584 if (call_thread
->thread_fsm ()->finished_p ())
1586 struct value
*retval
;
1588 infcall_debug_printf ("call completed");
1590 /* The inferior call is successful. Pop the dummy frame,
1591 which runs its destructors and restores the inferior's
1592 suspend state, and restore the inferior control
1594 dummy_frame_pop (dummy_id
, call_thread
.get ());
1595 restore_infcall_control_state (inf_status
.release ());
1597 /* Get the return value. */
1598 retval
= sm
->return_value
;
1600 /* Restore the original FSM and clean up / destroy the call FSM.
1601 Doing it in this order ensures that if the call to clean_up
1602 throws, the original FSM is properly restored. */
1604 std::unique_ptr
<thread_fsm
> finalizing
1605 = call_thread
->release_thread_fsm ();
1606 call_thread
->set_thread_fsm (std::move (saved_sm
));
1608 finalizing
->clean_up (call_thread
.get ());
1611 maybe_remove_breakpoints ();
1613 gdb_assert (retval
!= NULL
);
1615 /* Destruct the pass-by-ref argument clones. */
1616 call_destructors (dtors_to_invoke
, default_return_type
);
1621 infcall_debug_printf ("call did not complete");
1623 /* Didn't complete. Clean up / destroy the call FSM, and restore the
1624 previous state machine, and handle the error. */
1626 std::unique_ptr
<thread_fsm
> finalizing
1627 = call_thread
->release_thread_fsm ();
1628 call_thread
->set_thread_fsm (std::move (saved_sm
));
1630 finalizing
->clean_up (call_thread
.get ());
1635 /* Rethrow an error if we got one trying to run the inferior. */
1639 const char *name
= get_function_name (funaddr
,
1640 name_buf
, sizeof (name_buf
));
1642 discard_infcall_control_state (inf_status
.release ());
1644 /* We could discard the dummy frame here if the program exited,
1645 but it will get garbage collected the next time the program is
1651 throw_error (e
.error
, _("%s\n\
1652 An error occurred while in a function called from GDB.\n\
1653 Evaluation of the expression containing the function\n\
1654 (%s) will be abandoned.\n\
1655 When the function is done executing, GDB will silently stop."),
1659 throw_exception (std::move (e
));
1663 /* If the program has exited, or we stopped at a different thread,
1664 exit and inform the user. */
1666 if (! target_has_execution ())
1668 const char *name
= get_function_name (funaddr
,
1669 name_buf
, sizeof (name_buf
));
1671 /* If we try to restore the inferior status,
1672 we'll crash as the inferior is no longer running. */
1673 discard_infcall_control_state (inf_status
.release ());
1675 /* We could discard the dummy frame here given that the program exited,
1676 but it will get garbage collected the next time the program is
1679 error (_("The program being debugged exited while in a function "
1680 "called from GDB.\n"
1681 "Evaluation of the expression containing the function\n"
1682 "(%s) will be abandoned."),
1686 if (call_thread_ptid
!= inferior_ptid
)
1688 const char *name
= get_function_name (funaddr
,
1689 name_buf
, sizeof (name_buf
));
1691 /* We've switched threads. This can happen if another thread gets a
1692 signal or breakpoint while our thread was running.
1693 There's no point in restoring the inferior status,
1694 we're in a different thread. */
1695 discard_infcall_control_state (inf_status
.release ());
1696 /* Keep the dummy frame record, if the user switches back to the
1697 thread with the hand-call, we'll need it. */
1698 if (stopped_by_random_signal
)
1700 The program received a signal in another thread while\n\
1701 making a function call from GDB.\n\
1702 Evaluation of the expression containing the function\n\
1703 (%s) will be abandoned.\n\
1704 When the function is done executing, GDB will silently stop."),
1708 The program stopped in another thread while making a function call from GDB.\n\
1709 Evaluation of the expression containing the function\n\
1710 (%s) will be abandoned.\n\
1711 When the function is done executing, GDB will silently stop."),
1716 /* Make a copy as NAME may be in an objfile freed by dummy_frame_pop. */
1717 std::string name
= get_function_name (funaddr
, name_buf
,
1720 /* If the inferior call timed out then it will have been interrupted
1721 by a signal, but we want to report this differently to the user,
1722 which is done later in this function. */
1723 if (stopped_by_random_signal
&& !timed_out_p
)
1725 /* We stopped inside the FUNCTION because of a random
1726 signal. Further execution of the FUNCTION is not
1729 if (unwind_on_signal_p
)
1731 /* The user wants the context restored. */
1733 /* Capture details of the signal so we can include them in
1734 the error message. Calling dummy_frame_pop will restore
1735 the previous stop signal details. */
1736 gdb_signal stop_signal
= call_thread
->stop_signal ();
1738 /* We must get back to the frame we were before the
1740 dummy_frame_pop (dummy_id
, call_thread
.get ());
1742 /* We also need to restore inferior status to that before the
1744 restore_infcall_control_state (inf_status
.release ());
1746 /* FIXME: Insert a bunch of wrap_here; name can be very
1747 long if it's a C++ name with arguments and stuff. */
1749 The program being debugged received signal %s, %s\n\
1750 while in a function called from GDB. GDB has restored the context\n\
1751 to what it was before the call. To change this behavior use\n\
1752 \"set unwind-on-signal off\". Evaluation of the expression containing\n\
1753 the function (%s) will be abandoned."),
1754 gdb_signal_to_name (stop_signal
),
1755 gdb_signal_to_string (stop_signal
),
1760 /* The user wants to stay in the frame where we stopped
1762 Discard inferior status, we're not at the same point
1764 discard_infcall_control_state (inf_status
.release ());
1766 /* FIXME: Insert a bunch of wrap_here; name can be very
1767 long if it's a C++ name with arguments and stuff. */
1769 The program being debugged was signaled while in a function called from GDB.\n\
1770 GDB remains in the frame where the signal was received.\n\
1771 To change this behavior use \"set unwind-on-signal on\".\n\
1772 Evaluation of the expression containing the function\n\
1773 (%s) will be abandoned.\n\
1774 When the function is done executing, GDB will silently stop."),
1781 /* A timeout results in a signal being sent to the inferior. */
1782 gdb_assert (stopped_by_random_signal
);
1784 if (unwind_on_timeout_p
)
1786 /* The user wants the context restored. */
1788 /* We must get back to the frame we were before the
1790 dummy_frame_pop (dummy_id
, call_thread
.get ());
1792 /* We also need to restore inferior status to that before the
1794 restore_infcall_control_state (inf_status
.release ());
1797 The program being debugged timed out while in a function called from GDB.\n\
1798 GDB has restored the context to what it was before the call.\n\
1799 To change this behavior use \"set unwind-on-timeout off\".\n\
1800 Evaluation of the expression containing the function\n\
1801 (%s) will be abandoned."),
1806 /* The user wants to stay in the frame where we stopped
1807 (default). Discard inferior status, we're not at the same
1808 point we started at. */
1809 discard_infcall_control_state (inf_status
.release ());
1812 The program being debugged timed out while in a function called from GDB.\n\
1813 GDB remains in the frame where the timeout occurred.\n\
1814 To change this behavior use \"set unwind-on-timeout on\".\n\
1815 Evaluation of the expression containing the function\n\
1816 (%s) will be abandoned.\n\
1817 When the function is done executing, GDB will silently stop."),
1822 if (stop_stack_dummy
== STOP_STD_TERMINATE
)
1824 /* We must get back to the frame we were before the dummy
1826 dummy_frame_pop (dummy_id
, call_thread
.get ());
1828 /* We also need to restore inferior status to that before
1830 restore_infcall_control_state (inf_status
.release ());
1833 The program being debugged entered a std::terminate call, most likely\n\
1834 caused by an unhandled C++ exception. GDB blocked this call in order\n\
1835 to prevent the program from being terminated, and has restored the\n\
1836 context to its original state before the call.\n\
1837 To change this behaviour use \"set unwind-on-terminating-exception off\".\n\
1838 Evaluation of the expression containing the function (%s)\n\
1839 will be abandoned."),
1842 else if (stop_stack_dummy
== STOP_NONE
)
1845 /* We hit a breakpoint inside the FUNCTION.
1846 Keep the dummy frame, the user may want to examine its state.
1847 Discard inferior status, we're not at the same point
1849 discard_infcall_control_state (inf_status
.release ());
1851 /* The following error message used to say "The expression
1852 which contained the function call has been discarded."
1853 It is a hard concept to explain in a few words. Ideally,
1854 GDB would be able to resume evaluation of the expression
1855 when the function finally is done executing. Perhaps
1856 someday this will be implemented (it would not be easy). */
1857 /* FIXME: Insert a bunch of wrap_here; name can be very long if it's
1858 a C++ name with arguments and stuff. */
1860 The program being debugged stopped while in a function called from GDB.\n\
1861 Evaluation of the expression containing the function\n\
1862 (%s) will be abandoned.\n\
1863 When the function is done executing, GDB will silently stop."),
1869 /* The above code errors out, so ... */
1870 gdb_assert_not_reached ("... should not be here");
1873 void _initialize_infcall ();
1875 _initialize_infcall ()
1877 add_setshow_boolean_cmd ("may-call-functions", no_class
,
1878 &may_call_functions_p
, _("\
1879 Set permission to call functions in the program."), _("\
1880 Show permission to call functions in the program."), _("\
1881 When this permission is on, GDB may call functions in the program.\n\
1882 Otherwise, any sort of attempt to call a function in the program\n\
1883 will result in an error."),
1885 show_may_call_functions_p
,
1886 &setlist
, &showlist
);
1888 add_setshow_boolean_cmd ("coerce-float-to-double", class_obscure
,
1889 &coerce_float_to_double_p
, _("\
1890 Set coercion of floats to doubles when calling functions."), _("\
1891 Show coercion of floats to doubles when calling functions."), _("\
1892 Variables of type float should generally be converted to doubles before\n\
1893 calling an unprototyped function, and left alone when calling a prototyped\n\
1894 function. However, some older debug info formats do not provide enough\n\
1895 information to determine that a function is prototyped. If this flag is\n\
1896 set, GDB will perform the conversion for a function it considers\n\
1898 The default is to perform the conversion."),
1900 show_coerce_float_to_double_p
,
1901 &setlist
, &showlist
);
1903 set_show_commands setshow_unwind_on_signal_cmds
1904 = add_setshow_boolean_cmd ("unwind-on-signal", no_class
,
1905 &unwind_on_signal_p
, _("\
1906 Set unwinding of stack if a signal is received while in a call dummy."), _("\
1907 Show unwinding of stack if a signal is received while in a call dummy."), _("\
1908 The unwind-on-signal lets the user determine what gdb should do if a signal\n\
1909 is received while in a function called from gdb (call dummy). If set, gdb\n\
1910 unwinds the stack and restore the context to what as it was before the call.\n\
1911 The default is to stop in the frame where the signal was received."),
1913 show_unwind_on_signal_p
,
1914 &setlist
, &showlist
);
1915 add_alias_cmd ("unwindonsignal", setshow_unwind_on_signal_cmds
.set
,
1916 no_class
, 1, &setlist
);
1917 add_alias_cmd ("unwindonsignal", setshow_unwind_on_signal_cmds
.show
,
1918 no_class
, 1, &showlist
);
1920 add_setshow_boolean_cmd ("unwind-on-terminating-exception", no_class
,
1921 &unwind_on_terminating_exception_p
, _("\
1922 Set unwinding of stack if std::terminate is called while in call dummy."), _("\
1923 Show unwinding of stack if std::terminate() is called while in a call dummy."),
1925 The unwind on terminating exception flag lets the user determine\n\
1926 what gdb should do if a std::terminate() call is made from the\n\
1927 default exception handler. If set, gdb unwinds the stack and restores\n\
1928 the context to what it was before the call. If unset, gdb allows the\n\
1929 std::terminate call to proceed.\n\
1930 The default is to unwind the frame."),
1932 show_unwind_on_terminating_exception_p
,
1933 &setlist
, &showlist
);
1935 add_setshow_boolean_cmd ("unwind-on-timeout", no_class
,
1936 &unwind_on_timeout_p
, _("\
1937 Set unwinding of stack if a timeout occurs while in a call dummy."), _("\
1938 Show unwinding of stack if a timeout occurs while in a call dummy."),
1940 The unwind on timeout flag lets the user determine what gdb should do if\n\
1941 gdb times out while in a function called from gdb. If set, gdb unwinds\n\
1942 the stack and restores the context to what it was before the call. If\n\
1943 unset, gdb leaves the inferior in the frame where the timeout occurred.\n\
1944 The default is to stop in the frame where the timeout occurred."),
1946 show_unwind_on_timeout_p
,
1947 &setlist
, &showlist
);
1949 add_setshow_uinteger_cmd ("direct-call-timeout", no_class
,
1950 &direct_call_timeout
, _("\
1951 Set the timeout, for direct calls to inferior function calls."), _("\
1952 Show the timeout, for direct calls to inferior function calls."), _("\
1953 If running on a target that supports, and is running in, async mode\n\
1954 then this timeout is used for any inferior function calls triggered\n\
1955 directly from the prompt, i.e. from a 'call' or 'print' command. The\n\
1956 timeout is specified in seconds."),
1958 show_direct_call_timeout
,
1959 &setlist
, &showlist
);
1961 add_setshow_uinteger_cmd ("indirect-call-timeout", no_class
,
1962 &indirect_call_timeout
, _("\
1963 Set the timeout, for indirect calls to inferior function calls."), _("\
1964 Show the timeout, for indirect calls to inferior function calls."), _("\
1965 If running on a target that supports, and is running in, async mode\n\
1966 then this timeout is used for any inferior function calls triggered\n\
1967 indirectly, i.e. being made as part of a breakpoint, or watchpoint,\n\
1968 condition expression. The timeout is specified in seconds."),
1970 show_indirect_call_timeout
,
1971 &setlist
, &showlist
);
1973 add_setshow_boolean_cmd
1974 ("infcall", class_maintenance
, &debug_infcall
,
1975 _("Set inferior call debugging."),
1976 _("Show inferior call debugging."),
1977 _("When on, inferior function call specific debugging is enabled."),
1978 NULL
, show_debug_infcall
, &setdebuglist
, &showdebuglist
);