From: "Mattias Engdegård" <mattias.engdegard@gmail.com>
To: Stefan Monnier <monnier@iro.umontreal.ca>
Cc: Eli Zaretskii <eliz@gnu.org>, Paul Eggert <eggert@cs.ucla.edu>,
64128@debbugs.gnu.org
Subject: bug#64128: regexp parser zero-width assertion bugs
Date: Mon, 19 Jun 2023 10:44:04 +0200 [thread overview]
Message-ID: <D7837F29-2BD2-41F2-8B15-B70276D9E9D0@gmail.com> (raw)
In-Reply-To: <jwv1qi8xijq.fsf-monnier+emacs@gnu.org>
19 juni 2023 kl. 05.04 skrev Stefan Monnier <monnier@iro.umontreal.ca>:
> `^` is only special if it's at the beginning of a group, so `^*` will
> always treat this * as a literal, right?
> "Similarly" `$` is only special if it's at the end of a group, so `$*` will
> always be a repetition of the $ character no?
Yes, ^ and $ have additional rules for when they are plain literals and not subject to these bugs at all.
The literal-splitting powers of ^ have now (075e77ac44) been removed.
> So the remaining problematic elements are \` \' \b and \B
\`* has been observed, so we probably need to keep that working as well.
> I suspect if we don't want to signal errors, the next best thing is to
> treat them like group B.
Yes, maybe; they are less likely to be followed by an operator-literal, but it would also be good to have all zero-width assertions work the same way.
On the other hand, it can't be worse than we have now, as long as we get rid of the "quack,\\b*" semantics.
next prev parent reply other threads:[~2023-06-19 8:44 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-17 12:20 bug#64128: regexp parser zero-width assertion bugs Mattias Engdegård
2023-06-17 18:44 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-06-17 20:07 ` Mattias Engdegård
2023-06-17 22:18 ` Paul Eggert
2023-06-18 4:55 ` Eli Zaretskii
2023-06-18 20:26 ` Mattias Engdegård
2023-06-19 3:04 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-06-19 8:44 ` Mattias Engdegård [this message]
2023-06-19 12:54 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-06-19 18:34 ` Mattias Engdegård
2023-06-19 19:21 ` Paul Eggert
2023-06-19 19:52 ` Mattias Engdegård
2023-06-19 20:08 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-06-20 11:36 ` Mattias Engdegård
2023-06-21 6:08 ` Paul Eggert
2023-06-21 15:57 ` Mattias Engdegård
2023-06-19 20:40 ` Paul Eggert
2023-06-19 18:14 ` Paul Eggert
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=D7837F29-2BD2-41F2-8B15-B70276D9E9D0@gmail.com \
--to=mattias.engdegard@gmail.com \
--cc=64128@debbugs.gnu.org \
--cc=eggert@cs.ucla.edu \
--cc=eliz@gnu.org \
--cc=monnier@iro.umontreal.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.