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#46812: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled Date: Sun, 28 Feb 2021 23:03:37 +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="19647"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: 46812-done@debbugs.gnu.org, Pip Cet To: 46812@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Mar 01 00:04:31 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 1lGV71-00050C-0z for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 01 Mar 2021 00:04:31 +0100 Original-Received: from localhost ([::1]:42540 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lGV6z-0008Ha-Vo for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 28 Feb 2021 18:04:30 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39740) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGV6Y-0008HI-RY for bug-gnu-emacs@gnu.org; Sun, 28 Feb 2021 18:04:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:35965) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGV6Y-0007fi-KP for bug-gnu-emacs@gnu.org; Sun, 28 Feb 2021 18:04:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lGV6Y-0005Hy-G1 for bug-gnu-emacs@gnu.org; Sun, 28 Feb 2021 18:04:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 28 Feb 2021 23:04:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46812 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.161455343020298 (code B ref -1); Sun, 28 Feb 2021 23:04:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 28 Feb 2021 23:03:50 +0000 Original-Received: from localhost ([127.0.0.1]:47511 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGV6L-0005HI-PS for submit@debbugs.gnu.org; Sun, 28 Feb 2021 18:03:50 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:44150) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGV6J-0005H9-UJ for submit@debbugs.gnu.org; Sun, 28 Feb 2021 18:03:48 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39694) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGV6J-0008Fu-O2 for bug-gnu-emacs@gnu.org; Sun, 28 Feb 2021 18:03:47 -0500 Original-Received: from mx.sdf.org ([205.166.94.24]:54575) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGV6H-0007XY-VF for bug-gnu-emacs@gnu.org; Sun, 28 Feb 2021 18:03:47 -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 11SN3b3D001284 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits) verified NO); Sun, 28 Feb 2021 23:03:38 GMT In-Reply-To: (Andrea Corallo via's message of "Sat, 27 Feb 2021 21:15:57 +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:201035 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 (native-compile `(lambda (x) (if (= x 0.0) (floatp x) (error "")))) 0) > > Nice reproducer for a nice bug. > > This week-end I'm mostly off, will come back on this very quickly. > Here what was going on: `=' was treated homogeneously with other equality operators and in the 'then' branch of: (if (= x 0.0) then else) we were assuming x being 0.0. Indeed that's not correct as `=' has a more complex semantic allowing mixed integer float comparisons; ex (= 0 0.0) is satisfied. 5bc08559e8 allow now fwprop to propagate `=' semantic hopefully correctly, the patch adds also a bunch of tests to check for this. Closing as the reproducer is passing here. Thanks for reporting Andrea