From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Pip Cet via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#74771: Native compilation bug with struct predicates when lexical binding enabled (HEAD) Date: Tue, 10 Dec 2024 22:12:03 +0000 Message-ID: <87frmvmbnb.fsf@protonmail.com> References: <0446a656-1fa2-4160-a8ba-69c060a52589@risk-engineering.org> Reply-To: Pip Cet 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="11740"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 74771@debbugs.gnu.org To: Eric Marsden Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue Dec 10 23:13:24 2024 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 1tL8Tq-0002uD-Ay for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 10 Dec 2024 23:13:22 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tL8Ta-0007WB-4V; Tue, 10 Dec 2024 17:13:06 -0500 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 1tL8TY-0007Vv-0L for bug-gnu-emacs@gnu.org; Tue, 10 Dec 2024 17:13:04 -0500 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 1tL8TX-0002be-Nw for bug-gnu-emacs@gnu.org; Tue, 10 Dec 2024 17:13:03 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:From:Date:To:Subject; bh=ECz+GABjbmQg6rV1h1I3os4NfX5GAshKYYs9fTTP/oE=; b=f5tigvRlRkXGZnJ0n0sIxcz++WqCDUWsVsduKKs4A2A2LY7obv/oisKNO1iyg4R6EGXzzUzOuk3iPkn0moS962EOiXn+7SgVlpQhKV6iHisdaPu/aFKbzKbZLdpFagyxnc+Euvl7q89p9Z8GmbyPrJ004XuY/H5YIPm96wMLwZIQ8zPpJX4xQr6V/VkIqJT1hmInDV9B2/gTmTQpIauQgkcFtK1BgZPHCRwSKBPt/vEMCDKm2hq2JIGuU6nMWuVT0h6zT1hfKOvtB9prCb6+dINv6V03oIE6YqSykXTGisYsXXy+TSwAHnsCfy1o73eFDqxxJQMav8mKsa7dSPBgqg==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tL8TW-000722-NL for bug-gnu-emacs@gnu.org; Tue, 10 Dec 2024 17:13:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Pip Cet Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 10 Dec 2024 22:13:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 74771 X-GNU-PR-Package: emacs Original-Received: via spool by 74771-submit@debbugs.gnu.org id=B74771.173386873826931 (code B ref 74771); Tue, 10 Dec 2024 22:13:02 +0000 Original-Received: (at 74771) by debbugs.gnu.org; 10 Dec 2024 22:12:18 +0000 Original-Received: from localhost ([127.0.0.1]:59899 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tL8So-00070H-Fd for submit@debbugs.gnu.org; Tue, 10 Dec 2024 17:12:18 -0500 Original-Received: from mail-40134.protonmail.ch ([185.70.40.134]:17291) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tL8Sl-0006zW-SA for 74771@debbugs.gnu.org; Tue, 10 Dec 2024 17:12:16 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1733868729; x=1734127929; bh=ECz+GABjbmQg6rV1h1I3os4NfX5GAshKYYs9fTTP/oE=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector:List-Unsubscribe:List-Unsubscribe-Post; b=OyEnIsy9T12lkRAhMml0Nbuxqw4n5gdLNG5e4cJxGlKKtPl7oj0DbZZdXP6BIcHeA cPHuhpDoJDLVE4nste0G4B3+qyptWtJIyl2UlMd0UhmyFbbC9udW0gZltkGX7sAPaw 0ZFUGcXKY+quPJ9Nc60diQYM6HXBDtB1QcRqKkAyYQV7Y4ZCklaA0t3mqt01iq8eRo a0UkRBEDAXWn9LUh+ALV2tBLDz+J9b5MoxCFlXQR0oNBsEys9zrJFxZWwuVr2+EhOu Q6KkLbkcT8d2XlkBUbkCl7Ffa6mmccr5LPnPooL+ESdfYHsTXkdGUFEdtl7yOnQEMq BsihNXtUD50ag== In-Reply-To: <0446a656-1fa2-4160-a8ba-69c060a52589@risk-engineering.org> Feedback-ID: 112775352:user:proton X-Pm-Message-ID: 6d9ec4763e42cee9b40475194568e73d7de7dab4 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:296787 Archived-At: Pip Cet writes: > IIUC, the code blindly assumes that cond-jump would use t as its second > argument. In your code, the second argument was nil, so the assumptions > were put into the wrong basic blocks. I did not understand correctly. It seems cond-jump is still limited to a nil second argument, which is an undocumented assumption that comp.el continues to rely on. I still think comp--emit-assume does the wrong thing when negating an assumption, but we've been there before... Pip