From unknown Sat Aug 09 04:53:23 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#46812 <46812@debbugs.gnu.org> To: bug#46812 <46812@debbugs.gnu.org> Subject: Status: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled Reply-To: bug#46812 <46812@debbugs.gnu.org> Date: Sat, 09 Aug 2025 11:53:23 +0000 retitle 46812 28.0.50; [native-comp] (lambda (x) (if (=3D x 0.0) (floatp x)= (error ""))) miscompiled reassign 46812 emacs submitter 46812 Pip Cet severity 46812 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 27 08:53:54 2021 Received: (at submit) by debbugs.gnu.org; 27 Feb 2021 13:53:54 +0000 Received: from localhost ([127.0.0.1]:43423 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lG02c-0000kJ-BB for submit@debbugs.gnu.org; Sat, 27 Feb 2021 08:53:54 -0500 Received: from lists.gnu.org ([209.51.188.17]:39112) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lG02b-0000kC-Fe for submit@debbugs.gnu.org; Sat, 27 Feb 2021 08:53:53 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:49146) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lG02b-00087P-7N for bug-gnu-emacs@gnu.org; Sat, 27 Feb 2021 08:53:53 -0500 Received: from mail-ot1-x32f.google.com ([2607:f8b0:4864:20::32f]:33574) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lG02X-0007bE-RC for bug-gnu-emacs@gnu.org; Sat, 27 Feb 2021 08:53:52 -0500 Received: by mail-ot1-x32f.google.com with SMTP id 40so3529431otu.0 for ; Sat, 27 Feb 2021 05:53:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=Ljnw7UUYC8anhA59BXMgKpvJNAZn5Lez4MylJ7OeLis=; b=lQdH0xUcbNibAqrSugiPGaSJUQd5JbHYFKJRGoN62SqbVPZEd/GeEia6q4Z8o5BOpw 3/qlNqUCC5CsjUSaEdS2cRLdMr+Ispjcc6izAMfMsJnY9BYZ82jKCdNn0bIFEeeGVgMw o5/bdEUjDIZjmTqyJgYaa43monUlNw4M5Vl9bPdNnLI20GY7hzZyhIJLz/ZWB7Yeu6GA r4RDvr5guDmNsB+KlUsozTT/tmaQ2MWbvTs5Ys8wbj0NhtY1WIQvuGdXdD6INFLHPqLe +AB9gtdhHWQqbYZS1P0tDt3AwrAJSficDJU0o7ABcgtmz4ZgQPhAozTyW9s933lLutMK KNBg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=Ljnw7UUYC8anhA59BXMgKpvJNAZn5Lez4MylJ7OeLis=; b=VWZYNRdpXtxWV7iZ+kd3HR+4EMrUoe5mOmLiRobMZNS6qe7jArrFP7UFi6o+QKdZae I9tjiep5NAhj0rFGEZxaPyQV6hSToo01yVwfcEofwHSPHRrBgaAyS0qNMf7V6aPQL2sS mA/7QGEXrSRKa7PhHk6J/6CACbv/aNDsqM8AU9l/EojnUR5Y30y9iq+PsHbD4SCqTZBj Tj/qMjHhLoNw5N0FzZ/EZSUcfhFHxi9CdroypS2IQJxdvbNCC2wkcJTVtpxWiKm6SHbY 7jU3E50COXaQO/EaMdS6zri0r0fLHBZN6YYLHj8bFgqVms20lN40Wr4kxcFlkVXlKjIT Rbnw== X-Gm-Message-State: AOAM530eVeK6UVbFteqgSIT8jwTIywhIgQ0AxaGKZ3FVUYZlb4l8IVGz sS0CCItC1ql1Z3D1n03MvvWhTFQzZT4YOay3hvnn/EEwMeN7Pw== X-Google-Smtp-Source: ABdhPJwFWy1pvLLwD2sWZxOTU0kF+dDYTt4C0at26lINTBSgtnq+DETWHJyFXbdEG44d7nhgPheRXXhcdoQBZWuKQRA= X-Received: by 2002:a05:6830:3090:: with SMTP id f16mr6327057ots.292.1614434028694; Sat, 27 Feb 2021 05:53:48 -0800 (PST) MIME-Version: 1.0 From: Pip Cet Date: Sat, 27 Feb 2021 13:53:12 +0000 Message-ID: Subject: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled To: bug-gnu-emacs@gnu.org Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::32f; envelope-from=pipcet@gmail.com; helo=mail-ot1-x32f.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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.3 (--) In *scratch*, evaluate (funcall (native-compile `(lambda (x) (if (= x 0.0) (floatp x) (error "")))) 0) Expected Result: nil Actual Result: t [Note that this depends on lexical binding being in effect] In GNU Emacs 28.0.50 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.24, cairo version 1.16.0) of 2021-02-27 built Repository revision: 42fc752a14b23be95f02b598930f13a96883d3a0 Repository branch: HEAD Windowing system distributor 'The X.Org Foundation', version 11.0.12010000 System Description: Debian GNU/Linux bullseye/sid Configured using: 'configure --with-native-compilation' Configured features: ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GSETTINGS HARFBUZZ JPEG JSON LCMS2 LIBOTF LIBSELINUX LIBXML2 MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PNG RSVG SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE XIM XPM GTK3 ZLIB Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: Lisp Interaction Minor modes in effect: tooltip-mode: t global-eldoc-mode: t eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc puny dired dired-loaddefs rfc822 mml mml-sec epa derived epg epg-config gnus-util rmail rmail-loaddefs auth-source eieio eieio-core eieio-loaddefs password-cache json map text-property-search mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils time-date help-fns radix-tree cl-print debug backtrace find-func comp comp-cstr warnings subr-x rx cl-seq cl-macs cl-extra help-mode easymenu seq byte-opt gv cl-loaddefs cl-lib bytecomp byte-compile cconv iso-transl tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice button loaddefs faces cus-face pcase macroexp files window text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads dbusbind inotify lcms2 dynamic-setting system-font-setting font-render-setting cairo move-toolbar gtk x-toolkit x multi-tty make-network-process nativecomp emacs) Memory information: ((conses 16 94746 8286) (symbols 48 8212 1) (strings 32 25369 3647) (string-bytes 1 846362) (vectors 16 17343) (vector-slots 8 322768 22051) (floats 8 27 89) (intervals 56 288 0) (buffers 992 15)) From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 27 08:58:19 2021 Received: (at 46812) by debbugs.gnu.org; 27 Feb 2021 13:58:19 +0000 Received: from localhost ([127.0.0.1]:43428 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lG06t-0000rq-0y for submit@debbugs.gnu.org; Sat, 27 Feb 2021 08:58:19 -0500 Received: from mail-ot1-f42.google.com ([209.85.210.42]:43878) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lG06r-0000rb-9p for 46812@debbugs.gnu.org; Sat, 27 Feb 2021 08:58:17 -0500 Received: by mail-ot1-f42.google.com with SMTP id v12so10800048ott.10 for <46812@debbugs.gnu.org>; Sat, 27 Feb 2021 05:58:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=2xhIP2nXdWFBPkFil0ZhKcSTCSQqA54Zi8xjPQnZSbI=; b=ooZyta8c62Ns/lkDffW5fcPcokSgxrOrb9VII+aR+hq/pW/xhokwjw6wpyw3HjH83h dk9LnRXE3E8yjkpGoCMy6u81l/BO/F8zES+Kn9MMbH6kUYx63XELQs97O6eromiN1vZh 4yphCaiQ2aRB9fyI9naRJSqQvloYHFEaqUt5n607Ra0ctQAoX72E9ERQLyvAIBK+O+ln 3ojzL77zoWfp5IkPqmrCcUfbjJmohZud/xM2Vs84/3jsAldxe+Iy3gjiInS8O3WZVO7w lEZ4Ldx3ZB2+uD1VqNEK6z/Ss5JgAGm6H7PIAMTwblMZ/wthLAyazHr3Ua0rw9Vsy/wq 2d/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=2xhIP2nXdWFBPkFil0ZhKcSTCSQqA54Zi8xjPQnZSbI=; b=YKzDduWN0CmEevQr3bYmPSsQ11FxIDevAwMidvRXhZu9MQf4WTTznyIV0bMZGdNbvx 8jpktOGA7OCNK98Ne6/ILcMhlgHkrr8Q5/6NBr/0G9thdthpwVvaRxr+uvotOgqCasVP 8XsaXN9aVSz+KddtimYj8Gy0xn85nJgw2Ncdm0ybso+gz76PYD73lYmF4fqK2XD7o8n+ 3yubSOD5P/DPSfQehjXq/vzskpP0Zt727kE2VsUjUxs7d/YGLdCkvgdDzo6YrRgH4Xc6 41hqLzwc4yJ7Ee+WGoCQ8oPoULh522fGB0aQkICzpeFUToOyI5M6+JY9YbiHzZEmJpBe vRlQ== X-Gm-Message-State: AOAM533OptLiW2weMMc6gl424SqHsvkgTnIjR2rYdh7gpJYdVCF0oo/r O5RmXNHsrU60fY+P7GnBb/zTmabX7yZmHD1CN5hDtO72xu8kIQ== X-Google-Smtp-Source: ABdhPJwP4w8U4QGKbDXqoNONJtluMFweKdQZfiGqiJlAK1yt944ighcK+1kJxL60yeZpbS10f9FeAdvAT/8wIKDs1pU= X-Received: by 2002:a05:6830:3090:: with SMTP id f16mr6336543ots.292.1614434291489; Sat, 27 Feb 2021 05:58:11 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Pip Cet Date: Sat, 27 Feb 2021 13:57:35 +0000 Message-ID: Subject: Re: bug#46812: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled To: 46812@debbugs.gnu.org Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 46812 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: -1.0 (-) On Sat, Feb 27, 2021 at 1:54 PM Pip Cet wrote: > In *scratch*, evaluate > > (funcall (native-compile `(lambda (x) (if (= x 0.0) (floatp x) (error "")))) 0) > > Expected Result: > > nil > > Actual Result: > > t > > [Note that this depends on lexical binding being in effect] This arose from a discussion in bug#46670, and the relevant comment with a fix (which unfortunately disables some correct optimizations in addition to the incorrect ones) is at https://lists.gnu.org/archive/html/bug-gnu-emacs/2021-02/msg01630.html. It's important we fix this correctly, but I'm predicting we won't. Pip From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 27 16:16:02 2021 Received: (at 46812) by debbugs.gnu.org; 27 Feb 2021 21:16:02 +0000 Received: from localhost ([127.0.0.1]:45486 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lG6wU-0007p4-0v for submit@debbugs.gnu.org; Sat, 27 Feb 2021 16:16:02 -0500 Received: from mx.sdf.org ([205.166.94.24]:56864) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lG6wR-0007op-3s for 46812@debbugs.gnu.org; Sat, 27 Feb 2021 16:16:01 -0500 Received: from mab (ma.sdf.org [205.166.94.33]) by mx.sdf.org (8.15.2/8.14.5) with ESMTPS id 11RLFvOq029875 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits) verified NO); Sat, 27 Feb 2021 21:15:58 GMT From: Andrea Corallo To: Pip Cet Subject: Re: bug#46812: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled References: Date: Sat, 27 Feb 2021 21:15:57 +0000 In-Reply-To: (Pip Cet's message of "Sat, 27 Feb 2021 13:53:12 +0000") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 46812 Cc: 46812@debbugs.gnu.org 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: -1.0 (-) 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. Thanks for reporting. Andrea From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 28 18:03:50 2021 Received: (at submit) by debbugs.gnu.org; 28 Feb 2021 23:03:50 +0000 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 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 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 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 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 From: Andrea Corallo To: Andrea Corallo via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Subject: Re: bug#46812: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled References: Date: Sun, 28 Feb 2021 23:03:37 +0000 In-Reply-To: (Andrea Corallo via's message of "Sat, 27 Feb 2021 21:15:57 +0000") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: 46812-done@debbugs.gnu.org, Pip Cet 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.4 (--) 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 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 01 01:57:44 2021 Received: (at submit) by debbugs.gnu.org; 1 Mar 2021 06:57:44 +0000 Received: from localhost ([127.0.0.1]:47895 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGcUy-0008Ny-Ef for submit@debbugs.gnu.org; Mon, 01 Mar 2021 01:57:44 -0500 Received: from lists.gnu.org ([209.51.188.17]:57148) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGcUv-0008Nq-Me for submit@debbugs.gnu.org; Mon, 01 Mar 2021 01:57:43 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:55110) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGcUv-0007fx-Dk for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 01:57:41 -0500 Received: from mail-ot1-x331.google.com ([2607:f8b0:4864:20::331]:43747) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGcUt-0005E5-Rz for bug-gnu-emacs@gnu.org; Mon, 01 Mar 2021 01:57:41 -0500 Received: by mail-ot1-x331.google.com with SMTP id v12so14389184ott.10 for ; Sun, 28 Feb 2021 22:57:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=VIXu+oRbwGe9NeU7IfNJbSokNahKvHpNXEKVwuQMGZU=; b=g61PWKkAIGID7zzA5kjAJ/9tllPjBk6InqVTZ3dfkMPMXh5+yjL4bJ8vYSabY+hGpL JVED21diR+6woGm+xBVJH+2jwPQEHP1KR1dPXYveLIbQ0LQ44gfSyfa/QV3O1ZH7ecRT B7WZ7nxJU9QNSfXg1WzpUDvKWIUC47dbuhtrh0XX3iG2JCqWA7OhMxUN9tnUHqtBadfs EmvrsWE4E/e4C/Twd7mHBDVnot5wUVeix463VIKE4rD5BtISb1e7PbzKqGnqV8ZkC78+ 7sHBgaBuU0jeAO9oHfRlbiD8GMcoBOg1YSvGwHUp+ajKrNIXbBWIqDoxCbsg4lo3BhPW dSGg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=VIXu+oRbwGe9NeU7IfNJbSokNahKvHpNXEKVwuQMGZU=; b=mQ8mvYFH4QcGRpAcDEMwspYfkP5tHqrno/Mclrjx772DOEbgh7X4yvZPXKQpgqPUMM J7Por8yOiZjOinS9JcOSbKkth6B9vOB1vqZFRihlWrykS/GWJ5iE0SgdTTwl343R/P7Z JLjnTWU+0fGWBfuWHn0ZPXb9pnzpjxths4qrrVA9BThe+LXyHShdCvj+Cmu68Gq0/n+I OkaeTWB0V74koA2TW7Gbm9jRLkceHOpIEu+7SyqQBMAcaYh5VzUUfmeRGaKMpNH+leaM T4EZW2AlQ0blMdBvlpkgmh6nGxxIFe9tr8y151wDGCBeRQyNpr5ktXW4BWJqhkeoyD4y YERA== X-Gm-Message-State: AOAM533Q77pscJrV2mXOrnvBevyovCUNywDEUkpYaEMdbe6CSNZ5fEgH sWqu7Or+WcyNKg7VgJACAIMvsqGYeb3ufFexDoM= X-Google-Smtp-Source: ABdhPJwgeeuMF99EsMmPvjMiw2h9BSMh1UmqygyBABW2ykh2xrkomGT5jpzbwbSKOJ0h5qC2ATg7/vSOv/4T2Bmz/jo= X-Received: by 2002:a9d:131:: with SMTP id 46mr12155257otu.287.1614581858717; Sun, 28 Feb 2021 22:57:38 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Pip Cet Date: Mon, 1 Mar 2021 06:57:02 +0000 Message-ID: Subject: Re: bug#46812: 28.0.50; [native-comp] (lambda (x) (if (= x 0.0) (floatp x) (error ""))) miscompiled To: Andrea Corallo Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2607:f8b0:4864:20::331; envelope-from=pipcet@gmail.com; helo=mail-ot1-x331.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: "Andrea Corallo via Bug reports for GNU Emacs, the Swiss army knife of text editors" , 46812-done@debbugs.gnu.org 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.3 (--) On Sun, Feb 28, 2021 at 11:03 PM Andrea Corallo wrote: > Closing as the reproducer is passing here. So you really want me to keep coming up with obvious variants of this bug and fix them one by one, until there are no obvious variants of it left and we're still left with a bug, just a less obvious one? I think that's noisy, inefficient, and it will still leave us with bugs in our code. I'm opening a bug for the real issue. Pip From unknown Sat Aug 09 04:53:23 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 29 Mar 2021 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator