GNU logs - #70501, boring messages

Message sent to bug-auctex@HIDDEN:

Subject: bug#70501: [PATCH] Fix preview bug involving long common suffixes
Resent-From: Paul Nelson <ultrono@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-auctex@HIDDEN
Resent-Date: Sun, 21 Apr 2024 19:40:02 +0000
Resent-Message-ID: <handler.70501.B.17137283454640 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 70501 <at> debbugs.gnu.org
MIME-Version: 1.0
From: Paul Nelson <ultrono@HIDDEN>
Date: Sun, 21 Apr 2024 21:38:19 +0200
Message-ID: <CAOA-32OT3H7PxgRVocie4GG=kRDWJ-FROTRos8ndDfZQ-5sBjQ@HIDDEN>
Content-Type: multipart/mixed; boundary="0000000000003c2f3f0616a07716"
Received-SPF: pass client-ip=2607:f8b0:4864:20::130;
 envelope-from=ultrono@HIDDEN; helo=mail-il1-x130.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)

--0000000000003c2f3f0616a07716
Content-Type: text/plain; charset="UTF-8"

(I checked that this bug predates my recent patches, including that
for bug#62445.)

Steps to reproduce: create test.tex with contents

--8<---------------cut here---------------start------------->8---
\documentclass{amsart}
\begin{document}
$\mathbf{U}(\mathbb{A}) \mathbf{A}(\mathbb{Q}) \backslash
\mathbf{G}(\mathbb{A})$ and $\mathbf{G}(\mathbb{Q}) \backslash
\mathbf{G}(\mathbb{A})$
\end{document}
--8<---------------cut here---------------end--------------->8---

and run preview-buffer (C-c C-p C-b).  Then overlay2 is totally messed up.

This is the example I encountered in the wild, and turns out to be
near-minimal.  The essential feature is that the ends of two
environments on the same line have long common suffixes.

My best attempt at a fix is in the attached patch, with justification below.

Here's the relevant part of _region_.log, which contains "before" and
"after" strings that aim to specify four positions on a line,
corresponding to the starts and ends of the two math environments:

--8<---------------cut here---------------start------------->8---
./_region_.tex:6: Preview: Snippet 1 started.
<-><->

l.6 $
     \mathbf{U}(\mathbb{A}) \mathbf{A}(\mathbb{Q}) \backslash \mathbf{G}(\ma...
Not a real error.

Preview: Tightpage -32891 -32891 32891 32891
./_region_.tex:6: Preview: Snippet 1 ended.(491520+163840x5055372).
<-><->

l.6 ...thbb{Q}) \backslash \mathbf{G}(\mathbb{A})$
                                                    and $\mathbf{G}(\mathbb{Q...
Not a real error.

[1]
./_region_.tex:6: Preview: Snippet 2 started.
<-><->

l.6 ...}) \backslash \mathbf{G}(\mathbb{A})$ and $
                                                  \mathbf{G}(\mathbb{Q}) \ba...
Not a real error.

./_region_.tex:6: Preview: Snippet 2 ended.(491520+163840x3515277).
<-><->

l.6 ...thbb{Q}) \backslash \mathbf{G}(\mathbb{A})$

Not a real error.
--8<---------------cut here---------------end--------------->8---

These positions are recovered by Emacs using calls to search-forward
that always start at the beginning of line.  The strings that should
identify the end of overlay2 also match the end of overlay1, hence the
bug.  The fix is to bump the point forward, before searching, by just
enough so that the search must go beyond any previous position
identified on the same line.

--0000000000003c2f3f0616a07716
Content-Type: application/octet-stream; 
	name="0001-Fix-preview-bug-involving-long-common-suffixes.patch"
Content-Disposition: attachment; 
	filename="0001-Fix-preview-bug-involving-long-common-suffixes.patch"
Content-Transfer-Encoding: base64
Content-ID: <f_lv9xk71j0>
X-Attachment-Id: f_lv9xk71j0

RnJvbSBmZjEzNGE5Zjk3NzcwNDk3NjYzYzYxOTY5NzMxZDYyOTIxMmVhZmE4IE1vbiBTZXAgMTcg
MDA6MDA6MDAgMjAwMQpGcm9tOiBQYXVsIE5lbHNvbiA8dWx0cm9ub0BnbWFpbC5jb20+CkRhdGU6
IFN1biwgMjEgQXByIDIwMjQgMTY6MTY6NTIgKzAyMDAKU3ViamVjdDogW1BBVENIXSBGaXggcHJl
dmlldyBidWcgaW52b2x2aW5nIGxvbmcgY29tbW9uIHN1ZmZpeGVzCgoqIHByZXZpZXcuZWwuaW4g
KHByZXZpZXctcGFyc2UtbWVzc2FnZXMpOiBGaXggaXQuCi0tLQogcHJldmlldy5lbC5pbiB8IDgg
KysrKysrKysKIDEgZmlsZSBjaGFuZ2VkLCA4IGluc2VydGlvbnMoKykKCmRpZmYgLS1naXQgYS9w
cmV2aWV3LmVsLmluIGIvcHJldmlldy5lbC5pbgppbmRleCA1MDkzNTlhOC4uZmU0MTdlOGQgMTAw
NjQ0Ci0tLSBhL3ByZXZpZXcuZWwuaW4KKysrIGIvcHJldmlldy5lbC5pbgpAQCAtMzMzMCw2ICsz
MzMwLDcgQEAgY2FsbCwgYW5kIGluIGl0cyBDRFIgdGhlIGZpbmFsIHN0dWZmIGZvciB0aGUgcGxh
Y2VtZW50IGhvb2suIgogICAgIChsZXQgKFRlWC1lcnJvci1maWxlIFRlWC1lcnJvci1vZmZzZXQg
c25pcHBldCBib3ggY291bnRlcnMKICAgICAgICAgICBmaWxlIGxpbmUKICAgICAgICAgICAobHNu
aXBwZXQgMCkgbHN0YXJ0IChsZmlsZSAiIikgbGxpbmUgbGJ1ZmZlciBscG9pbnQKKyAgICAgICAg
ICBscG9zCiAgICAgICAgICAgbGNvdW50ZXJzCiAgICAgICAgICAgc3RyaW5nIGFmdGVyLXN0cmlu
ZwogICAgICAgICAgIG9mZnNldApAQCAtMzYwMCw2ICszNjAxLDEyIEBAIG5hbWUoXFwoW14pXStc
XCkpXFwpXFx8XAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgKGNhciBwcmV2aWV3LWN1
cnJlbnQtcmVnaW9uKSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgIChnb3RvLWNoYXIgKGNh
ciBwcmV2aWV3LWN1cnJlbnQtcmVnaW9uKSkpCiAKKyAgICAgICAgICAgICAgICAgICAgICA7OyBN
YWtlIHN1cmUgdGhhdCB3ZSBkb24ndCBhY2NpZGVudGFsbHkgbWF0Y2gKKyAgICAgICAgICAgICAg
ICAgICAgICA7OyBzb21ldGhpbmcgZWFybGllciBpbiB0aGUgc2VhcmNoIHRoYXQgZm9sbG93cy4K
KyAgICAgICAgICAgICAgICAgICAgICAoYW5kIChlcSAoY3VycmVudC1idWZmZXIpIGxidWZmZXIp
CisgICAgICAgICAgICAgICAgICAgICAgICAgICAoPSBsbGluZSBsaW5lKQorICAgICAgICAgICAg
ICAgICAgICAgICAgICAgKGdvdG8tY2hhciAobWF4IChwb2ludCkgKC0gKDErIGxwb3MpIChsZW5n
dGggc3RyaW5nKSkpKSkKKwogICAgICAgICAgICAgICAgICAgICAgIChjb25kCiAgICAgICAgICAg
ICAgICAgICAgICAgICgoc2VhcmNoLWZvcndhcmQgKGNvbmNhdCBzdHJpbmcgYWZ0ZXItc3RyaW5n
KQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChsaW5lLWVuZC1wb3Np
dGlvbikgdCkKQEAgLTM2MzUsNiArMzY0Miw3IEBAIG5hbWUoXFwoW14pXStcXCkpXFwpXFx8XAog
ICAgICAgICAgICAgICAgICAgICAgICAgICAgc3RyaW5nCiAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAobGluZS1lbmQtcG9zaXRpb24pIHQpKSkpCiAgICAgICAgICAgICAgICAgICAgIChzZXRx
IGxsaW5lIGxpbmUKKyAgICAgICAgICAgICAgICAgICAgICAgICAgbHBvcyAocG9pbnQpCiAgICAg
ICAgICAgICAgICAgICAgICAgICAgIGxidWZmZXIgKGN1cnJlbnQtYnVmZmVyKSkKICAgICAgICAg
ICAgICAgICAgICAgKGlmIGJveAogICAgICAgICAgICAgICAgICAgICAgICAgKHByb2duCi0tIAoy
LjM5LjMgKEFwcGxlIEdpdC0xNDUpCgo=
--0000000000003c2f3f0616a07716--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Paul Nelson <ultrono@HIDDEN>
Subject: bug#70501: Acknowledgement ([PATCH] Fix preview bug involving
 long common suffixes)
Message-ID: <handler.70501.B.17137283454640.ack <at> debbugs.gnu.org>
References: <CAOA-32OT3H7PxgRVocie4GG=kRDWJ-FROTRos8ndDfZQ-5sBjQ@HIDDEN>
X-Gnu-PR-Message: ack 70501
X-Gnu-PR-Package: auctex
X-Gnu-PR-Keywords: patch
Reply-To: 70501 <at> debbugs.gnu.org
Date: Sun, 21 Apr 2024 19:40:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-auctex@HIDDEN

If you wish to submit further information on this problem, please
send it to 70501 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
70501: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70501
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-auctex@HIDDEN:

Subject: bug#70501: example.tex
References: <CAOA-32OT3H7PxgRVocie4GG=kRDWJ-FROTRos8ndDfZQ-5sBjQ@HIDDEN>
In-Reply-To: <CAOA-32OT3H7PxgRVocie4GG=kRDWJ-FROTRos8ndDfZQ-5sBjQ@HIDDEN>
Resent-From: Paul Nelson <ultrono@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-auctex@HIDDEN
Resent-Date: Sun, 21 Apr 2024 20:13:02 +0000
Resent-Message-ID: <handler.70501.B70501.171373037419666 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 70501 <at> debbugs.gnu.org
MIME-Version: 1.0
From: Paul Nelson <ultrono@HIDDEN>
Date: Sun, 21 Apr 2024 22:12:16 +0200
Message-ID: <CAOA-32OpRRKPOuR2yH7gxvBApYW25AaWA-vCfdPmavXpn5F34w@HIDDEN>
Content-Type: multipart/mixed; boundary="000000000000a58a2a0616a0f0cd"
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

--000000000000a58a2a0616a0f0cd
Content-Type: text/plain; charset="UTF-8"

Sorry, my email client may have ruined the example by inserting
newlines.  I attach a tex file for convenience.

--000000000000a58a2a0616a0f0cd
Content-Type: application/octet-stream; name="example.tex"
Content-Disposition: attachment; filename="example.tex"
Content-Transfer-Encoding: base64
Content-ID: <f_lv9ysjvm0>
X-Attachment-Id: f_lv9ysjvm0

XGRvY3VtZW50Y2xhc3NbcmVxbm9de2Ftc2FydH0KXGJlZ2lue2RvY3VtZW50fQokXG1hdGhiZntV
fShcbWF0aGJie0F9KSBcbWF0aGJme0F9KFxtYXRoYmJ7UX0pIFxiYWNrc2xhc2ggXG1hdGhiZntH
fShcbWF0aGJie0F9KSQgYW5kICRcbWF0aGJme0d9KFxtYXRoYmJ7UX0pIFxiYWNrc2xhc2ggXG1h
dGhiZntHfShcbWF0aGJie0F9KSQKXGVuZHtkb2N1bWVudH0K
--000000000000a58a2a0616a0f0cd--

Message sent to bug-auctex@HIDDEN:

Subject: bug#70501: [PATCH] Fix preview bug involving long common suffixes
Resent-From: Ikumi Keita <ikumi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-auctex@HIDDEN
Resent-Date: Wed, 24 Apr 2024 17:45:17 +0000
Resent-Message-ID: <handler.70501.B70501.17139807033482 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Paul Nelson <ultrono@HIDDEN>
Cc: 70501 <at> debbugs.gnu.org
From: Ikumi Keita <ikumi@HIDDEN>
In-reply-to: <CAOA-32OT3H7PxgRVocie4GG=kRDWJ-FROTRos8ndDfZQ-5sBjQ@HIDDEN>
References: <CAOA-32OT3H7PxgRVocie4GG=kRDWJ-FROTRos8ndDfZQ-5sBjQ@HIDDEN>
Comments: In-reply-to Paul Nelson <ultrono@HIDDEN>
 message dated "Sun, 21 Apr 2024 21:38:19 +0200."
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <28744.1713980651.1@localhost>
Date: Thu, 25 Apr 2024 02:44:11 +0900
Message-ID: <28746.1713980651@localhost>
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi Paul,

>>>>> Paul Nelson <ultrono@HIDDEN> writes:
> These positions are recovered by Emacs using calls to search-forward
> that always start at the beginning of line.  The strings that should
> identify the end of overlay2 also match the end of overlay1, hence the
> bug.  The fix is to bump the point forward, before searching, by just
> enough so that the search must go beyond any previous position
> identified on the same line.

Thanks, pushed to the git repo. I'll close this bug.

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
#Gaza #StopMassiveKilling #CeasefireNOW

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 24 Apr 2024 17:45:56 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Apr 24 13:45:55 2024
Received: from localhost ([127.0.0.1]:59626 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rzggs-00014O-Vy
	for submit <at> debbugs.gnu.org; Wed, 24 Apr 2024 13:45:55 -0400
Received: from smtp1a.inetd.co.jp ([210.129.88.11]:40518)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ikumi@HIDDEN>) id 1rzggi-00012H-3J
 for control <at> debbugs.gnu.org; Wed, 24 Apr 2024 13:45:47 -0400
Received: from localhost (42-144-34-11.rev.home.ne.jp [42.144.34.11])
 by smtp1a.inetd.co.jp (Postfix) with ESMTPSA id CE7D47A
 for <control <at> debbugs.gnu.org>; Thu, 25 Apr 2024 02:45:25 +0900 (JST)
To: control <at> debbugs.gnu.org
From: Ikumi Keita <ikumi@HIDDEN>
Subject: control message for bug #70501
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <28769.1713980724.1@localhost>
Date: Thu, 25 Apr 2024 02:45:24 +0900
Message-ID: <28771.1713980724@localhost>
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

close 70501 
quit

Last modified: Wed, 24 Apr 2024 18:00:05 UTC

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