Subject: bug#79200: 31.0.50; Duplicated elements for '#<marker at' in buffer-undo-list

From: Helmut Eller <[email-masked]>
Date: Tue, 12 Aug 2025 17:14:49 +0200

On Tue, Aug 12 2025, Gerd Möllmann wrote:

> +static ptrdiff_t
> +next_marker_id (void)
> +{
> +  static ptrdiff_t next = 0;
> +  return next++;
> +}
[...]
>    DUMP_FIELD_COPY (out, marker, insertion_type);
> +  DUMP_FIELD_COPY (out, marker, id);
> +  out->id *= -1;

I wonder if we shouldn't simply dump and restore the next id counter
(with pdumper_remember_scalar).

Helmut