From unknown Sat Jun 21 10:43:29 2025 X-Loop: help-debbugs@gnu.org Subject: bug#25558: Spurious warnings with variables mentioned only pcase guard patterns Resent-From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 28 Jan 2017 00:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 25558 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 25558@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.148556251631081 (code B ref -1); Sat, 28 Jan 2017 00:16:02 +0000 Received: (at submit) by debbugs.gnu.org; 28 Jan 2017 00:15:16 +0000 Received: from localhost ([127.0.0.1]:48674 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGfk-00085F-IF for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:16 -0500 Received: from eggs.gnu.org ([208.118.235.92]:39864) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGfi-000852-9I for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cXGfc-0004Fz-EH for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:09 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_50,FREEMAIL_FROM, RCVD_IN_SORBS_SPAM autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55323) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cXGfc-0004Fm-BI for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:15:08 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59068) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cXGfb-0004Me-GD for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:15:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cXGfY-0004DX-DX for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:15:07 -0500 Received: from mout.kundenserver.de ([212.227.126.187]:64412) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cXGfY-0004DK-2L for bug-gnu-emacs@gnu.org; Fri, 27 Jan 2017 19:15:04 -0500 Received: from [18.111.113.197] ([18.111.113.197]) by mrelayeu.kundenserver.de (mreue002 [212.227.15.168]) with ESMTPSA (Nemesis) id 0M8FCE-1cJKMB15Nq-00vtGS for ; Sat, 28 Jan 2017 01:15:01 +0100 From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Message-ID: Date: Fri, 27 Jan 2017 19:14:54 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA" X-Provags-ID: V03:K0:kBtM0yzuXA6aHd/LjLwjbqJzCMqotg8Sz95KBtnhiFE4/LNo8oM B9PBbF+qEMwnonicHeaKSssOtSD/8vsoetWMU1e/yFhPDTbenO0nge9Lk5WjQUKqBXZYfGc /2mFvDCBPtAp01YHXbHhckeO7XDR5zbTOgoJQq/PWdpAb7lazol7r5eIyyThi4hQMCUEJ7U nhtwjVq1lG1pfxZmpNV2g== X-UI-Out-Filterresults: notjunk:1;V01:K0:O3ledpgusc0=:PonUCID4jiy/GoeoPHhfYj TiR72wHXVPPM2I7GeILZH4i9Qe4lo0/PYJrjcUUfkzdNBvhS//GFVgjlrF8ha4KjSTrlUI+4E CSBbTfLBh8kpD1x9e5rdJYkKelt2MpGxpU/+N6xDcSr1jhHilOo5spt/R7692DaZzd7+MRQz5 BILJeP3Qn/0b5XTEq+5BXatigZ8DW2CBZhIPdG4qULW2Y7X9Px+QR8VGUt0LnlLtb8YulJdUR wu7yOa7AM8140iKUpQTNPwBycjV1SywDf/12ZeGW/UqTn1u6v0RtXUro1VY9oJweRTStyKxLy djXRWaKQ7L+GOE0wejPO/xk6Sxcm8hXGvGM3Lj5qOMwhSFv8atstfx2AOvidpN0sDvZYI7eKV at8aKfX5dWaMS2mS14WjSFftntoEq7HFNCmHFWdq0EvQjTJ++hG3rEjZayGWIEcRn1l521j9p 0gVJVzyOzSak/Dd5GYSgn81V72kqThxy4w/oI9uTs2vYghALqEjQNASmqtjM4nMOe4AahmgFC tOG7ZRAh0jJNna1BHLiLlClXmrE6TMJqNifMxAmKcJvVgD/kJprry8Wdlh1xXgQXi0gAayFgq rfo8Dt2hWwik63E2w/VP8Q5LxSQqSZiVDkumNNYKGppdD9iIZdqlp4jDcCmAUzUuzUMBNSmNV HsNdpZmOsQQeHopsVdcvY7Od0MW1ny2SYAFQ7dibtAdroIvGXONvU+jtJa86LcvtU/9I= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.5 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.5 (---) This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA Content-Type: multipart/mixed; boundary="HUU8KFua6PPsIUAfOJNFvliNIWioOsFEn"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: bug-gnu-emacs@gnu.org Message-ID: Subject: Spurious warnings with variables mentioned only pcase guard patterns --HUU8KFua6PPsIUAfOJNFvliNIWioOsFEn Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable The following causes a warning (unused variable 'b'): (pcase '(1 2) ((and `(,a ,b) (guard (equal a b))) a)) This is due to pcase let-binding 'a' twice; once around the guard test ('= (equal a b)'), and once around the body ('a'). --HUU8KFua6PPsIUAfOJNFvliNIWioOsFEn-- --vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJYi+J+AAoJEPqg+cTm90wjueIP/2lgv5vPXtUJohsn+WwQAjnL 8jxwgONEUpgs+BLpI4L7+15a6lIfxkhQvv0pRbqBIJRGfWywYHesFPITgYN3shbW u2kGtCVUsT5umCh6FoJIDPamUNEF+3d/u3SEUrhB9XDbzpemqF/mDTaKFKg+0biL Z8FeM7GmQAv9/CB/natRRB/pi326XmNyO7i/hi7ZC9QhwYjK9XoZPG0ejPGsNw6e +nVBkwlfXwicqMHnNUHqTxNdcmTOh8S1lg6ZRsJ67YoZtsCaxbntaBVRSKaz2V3r SGsdy+C0xD7q9Mji2SnaohTA1TMIiv641QPNmLTjvbLeBg99C38E+Bm8iG/jIZgv NFmMcSn74Z2mkEiU5jzn79acmsSuebE2QWVf46Sys46nkKwluoP8NbhEZ+3708wL aJblwHvbiYhwvwpkHuTbw2qdRPwE4dR1UATyag59PlRPcerSXvx2rNYUGltrldFS DBCJXbaHSi94zB5oUffnsCcvgFiHRzYLEG9S5wk1dgvoV9jPRKOz9YcqSoZ0EDIP 9Ukj7TkMypN6vx9NMlvgV4Z5NEGZOIdrdZgwNI6yyynSpwLx8fwq+AmvMoAy6FIO jd9Yr6jUfLNcV+/PM5EIvLLP5+k5nrsUH0DUzhE5/wOEwAlNPbA19XTY1ue39aKQ LM2xo8I3wbzxtqj7RbV1 =B9oC -----END PGP SIGNATURE----- --vuxAnnbJdUvDjFLSLd8vhXRg4LOT0IDaA-- From unknown Sat Jun 21 10:43:29 2025 X-Loop: help-debbugs@gnu.org Subject: bug#25558: Spurious warnings with variables mentioned only pcase guard patterns Resent-From: npostavs@users.sourceforge.net Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 28 Jan 2017 00:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 25558 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Cc: 25558@debbugs.gnu.org Received: via spool by 25558-submit@debbugs.gnu.org id=B25558.148556302131836 (code B ref 25558); Sat, 28 Jan 2017 00:24:02 +0000 Received: (at 25558) by debbugs.gnu.org; 28 Jan 2017 00:23:41 +0000 Received: from localhost ([127.0.0.1]:48681 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGns-0008HP-Qe for submit@debbugs.gnu.org; Fri, 27 Jan 2017 19:23:40 -0500 Received: from mail-io0-f173.google.com ([209.85.223.173]:36022) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cXGnq-0008H1-Gd; Fri, 27 Jan 2017 19:23:38 -0500 Received: by mail-io0-f173.google.com with SMTP id j13so72780755iod.3; Fri, 27 Jan 2017 16:23:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=GLPV4V40jSEVKNWsor9gQOCxBRKztUcszxZJe3XYyfA=; b=bptOfIvQKqPslzH1oTjzjyYC18JSkPWNjhwHjohxHvALbiLhjC6B/s+huRrH1JdmbM gDTsOMBJa4NlxQy/dul+fHX4n+L8dNEoqBXSD2FIr+isMmrVJQBLr6LP6Wn+BhSMCeV6 SzouD4vFTdkZ8fLvmKvoAaxqT2hLGZKA/eVDJZtJjmLHwASb0Y3BSEq8hGZLtj3ZB9eV 6p0RhxnA4SRuqVU5qsaJ5SWmaSxv+pyWOoidqtq6ngi5KcqHnBe86muWMUCzD8bwe+Io 91YNfRniPaLRJ3vyvUOiAYH8O3yIQw7mfqaW5IzBp/zUVYACxi3MntVDBqNR6B/IyJvO fe0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:to:cc:subject:references:date :in-reply-to:message-id:user-agent:mime-version :content-transfer-encoding; bh=GLPV4V40jSEVKNWsor9gQOCxBRKztUcszxZJe3XYyfA=; b=tQ0G1len92DphVhI9E4gxVdTPyX994LZwNw1N9I4J7Qg9lsRuXwPgp+ixxmU/COBls P8N1xN8czRCoyERvlq46L9BXFU12R2bmxho8pcKT8uaVX7zUmaGx9o7uqGp3Og1JTjeg 7dZecSfHQNWsWnZPDcFVZt91IsYMYdWG7lzuNPbVTHlWuJUHJEWCqItYyYGMikDGlrD3 NItHcUPnNBuGYwEvrJBq/RmZ/Xgjing2mVtoi+LlqCbzlgXN2QHZFdCR008aBPB5RYm7 8297RmWshxzJrV9NfUQ23ySBHgcdV1vNGBGcQ5wkYEEBKoVnj47OiNKjm/ICmNAfhbsB 2MBw== X-Gm-Message-State: AIkVDXJf9zwBNx5KMDyv5pwl7DLXgB8GRMRCECp32kfbanTB9xlX8bXNZjcwxhVrrXx1/A== X-Received: by 10.107.131.229 with SMTP id n98mr11516183ioi.39.1485563012713; Fri, 27 Jan 2017 16:23:32 -0800 (PST) Received: from zony ([45.2.7.65]) by smtp.googlemail.com with ESMTPSA id j14sm3922776itd.0.2017.01.27.16.23.31 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Jan 2017 16:23:32 -0800 (PST) From: npostavs@users.sourceforge.net References: Date: Fri, 27 Jan 2017 19:24:41 -0500 In-Reply-To: ("=?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel"'s message of "Fri, 27 Jan 2017 19:14:54 -0500") Message-ID: <87vat0rpyu.fsf@users.sourceforge.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.6 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.6 (/) forcemerge 16771 25558 quit Cl=C3=A9ment Pit--Claudel writes: > The following causes a warning (unused variable 'b'): > > (pcase '(1 2) ((and `(,a ,b) (guard (equal a b))) a)) > > This is due to pcase let-binding 'a' twice; once around the guard test ('= (equal a b)'), and once around the body ('a'). This was reported as #16771. It seems difficult to fix, unfortunately. From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 01 08:37:50 2017 Received: (at control) by debbugs.gnu.org; 1 Jul 2017 12:37:50 +0000 Received: from localhost ([127.0.0.1]:46982 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dRHeo-0007pW-HM for submit@debbugs.gnu.org; Sat, 01 Jul 2017 08:37:50 -0400 Received: from mail-io0-f179.google.com ([209.85.223.179]:35625) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dRHen-0007pK-Ku for control@debbugs.gnu.org; Sat, 01 Jul 2017 08:37:49 -0400 Received: by mail-io0-f179.google.com with SMTP id h134so36211497iof.2 for ; Sat, 01 Jul 2017 05:37:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:from:to:subject:date:message-id:mime-version; bh=SvqTyG95xdO5v1p87hexcmQ753YcdRwEQ1Ku9CGr/WE=; b=r0/gLXK5foseV7vH42IgQ/m1Fe+Ca80d8wXAELMoNvkzfX9d5JZQQUKOyx0lL4LcTe AJCVS6e345COmlaLidPHkfHj4NdPC4XwjqUGe04n6oES4r8fw+JoBVsNJ8DMpWZHmd6e umHJEvulpwX2CUWxiC8/0i/XeO8s86hWZ5P1Wbo7Sk/6oanR7bhZmQD/kaei2Ou7QpPD n1b4RHzOFJeBG2AfGISJUMnc4JTaENzXHq/fbno+So/qaQQc0KnuYOnxmD0YrQtknpco G8kAyEN84kJvhcKyeKc8yjDeA9RSkIa9zNLTs/VGoiPecRedWwGjZV6rtOfK5c4P8icj x9vg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:to:subject:date:message-id :mime-version; bh=SvqTyG95xdO5v1p87hexcmQ753YcdRwEQ1Ku9CGr/WE=; b=swaaVwIecIa/zSiThgAjRKFOQy1jX5d17UgWbemyx4h3tn3m3cathUAmilywstkBzD 6byFYDBo/tx3uzdWQpVOc47KvyY7H+YxC8x7CBZuiW5ZAaLmPjEVnXlAuJ6NvbpkDuTD ikufHY9O9oT9hF2+r13Q+AOtFYhXIE4+rxCliX6t1m5V0GqNFvIBaDOxq+lCAaHjJ5rq A0VIgr6M5B7gDgZNU9gil3amAmeBZ+TXFit2FSP1nIl6r3LzqjGZyXHBeTMxMI7Vxhr6 vSHh+QuBgMl1Pg11qVchywywx6j9cgqeW+CDCDwE27lqijzzBSfTKViAeaZwUgzCMZio 7DVQ== X-Gm-Message-State: AKS2vOzpmO9iA9PGLzewZm4FoEuHHJWcj04DC23oTFcyc7ZG8HjGBFdu zDdn3usakysZU0M+ X-Received: by 10.107.152.131 with SMTP id a125mr13193286ioe.205.1498912663949; Sat, 01 Jul 2017 05:37:43 -0700 (PDT) Received: from zony ([45.2.7.65]) by smtp.googlemail.com with ESMTPSA id g198sm3255433itb.3.2017.07.01.05.37.43 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 01 Jul 2017 05:37:43 -0700 (PDT) From: npostavs@users.sourceforge.net To: control@debbugs.gnu.org Subject: control message for bug #27545 Date: Sat, 01 Jul 2017 08:39:20 -0400 Message-ID: <87h8ywl4av.fsf@users.sourceforge.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.1 (--) forcemerge 16771 27545 quit From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 01 08:44:58 2017 Received: (at control) by debbugs.gnu.org; 1 Jul 2017 12:44:58 +0000 Received: from localhost ([127.0.0.1]:46988 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dRHli-0007zh-Ad for submit@debbugs.gnu.org; Sat, 01 Jul 2017 08:44:58 -0400 Received: from mail-it0-f47.google.com ([209.85.214.47]:37312) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dRHlg-0007zU-SF for control@debbugs.gnu.org; Sat, 01 Jul 2017 08:44:57 -0400 Received: by mail-it0-f47.google.com with SMTP id m84so37149993ita.0 for ; Sat, 01 Jul 2017 05:44:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:from:to:subject:date:message-id:mime-version; bh=aivKJdo50qbyEJ3tV+KglM4/CAcNYsH956FGvNMQ11I=; b=nlpNUYzSZMymtiPH8QSaz45myDy+0lDvKZ36toe/AXqfNRhpFMc8rBKWHUXPCp+uPd lu4zUw+uUEsD+521lcDYgyrJDkN7OC2FBWR1BV67SPOTVkiCEB6n8ICq0bQnZrClKLkD /aJCF4tzoGiUZw0yXjhskjPmd3QLHvmP4GDMxMcfDq5Q5M2QF+jVRZ6GAbkgC4EjEm4G chE2VV6MtdrJ/aWxD2pQtDdqOsCQ+fzbu8DLw/XAiCA5Sym3pl19riRY+ZmQQ1hDElUd vWAvTocEWTma7qQXYN5cWI3yy0Z3MPd0YF6SUVIid8V+1CNbGsUt/Fy2it2iw+r8zypC Xi5A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:to:subject:date:message-id :mime-version; bh=aivKJdo50qbyEJ3tV+KglM4/CAcNYsH956FGvNMQ11I=; b=La113M9Fa/oSKiMDNkAm5V9g2oWyJQ/KfsEXMNbNzcawKn8JeMl3Bgh0Jz3nPjnJGE onp5OSDr1mzoEuTaEGG5vf3sWAYCBaRsa7PyTSPwLpj2REE2VacAqBIp9F/ynkyq31WV ucBAS8C7Om571kGAaEMEvHpRx/DV5EFGybZq0+DmP2iSZpIiW/ovG6eO3PmM5rAM29pj tu9xAr1o6W1aCSRZ7tX/6ErJeFajuuoUw5ICXkZR0EhffKzpIiaWVW9jhinOSnYXlaJ9 JkFb8egVM7FfNggd/iEiFV+cg2iFfB+JHHeSnpmiq4nhg52Zor8rhDXl/H5q0DT9GJoE fLtw== X-Gm-Message-State: AIVw111fZ8tJS9+KH/llbpLwFry2/vjCbK/DYKlOjXzVvfQwvp5ZABHg utpKv71jnp1CfeJe X-Received: by 10.36.40.145 with SMTP id h139mr370703ith.84.1498913091071; Sat, 01 Jul 2017 05:44:51 -0700 (PDT) Received: from zony ([45.2.7.65]) by smtp.googlemail.com with ESMTPSA id s68sm3536744ita.29.2017.07.01.05.44.50 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 01 Jul 2017 05:44:50 -0700 (PDT) From: npostavs@users.sourceforge.net To: control@debbugs.gnu.org Subject: control message for bug #11864 Date: Sat, 01 Jul 2017 08:46:27 -0400 Message-ID: <87fuegl3z0.fsf@users.sourceforge.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.7 (/) retitle 11864 edebug fails to instrument code which uses net-yet-loaded macros tags 11864 + confirmed # pcase guard unused var warning tags 16771 + confirmed quit From unknown Sat Jun 21 10:43:29 2025 X-Loop: help-debbugs@gnu.org Subject: bug#25558: Spurious warnings with variables mentioned only pcase guard patterns Resent-From: Lars Ingebrigtsen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 03 Sep 2021 08:50:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 25558 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: confirmed To: Yuri Khan Cc: 27545@debbugs.gnu.org, 25558@debbugs.gnu.org Received: via spool by 25558-submit@debbugs.gnu.org id=B25558.16306589619902 (code B ref 25558); Fri, 03 Sep 2021 08:50:02 +0000 Received: (at 25558) by debbugs.gnu.org; 3 Sep 2021 08:49:21 +0000 Received: from localhost ([127.0.0.1]:42900 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mM4sz-0002Zd-4L for submit@debbugs.gnu.org; Fri, 03 Sep 2021 04:49:21 -0400 Received: from quimby.gnus.org ([95.216.78.240]:55222) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mM4sw-0002ZJ-GX; Fri, 03 Sep 2021 04:49:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID :In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=vbYbrHYQpvFvRodK3KMRqZaA+dyNnzUbV90IJVLw4DE=; b=cqovasSzRHMC1aF8BtSzp6ChFJ jM9pNEWzsLYvh6HdwqOQiDtKjBd1MKbCSvVp4jDn5OVHDUS99VaLTnlAW3QUzuLTTkvYQKlRQfLgK 9SmAMyVnQ2YuaOZxj1VuMy1SkJBDGXdr+F0B8FjXFSXnmsSz5OHetI+RZns22Bm0SI+8=; Received: from [84.212.220.105] (helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mM4sn-0002Bf-LP; Fri, 03 Sep 2021 10:49:12 +0200 From: Lars Ingebrigtsen References: Date: Fri, 03 Sep 2021 10:49:09 +0200 In-Reply-To: (Yuri Khan's message of "Sat, 1 Jul 2017 17:01:17 +0700") Message-ID: <871r6611tm.fsf@gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Yuri Khan writes: > C-x C-f test.el RET > > ;; -*- lexical-binding: t -*- > > (defun foo (x) > (pcase x > ((and `(, bar , baz) > (guard (eq bar 'quux))) > baz))) > > C-x C-s > M-x byte-compile RET test.el RET > > Observe [...] Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Yuri Khan writes: > C-x C-f test.el RET > > ;; -*- lexical-binding: t -*- > > (defun foo (x) > (pcase x > ((and `(,bar ,baz) > (guard (eq bar 'quux))) > baz))) > > C-x C-s > M-x byte-compile RET test.el RET > > Observed output: > > Compiling file /home/yuri/test.el at Sat Jul 1 16:27:36 2017 > test.el:3:1:Warning: Unused lexical variable =E2=80=98bar=E2=80=99 I can reproduce this in Emacs 26.1, but not in Emacs 28, so I'm guessing that this is fixed, and I'm closing this bug report. If there's still problems here, please respond to the debbugs address and we'll reopen. --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 03 04:49:26 2021 Received: (at control) by debbugs.gnu.org; 3 Sep 2021 08:49:26 +0000 Received: from localhost ([127.0.0.1]:42905 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mM4t4-0002a2-Me for submit@debbugs.gnu.org; Fri, 03 Sep 2021 04:49:26 -0400 Received: from quimby.gnus.org ([95.216.78.240]:55236) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mM4t2-0002Za-VQ for control@debbugs.gnu.org; Fri, 03 Sep 2021 04:49:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc: MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=g6Tl573y6tdqnLFbua7tjX+yzOMy+ipkBAUlsLwJfZU=; b=rEI0a4714/6IfxCb/FrikWUi2s JV42zjIsZNUQDMwpC8ZpVfEpowPyXIZgSO23Um3MUk7oPWt8LXgzPvVkF65did9fZ7/w2i8RY3pNV eATbyA+PNv1EM7Q/w2gcV14K3M641e/c072WMW0CmAbhSpOaagjei+ghJjGSNa85SUHo=; Received: from [84.212.220.105] (helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mM4sv-0002Ci-7C for control@debbugs.gnu.org; Fri, 03 Sep 2021 10:49:19 +0200 Date: Fri, 03 Sep 2021 10:49:16 +0200 Message-Id: <87zgsuyrg3.fsf@gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #25558 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: close 25558 28.1 quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) close 25558 28.1 quit