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