diff options
author | Tankut Baris Aktemur <tankut.baris.aktemur@intel.com> | 2019-10-23 20:40:02 +0200 |
---|---|---|
committer | Tankut Baris Aktemur <tankut.baris.aktemur@intel.com> | 2019-10-23 20:40:02 +0200 |
commit | 39bcc47c7e94c746d5acdb52f20f9617a6473292 (patch) | |
tree | 8b4e6c0c6cf10a60082904bd8163b018e33f2717 /gdb | |
parent | bd888c0fe2cebbcab96d787387e0b32d301e0a2c (diff) | |
download | gdb-39bcc47c7e94c746d5acdb52f20f9617a6473292.zip gdb-39bcc47c7e94c746d5acdb52f20f9617a6473292.tar.gz gdb-39bcc47c7e94c746d5acdb52f20f9617a6473292.tar.bz2 |
infcall: move assertions in 'call_function_by_hand_dummy' to an earlier spot
This is a refactoring that performs type assertions on the callee
function at the beginning of 'call_function_by_hand_dummy' rather than
at a later point so that
- the checks are grouped together at the beginning of the function for
improved readability, and
- we don't have to align and push things on the stack only to find out
later that the function call is illegal.
gdb/ChangeLog:
2019-10-23 Tankut Baris Aktemur <tankut.baris.aktemur@intel.com>
* infcall.c (call_function_by_hand_dummy): Refactor.
Change-Id: I411ac083ac6a9ee6eb93c4b82393a81a4fc927be
Diffstat (limited to 'gdb')
-rw-r--r-- | gdb/ChangeLog | 4 | ||||
-rw-r--r-- | gdb/infcall.c | 41 |
2 files changed, 25 insertions, 20 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 53f50e2..6fafc44 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,9 @@ 2019-10-23 Tankut Baris Aktemur <tankut.baris.aktemur@intel.com> + * infcall.c (call_function_by_hand_dummy): Refactor. + +2019-10-23 Tankut Baris Aktemur <tankut.baris.aktemur@intel.com> + * MAINTAINERS (Write After Approval): Add Tankut Baris Aktemur. 2019-10-23 Tom Tromey <tom@tromey.com> diff --git a/gdb/infcall.c b/gdb/infcall.c index 726f14d..0d8d5b2 100644 --- a/gdb/infcall.c +++ b/gdb/infcall.c @@ -746,6 +746,27 @@ call_function_by_hand_dummy (struct value *function, if (!gdbarch_push_dummy_call_p (gdbarch)) error (_("This target does not support function calls.")); + /* Find the function type and do a sanity check. */ + type *ftype; + type *values_type; + CORE_ADDR funaddr = find_function_addr (function, &values_type, &ftype); + + if (values_type == NULL) + values_type = default_return_type; + if (values_type == NULL) + { + const char *name = get_function_name (funaddr, + name_buf, sizeof (name_buf)); + error (_("'%s' has unknown return type; " + "cast the call to its declared return type"), + name); + } + + values_type = check_typedef (values_type); + + if (args.size () < TYPE_NFIELDS (ftype)) + error (_("Too few arguments in function call.")); + /* A holder for the inferior status. This is only needed while we're preparing the inferior function call. */ infcall_control_state_up inf_status (save_infcall_control_state ()); @@ -851,23 +872,6 @@ call_function_by_hand_dummy (struct value *function, } } - type *ftype; - type *values_type; - CORE_ADDR funaddr = find_function_addr (function, &values_type, &ftype); - - if (values_type == NULL) - values_type = default_return_type; - if (values_type == NULL) - { - const char *name = get_function_name (funaddr, - name_buf, sizeof (name_buf)); - error (_("'%s' has unknown return type; " - "cast the call to its declared return type"), - name); - } - - values_type = check_typedef (values_type); - /* Are we returning a value using a structure return? */ if (gdbarch_return_in_first_hidden_param_p (gdbarch, values_type)) @@ -945,9 +949,6 @@ call_function_by_hand_dummy (struct value *function, internal_error (__FILE__, __LINE__, _("bad switch")); } - if (args.size () < TYPE_NFIELDS (ftype)) - error (_("Too few arguments in function call.")); - for (int i = args.size () - 1; i >= 0; i--) { int prototyped; |