Re: [PATCH 6/6] gdb/record: Define new version of the record-save section

Eli Zaretskii
2026-04-16T06:01:22Z

> From: Guinevere Larsen <guinevere@redhat.com>
> Cc: Guinevere Larsen <guinevere@redhat.com>
> Date: Wed, 15 Apr 2026 15:58:36 -0300
>
> With the changes to the internal representation of the history, we can
> no longer support the previous record save format. This commit makes it
> official, documenting the new format and changing the magic number.
> ---
> gdb/NEWS | 3 +++
> gdb/record-full.c | 35 +++++++++++++++++++++++++++++++----
> 2 files changed, 34 insertions(+), 4 deletions(-)

Thanks.

> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -42,6 +42,9 @@
>
> * Support for the binary file format dbx has been removed.
>
> +* The format for a saved execution record has been updated, and
> + previous formats are no longer supported.

What's a "saved execution record", and where is it used in GDB? I
think the NEWS entry should say something about that, or else it's too
mysterious.

Reviewed-By: Eli Zaretskii <eliz@gnu.org>