From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.bugs Subject: bug#53071: 28.0.90; Emacs 28 regression: incorrect code generation for complex pcase forms? Date: Wed, 12 Jan 2022 15:10:12 +0100 Message-ID: <87mtk1niyj.fsf@web.de> References: <39D132B5-6B44-41F0-A618-6A68BFB5FEBF@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28128"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) Cc: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= , 53071@debbugs.gnu.org To: Philipp Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Wed Jan 12 15:51:05 2022 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 1n7exs-00077P-V2 for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 12 Jan 2022 15:51:04 +0100 Original-Received: from localhost ([::1]:36316 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n7exr-0003Wo-E3 for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 12 Jan 2022 09:51:03 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:60294) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n7eL8-00034f-I8 for bug-gnu-emacs@gnu.org; Wed, 12 Jan 2022 09:11:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:35359) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n7eL8-0005HB-8t for bug-gnu-emacs@gnu.org; Wed, 12 Jan 2022 09:11:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n7eL8-0007im-2g for bug-gnu-emacs@gnu.org; Wed, 12 Jan 2022 09:11:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 12 Jan 2022 14:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53071 X-GNU-PR-Package: emacs Original-Received: via spool by 53071-submit@debbugs.gnu.org id=B53071.164199662829623 (code B ref 53071); Wed, 12 Jan 2022 14:11:02 +0000 Original-Received: (at 53071) by debbugs.gnu.org; 12 Jan 2022 14:10:28 +0000 Original-Received: from localhost ([127.0.0.1]:56494 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7eKa-0007hj-2N for submit@debbugs.gnu.org; Wed, 12 Jan 2022 09:10:28 -0500 Original-Received: from mout.web.de ([212.227.17.11]:38323) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7eKX-0007hT-HH for 53071@debbugs.gnu.org; Wed, 12 Jan 2022 09:10:26 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1641996613; bh=KZDSqs/51XwqusN4C8hzSkTN30W8p/9kb17ee19cWrY=; h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To; b=h4aFf+BSuz/YZGNQsCgtMbgQbvCcKXh3hfOBwlAWg5fl4IPxx+QhCgwGJu/AJnrAc Czm7eFcT0Cl1UGZukior92o84UCGEmq2tSzQpdoG1U4RHJJu77lN/i7hrog+ZDYjfV DASbn8yGVpVXImlCMUEQbUvQ/ovaIzByeqdIgw8c= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from drachen.dragon ([88.66.201.186]) by smtp.web.de (mrweb106 [213.165.67.124]) with ESMTPSA (Nemesis) id 1Mr7eu-1mb3PW3MQg-00o4yp; Wed, 12 Jan 2022 15:10:12 +0100 In-Reply-To: <39D132B5-6B44-41F0-A618-6A68BFB5FEBF@gmail.com> (Philipp's message of "Wed, 12 Jan 2022 03:19:42 +0100") X-Provags-ID: V03:K1:8Qj1ThyTvW0CLuU0J7ZEFA7mUImjRjI4cuJubJZ4RccRr5FX8Fv wtzB7U641AXfhsUAvG37L7eZbtBVAUbt1QSsTY0jpTZto6CQfaojCNpNe1tozTQWGX4Jd0s s+erV81XHXYrTtitXlCXGGMVWvIi9lORyQhwHppyTVuwYr6XsBJIJX7PhMS6h96Ftp4gZQt qB92Xx5hsLlgl1MoZqAxg== X-UI-Out-Filterresults: notjunk:1;V03:K0:4TdWw7b+r4I=:o4PO0uAQPXRaFV4w2Oko9M 2b3xN0jB7RIlErlsvXwLtSbRgfLD6qGW6jVRbBmRYwpom6hEjPArMOz9uI9tMWBPzsjKyxFAH Wlrnz72m0Rsa1MC1zynx+INVbaFxRn4L84Amdfi4Q/Ek0N+jVrBFdxflVqXDzL54TNB/I67pH rgVOQPm5BFegrFCqJqzGXPA+Bdwgm7L/3k0QG9qfXT6EA9Q2tuZwo43oj3z+83eoMrxVr6/8E JlgE5ZADLNUveX0oJRIL7vo2DwsC2KNkL74cXcKiHVrDCornXNDwo6jwC/0nqNpAcJDxHDRc2 3Oa28E1EtZG0Wr0XWqO9DOkFommPjjJMf3yOx8K3P8dgzZhiAJH6ufAuSjLWQHAsUapxc9d+Z 6uPlFVqWkLhdq0WzPvU6L+ALHLVdVWD3dUvQIl/UiU4V4pG3pTK5RWKU3RdqU5kupL7IdmfVW VqvbVRLd07THFCf+EjsA84VJ+s7d+Nxzyf+6D+v+gD7Xb9nyqay/51zEvGBKhUqs3RsU8ucKI sqH0PQHtN0XQtJvprQWzslfKfktOVUnuf/Ruca8iGXXKkwOwr8isRO72QTMAB/Jzjf/cOTHwC DZv6AWuRYvL37REmRP51bpjXIFycBfdLfV9kAdrVMoKv9wwmyedpKGBYtHzJ8kJUVoJu4uz1Z icwiryQknkJlH/okNTAribI+bHMUqP8Fr8hsj997QoKxXY+dAniJUkPjnynhqkLTygJkycAP6 lh/cf66rpPGfQ69TCAqTuquPrv4Dd/V8MBWXZMLjBcDNv1ALybsedal5iQdIGbXFVlEgaVLy 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" Xref: news.gmane.io gmane.emacs.bugs:223997 Archived-At: Philipp writes: > 'git bisect' claims that the following commit is the culprit: > > commit 1362a9fec4dff341a84c881ac17dbf1ee2cf82fd > Author: Mattias Engdeg=C3=A5rd > Date: Fri Mar 5 20:21:01 2021 +0100 > > Make lambda-lifting work again Not that again. Let's CC Mattias then. > > Am 07.01.2022 um 10:36 schrieb Philipp Stephani : > >=20 > > I hit the following subtle Edebug regression in Emacs 28: > >=20 > > Create a file /tmp/pcase-edebug.el with these contents: > >=20 > > $ cat /tmp/pcase-edebug.el=20 > > ;; -*- lexical-binding: t; -*- > > (require 'rx) > > (defun f (a) > > (pcase a > > ((rx bos (let q (opt (let r nonl)) (let a nonl))) > > (message "%s" a)) > > ((rx bos eos) > > (message "%s" a)))) > >=20 > > Visit the file in Emacs: > >=20 > > $ emacs -Q -l rx /tmp/pcase-edebug.el > >=20 > > Move point into the `f' function and instrument it using C-u C-M-x. > > Then, byte-compile `f' using M-: (byte-compile 'f). > > In Emacs 28, this will generate the following warnings: > >=20 > > Warning: Unused lexical variable `q' > > Warning: Unused lexical variable `r' > > Warning: reference to free variable =E2=80=98a=E2=80=99 > >=20 > > The first two are expected, the third one is not. > > Indeed, M-: (f "ab") and stepping through the code will signal an error: > >=20 > > Symbol's value as variable is void: a Michael.