From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#46843: 28.0.50; [native-comp] (lambda (x) (if (equal x b) (eq x b) (error ""))) miscompiled Date: Mon, 01 Mar 2021 17:26:29 +0000 Message-ID: References: Reply-To: Andrea Corallo Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="27230"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: 46843-done@debbugs.gnu.org, Pip Cet To: 46843@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Mar 01 18:27:20 2021 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 1lGmKG-0006wS-Ed for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 01 Mar 2021 18:27:20 +0100 Original-Received: from localhost ([::1]:42714 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lGmKF-00069j-Ht for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 01 Mar 2021 12:27:19 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39116) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGmJy-00067o-2d for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 12:27:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:39163) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGmJx-0002ah-Mi for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 12:27:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lGmJx-0007vt-JR for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 12:27:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 01 Mar 2021 17:27:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46843 X-GNU-PR-Package: emacs X-Debbugs-Original-To: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Original-Received: via spool by submit@debbugs.gnu.org id=B.161461959730461 (code B ref -1); Mon, 01 Mar 2021 17:27:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 1 Mar 2021 17:26:37 +0000 Original-Received: from localhost ([127.0.0.1]:50709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGmJY-0007vF-VV for submit@debbugs.gnu.org; Mon, 01 Mar 2021 12:26:37 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:43544) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGmJX-0007v7-8n for submit@debbugs.gnu.org; Mon, 01 Mar 2021 12:26:35 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38998) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGmJX-0005oP-37 for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 12:26:35 -0500 Original-Received: from mx.sdf.org ([205.166.94.24]:60755) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGmJV-0002Ta-Aw for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 12:26:34 -0500 Original-Received: from mab (ma.sdf.org [205.166.94.33]) by mx.sdf.org (8.15.2/8.14.5) with ESMTPS id 121HQTjo021232 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits) verified NO); Mon, 1 Mar 2021 17:26:29 GMT In-Reply-To: (Andrea Corallo via's message of "Mon, 01 Mar 2021 09:08:11 +0000") Received-SPF: pass client-ip=205.166.94.24; envelope-from=akrl@sdf.org; helo=mx.sdf.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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:201135 Archived-At: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" writes: > Pip Cet writes: > >> In *scratch*, evaluate >> >> (funcall >> (let* ((lexical-binding t) >> (a (list 'a)) >> (b (cons a a))) >> (native-compile >> `(lambda (x) (if (equal x ',b) (eq x ',b) (error ""))))) >> '((a) a)) >> >> Expected result: >> >> nil >> >> Actual result: >> >> t > > Thanks for reporting this, will come-up with a fix. Right 3d014e1bf4 is fixing the wrong assumtion that `equal' `eql' can be treated as `eq' in propagation as every immediate in the compilation unit is hash consed. Indeed this assumtion is wrong for more than one reason. Now under `equal' `eql' we propagate only fixnums and symbols values, all the other kind of values are promoted to their respective types and propagated as such. The patch adds some tests for that too. As the two reproducer are working here I'm closing this. Thanks for reporting. Andrea