From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Newsgroups: gmane.emacs.bugs Subject: bug#65726: 29.1.50; Crash in regexp engine Date: Sat, 23 Sep 2023 13:56:51 +0200 Message-ID: <4095840E-041C-4481-821F-8E213710D6E5@gmail.com> References: <8e1b4e50-0430-3eb3-e486-60def1e4821f@gmx.at> <83fs3u5e7u.fsf@gnu.org> <835y4q5apw.fsf@gnu.org> <776370AB-662F-4C0A-95BF-97DEA4F18F54@gmail.com> <3A0AC9E2-A420-47B6-870A-69C53FCAEF71@gmail.com> <65105BCA-1884-4673-A8F8-03E3C7ABAAEA@gmail.com> <5882311F-DEAE-4220-B241-86367BF07E78@gmail.com> Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="24155"; mail-complaints-to="usenet@ciao.gmane.io" Cc: martin rudalics , Eli Zaretskii , 65726-done@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Sep 23 13:58:18 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qk1H7-00063o-8L for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 23 Sep 2023 13:58:17 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qk1Gi-0002mI-TZ; Sat, 23 Sep 2023 07:57:52 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qk1Gh-0002lv-Jm for bug-gnu-emacs@gnu.org; Sat, 23 Sep 2023 07:57:51 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qk1Gh-0005Ax-Ak for bug-gnu-emacs@gnu.org; Sat, 23 Sep 2023 07:57:51 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qk1Gs-0003MY-9H for bug-gnu-emacs@gnu.org; Sat, 23 Sep 2023 07:58:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 23 Sep 2023 11:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65726 X-GNU-PR-Package: emacs Original-Received: via spool by 65726-done@debbugs.gnu.org id=D65726.169547023512836 (code D ref 65726); Sat, 23 Sep 2023 11:58:02 +0000 Original-Received: (at 65726-done) by debbugs.gnu.org; 23 Sep 2023 11:57:15 +0000 Original-Received: from localhost ([127.0.0.1]:37900 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk1G6-0003Ky-Rp for submit@debbugs.gnu.org; Sat, 23 Sep 2023 07:57:15 -0400 Original-Received: from mail-lf1-x133.google.com ([2a00:1450:4864:20::133]:50510) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk1G3-0003Kg-13 for 65726-done@debbugs.gnu.org; Sat, 23 Sep 2023 07:57:13 -0400 Original-Received: by mail-lf1-x133.google.com with SMTP id 2adb3069b0e04-502fd1e1dd8so6113073e87.1 for <65726-done@debbugs.gnu.org>; Sat, 23 Sep 2023 04:56:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695470214; x=1696075014; darn=debbugs.gnu.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=i/M9L3+Zn3pURCoiAZvdDgVYzEIds68u7LLNywwga5A=; b=PDwuop6l6A4eGWRX2vOGOPI4lGAvWBpfFkEpKY0YpL+cIh65CqurVRiGJQn81yU35e Ax+QfeJrDB9B2CLaU0tUh/QdWCeS9trAx2v5Erk7ZEmwP19c/zFVbwTs2ry4nT5YXqmE jaTa4bMGDfj8o7eRZEW+PqCtMWj2CH3p/yP8uQm+Nh4Tw0gyjWsPy/P0/mqg4tG1BXvG zN5VJCwMyRWudbdTKo+WCXIM1b4o/42FksGN9UE+1GjCUhsJNsXLJuymPVzDf1mZbOth R4KHt7gMYkjwTDf5DmY4YN9re8jYEVAQrdd9yl7SqM20p1LCjZxIZn/1DGc+9ODkEoId QtQw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695470214; x=1696075014; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=i/M9L3+Zn3pURCoiAZvdDgVYzEIds68u7LLNywwga5A=; b=edGdKQevlmnifotc7KqVmslOiogaxQSIe4/BVsYkeo4uBwvGC4Ekg/J507QrM6Vz2m 3Zb3E4sHLgE+ddTlwlICS1saBZdh1WDjjZG/vspGnpF/W91VvNdtTcuXB0x2TPfInvHq pNFZwTGHCp48vcLltWjyuRH1/Bkf1GI8/XfUSw5XFGnUdZJNeMFLSZm45LWWHbnb5z2p ZOELGjaTUXFSbPMibQi/h6ejJ5JeLY8hxOldX450YzJodg+chiJA6kP3/apLZMW8i+tF IZXBjF0n/qcYs5kI1NPartQwLA8ySPwSfV2wM1CRoEt1v6MoDK90NgXUbAl455Z7U53h 3O7Q== X-Gm-Message-State: AOJu0YxyiDxWhf1kFZANPXdrGHf7xDdTVhHEuyWQt3Iyvp9zBkLQFmNb j1huaKFrZo565mRiSjEZ93k= X-Google-Smtp-Source: AGHT+IGmN0wxEM3dwz0cxPtnwOeFB75OyXt18ovYJD/Rt4j6fCdsrEmR5bINbUvZ5HoIrCGQmzamQg== X-Received: by 2002:a19:5041:0:b0:504:3093:1fad with SMTP id z1-20020a195041000000b0050430931fadmr1647574lfj.20.1695470213322; Sat, 23 Sep 2023 04:56:53 -0700 (PDT) Original-Received: from smtpclient.apple (c188-150-165-235.bredband.tele2.se. [188.150.165.235]) by smtp.gmail.com with ESMTPSA id v17-20020ac25591000000b005038f757d84sm1076614lfg.57.2023.09.23.04.56.52 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 23 Sep 2023 04:56:52 -0700 (PDT) In-Reply-To: X-Mailer: Apple Mail (2.3654.120.0.1.15) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:271161 Archived-At: 21 sep. 2023 kl. 20.08 skrev Stefan Monnier : > In any case, I pushed a variant of the last patch to `master` and > I think the case is now closed. We may want to revisit it, presumably > by really keeping track of the all visited nodes, but this seems to work > well for now and I'm confident that it is safe (regardless of the shape > of the bytecode, it should always terminate and it should never apply > the optimization if it's incorrect, and with the shape of the bytecode > we currently produce it does correctly apply the optimization in the cases > I checked). Good, thank you.