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:58:02 +0200

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.

Helmut

Previous Next

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