diff options
Diffstat (limited to 'gdb/gdbarch.c')
| -rw-r--r-- | gdb/gdbarch.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gdb/gdbarch.c b/gdb/gdbarch.c index 94cac02..d2a7928 100644 --- a/gdb/gdbarch.c +++ b/gdb/gdbarch.c @@ -678,9 +678,7 @@ verify_gdbarch (struct gdbarch *gdbarch) if ((GDB_MULTI_ARCH >= 2) && (gdbarch->push_dummy_frame == 0)) fprintf_unfiltered (log, "\n\tpush_dummy_frame"); - if ((GDB_MULTI_ARCH >= 1) - && (gdbarch->push_return_address == 0)) - fprintf_unfiltered (log, "\n\tpush_return_address"); + /* Skip verify of push_return_address, has predicate */ if ((GDB_MULTI_ARCH >= 2) && (gdbarch->pop_frame == 0)) fprintf_unfiltered (log, "\n\tpop_frame"); @@ -3489,6 +3487,12 @@ set_gdbarch_push_dummy_frame (struct gdbarch *gdbarch, gdbarch->push_dummy_frame = push_dummy_frame; } +int +gdbarch_push_return_address_p (struct gdbarch *gdbarch) +{ + return gdbarch->push_return_address != 0; +} + CORE_ADDR gdbarch_push_return_address (struct gdbarch *gdbarch, CORE_ADDR pc, CORE_ADDR sp) { |