diff options
Diffstat (limited to 'gdb/record-full.h')
| -rw-r--r-- | gdb/record-full.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gdb/record-full.h b/gdb/record-full.h index e8eb041..7be48eb 100644 --- a/gdb/record-full.h +++ b/gdb/record-full.h @@ -1,6 +1,6 @@ /* Process record and replay target for GDB, the GNU debugger. - Copyright (C) 2013-2024 Free Software Foundation, Inc. + Copyright (C) 2013-2025 Free Software Foundation, Inc. This file is part of GDB. @@ -17,8 +17,8 @@ You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ -#ifndef RECORD_FULL_H -#define RECORD_FULL_H +#ifndef GDB_RECORD_FULL_H +#define GDB_RECORD_FULL_H #include "gdbsupport/scoped_restore.h" @@ -31,6 +31,9 @@ extern int record_full_arch_list_add_end (void); /* Returns true if the process record target is open. */ extern int record_full_is_used (void); +/* Whether the inferior is being replayed, or is executing normally. */ +extern bool record_full_is_replaying (); + extern scoped_restore_tmpl<int> record_full_gdb_operation_disable_set (); -#endif /* RECORD_FULL_H */ +#endif /* GDB_RECORD_FULL_H */ |