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

Previous Next

Full log

Message #257 received at 79200 <at> debbugs.gnu.org (full text, mbox):

From: Gerd Möllmann <gerd.moellmann <at> gmail.com>
To: Helmut Eller <eller.helmut <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: Re: bug#79200: 31.0.50; Duplicated elements for '#<marker at' in
 buffer-undo-list
Date: Tue, 12 Aug 2025 18:26:59 +0200

Helmut Eller <eller.helmut <at> gmail.com> writes:

> On Tue, Aug 12 2025, Gerd Möllmann wrote:
>
>> Like so, I think:
>
> I think the DEFVAR_INT is not needed. Something like this:
>
> static ptrdiff_t next_marker_id;
>
> static ptrdiff_t
> next_marker_id (void)
> {
>   return next_marker_id++;
> }
>
> and in syms_of_alloc
>
>   PDUMPER_REMEMBER_SCALAR(next_marker_id);
>
> should also work.

That's true.

I've made it a DEFVAR mainly because I wanted to be able to see it
easily :-).

Don't know if the wrap-around check in next_marker_id is really
necessary; that's just paranoia, I guess, or maybe laziness, not wanting
to calculate :-).

Previous Next

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