GNU bug report logs - #79200
31.0.50; Duplicated elements for '#<marker at' in buffer-undo-list

Previous Next

Full log

View this message in rfc822 format

From: Helmut Eller <eller.helmut <at> gmail.com>
To: Gerd Möllmann <gerd.moellmann <at> gmail.com>
Cc: pipcet <at> protonmail.com, Óscar Fuentes <oscarfv <at> eclipso.eu>, monnier <at> iro.umontreal.ca, Alan Mackenzie <acm <at> muc.de>, 79200 <at> debbugs.gnu.org, Eli Zaretskii <eliz <at> gnu.org>
Subject: bug#79200: 31.0.50; Duplicated elements for '#<marker at' in buffer-undo-list
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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.