From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Alan Mackenzie Newsgroups: gmane.emacs.bugs Subject: bug#65017: 29.1; Byte compiler interaction with cl-lib function objects, removes symbol-function Date: Thu, 3 Aug 2023 21:10:56 +0000 Message-ID: References: <8B08E514-B2D5-48F5-BA90-4F5A9492F8F9@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="39634"; mail-complaints-to="usenet@ciao.gmane.io" Cc: acm@muc.de, 65017@debbugs.gnu.org, Eric Marsden To: Stefan Monnier , Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Aug 03 23:12:17 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 1qRfcG-000A8J-Qf for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 03 Aug 2023 23:12:16 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qRfc5-0001wM-RA; Thu, 03 Aug 2023 17:12:05 -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 1qRfc3-0001vq-5F for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2023 17:12:03 -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 1qRfc2-0005O4-TT for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2023 17:12:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qRfc2-0001Fy-2F for bug-gnu-emacs@gnu.org; Thu, 03 Aug 2023 17:12:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Alan Mackenzie Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 03 Aug 2023 21:12:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65017 X-GNU-PR-Package: emacs Original-Received: via spool by 65017-submit@debbugs.gnu.org id=B65017.16910970684768 (code B ref 65017); Thu, 03 Aug 2023 21:12:02 +0000 Original-Received: (at 65017) by debbugs.gnu.org; 3 Aug 2023 21:11:08 +0000 Original-Received: from localhost ([127.0.0.1]:53033 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qRfb9-0001Eq-Ot for submit@debbugs.gnu.org; Thu, 03 Aug 2023 17:11:08 -0400 Original-Received: from mx3.muc.de ([193.149.48.5]:26044) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qRfb5-0001EI-ST for 65017@debbugs.gnu.org; Thu, 03 Aug 2023 17:11:05 -0400 Original-Received: (qmail 32255 invoked by uid 3782); 3 Aug 2023 23:10:57 +0200 Original-Received: from acm.muc.de (p4fe157c8.dip0.t-ipconnect.de [79.225.87.200]) (using STARTTLS) by colin.muc.de (tmda-ofmipd) with ESMTP; Thu, 03 Aug 2023 23:10:56 +0200 Original-Received: (qmail 27131 invoked by uid 1000); 3 Aug 2023 21:10:56 -0000 Content-Disposition: inline In-Reply-To: X-Submission-Agent: TMDA/1.3.x (Ph3nix) X-Primary-Address: acm@muc.de 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:266624 Archived-At: Hello, Stefan and Mattias. On Thu, Aug 03, 2023 at 13:30:43 -0400, Stefan Monnier wrote: > > As I suggested in my other post, it might be a "simple" problem of cache > > invalidation. Why is the value from the first compilation hanging around > > until the second one? > That's a side problem. If absolutely needed, we could add some ad-hoc > invalidation to work around the core problem, but I'd rather fix the > core problem. Sorry about my last post. I now see what the core problem is, namely that (equal 'equal #) is returning non-nil. I think the cause is in internal_equal in src/fns.c, where the following code appears: /* A symbol with position compares the contained symbol, and is `equal' to the corresponding ordinary symbol. */ if (SYMBOL_WITH_POS_P (o1)) o1 = SYMBOL_WITH_POS_SYM (o1); if (SYMBOL_WITH_POS_P (o2)) o2 = SYMBOL_WITH_POS_SYM (o2); This piece of code converts symbols with positions to ordinary symbols without first checking symbols-with-pos-enabled. I think this is the bug. I will work on a patch to fix it (which shouldn't take long). > Stefan -- Alan Mackenzie (Nuremberg, Germany).