From unknown Tue Aug 19 07:26:49 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#49749 <49749@debbugs.gnu.org> To: bug#49749 <49749@debbugs.gnu.org> Subject: Status: 26.3; 26.3 & 27.2: invalid byte compiler warning in short-circuited or form Reply-To: bug#49749 <49749@debbugs.gnu.org> Date: Tue, 19 Aug 2025 14:26:49 +0000 retitle 49749 26.3; 26.3 & 27.2: invalid byte compiler warning in short-cir= cuited or form reassign 49749 emacs submitter 49749 Pierre Rouleau severity 49749 wishlist tag 49749 notabug moreinfo thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 27 14:54:23 2021 Received: (at submit) by debbugs.gnu.org; 27 Jul 2021 18:54:23 +0000 Received: from localhost ([127.0.0.1]:53896 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m8SDf-00015U-55 for submit@debbugs.gnu.org; Tue, 27 Jul 2021 14:54:23 -0400 Received: from lists.gnu.org ([209.51.188.17]:57350) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m8SDc-00015L-4R for submit@debbugs.gnu.org; Tue, 27 Jul 2021 14:54:22 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54864) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m8SDb-0004GP-RV for bug-gnu-emacs@gnu.org; Tue, 27 Jul 2021 14:54:19 -0400 Received: from mail-qk1-x736.google.com ([2607:f8b0:4864:20::736]:36769) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1m8SDZ-0007tC-VN for bug-gnu-emacs@gnu.org; Tue, 27 Jul 2021 14:54:19 -0400 Received: by mail-qk1-x736.google.com with SMTP id b20so13384230qkj.3 for ; Tue, 27 Jul 2021 11:54:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to; bh=DTtA6YGq3rt/sSHUrhWuSkRmR+ewRhxKkQtA6S/UDPk=; b=lBNRv74UfxbVfOHZc0OgVinq5YC4t0XpU8aApGyzjLLU8I9ALgPWPEamNRRQ5hfdKK VBavxO5sU7rLotcP7YJS/tpMM0c9rNSPpAo+KVGsGKMiDSzlHVQViIeiO/EYqHpTQx9h DopTsMJJneiD/aPtWCZCA7H8xStv2yKfMuxAzwIHsIaAODFl97yX8l6jjaS9TYhPEszo 5GgAHEZsgMY1Mih8aBtwKBjxU8Jdj5nLkZjDjiJEBkP1lsnZTJfFJzFSvs4BCjCp+85M BMNqG7f61fiBr8DenfZhXSOv36vmfuq2ssoY/G9Qu+Id5xotuB3A1dSqYs/fum73yPxv Z/xQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:to; bh=DTtA6YGq3rt/sSHUrhWuSkRmR+ewRhxKkQtA6S/UDPk=; b=Gkah/oUwSGUGHPbiEaduCidTTYWIjBYRQ3e7FULW2Wx5/bTGffNgPKxeoM88wb2SXE 6P6tp/k33k0M94Y3zhUSUOy0HlWyKVhQOakCQRvBo90Ax50Os9VP1Lt/IUij5uONX0iV HKpJPB7RPHcJT216qfb7UmJfecl0RBjbWh/QAjWHXdPuyxjBMHh/2inRDWH2HXc+/eHu cj+YESjyeYWhabmlNz/JudJhCI+vZtnzpOgYcbM2IJfXtZa86JBgs9BmXTM61d0XXo6t df7MiPWwmmSfwB3l23mhOV6WhNADPClOiz9Hzv7Wc1GIRls0FN5VlkjmIJTFA8NdqyD5 N9PA== X-Gm-Message-State: AOAM533Tn2iyJqyjFZO1k6PPSvO8RUi6iIRpnTrBrNTDk3WZMfHyp8tK Xuijp3+1siCz0CamPpafd8hKylJ/IbA= X-Google-Smtp-Source: ABdhPJxLgUJdphXJmxmUqX2DJNR94tld8TLJyWAo44gF+rUl/t/NR43pUas2JhAQlglrrkb8DHfJWw== X-Received: by 2002:a37:487:: with SMTP id 129mr23078431qke.154.1627412055961; Tue, 27 Jul 2021 11:54:15 -0700 (PDT) Received: from [192.168.0.187] (modemcable082.211-161-184.mc.videotron.ca. [184.161.211.82]) by smtp.gmail.com with ESMTPSA id c197sm2090633qke.33.2021.07.27.11.54.14 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 27 Jul 2021 11:54:15 -0700 (PDT) From: Pierre Rouleau Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.21\)) Subject: 26.3; 26.3 & 27.2: invalid byte compiler warning in short-circuited or form Message-Id: <1B5C81C0-5D9A-4ED5-B56A-FC6AAA1A8A87@gmail.com> Date: Tue, 27 Jul 2021 14:54:14 -0400 To: bug-gnu-emacs@gnu.org X-Mailer: Apple Mail (2.3445.104.21) Received-SPF: pass client-ip=2607:f8b0:4864:20::736; envelope-from=prouleau001@gmail.com; helo=mail-qk1-x736.google.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 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_ENVFROM_END_DIGIT=0.25, 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.1 (-) 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.1 (--) Paste the following code inside the scratch buffer (nothing else): (defun f-and () "Use and." (when (null (and (boundp 'foo) foo)) ; no warning here, as expected. = =20 (message "foo is not set"))) (defun f-or () "Use or." (when (or (null (boundp 'foo)) (null foo)) ;=3D> ``Warning: reference to free variable = =E2=80=98foo=E2=80=99`` =20 (message "foo is not set"))) Then do: - ``M-x compile-defun`` with point over f-and. No warning is reported as expected. - ``M-x compile-defun`` with point over f-or. This time the byte compiler (of both Emacs 26.3 and 27.2) reports a "Warning: reference to free variable =E2=80=98foo=E2=80=99" on the = line identified in the code. I believe the byte compiler warning to be invalid. The symbol `foo' is not bound but the code checks if it is bound first with the line just above. The ``or`` form is short-circuiting and will not eval the (null foo) at that point. Furthermore the code in `f-or' is a De Morgan equivalent boolean expression of the one inside the `f-and' function. Both functions `f-and' and `f-or' will run to completion when called and both issue the "foo is not set" message. In GNU Emacs 26.3 (build 1, x86_64-apple-darwin18.6.0) of 2019-08-30 built on Mojave.local Recent messages: Contacting host: debbugs.gnu.org:443 Opening nndoc server on = /var/folders/xb/xffhmkvs3ssfdqd4xk7lftsr0000gn/T/gnus-temp-group-6iUAmw-ep= hemeral...done Contacting host: debbugs.gnu.org:443 Opening nndoc server on = /var/folders/xb/xffhmkvs3ssfdqd4xk7lftsr0000gn/T/gnus-temp-group-Y4gIQl-ep= hemeral...done Contacting host: debbugs.gnu.org:443 Opening nndoc server on = /var/folders/xb/xffhmkvs3ssfdqd4xk7lftsr0000gn/T/gnus-temp-group-87ADIS-ep= hemeral...done Contacting host: debbugs.gnu.org:443 Opening nndoc server on = /var/folders/xb/xffhmkvs3ssfdqd4xk7lftsr0000gn/T/gnus-temp-group-MiDCIW-ep= hemeral...done Contacting host: debbugs.gnu.org:443 Opening nndoc server on = /var/folders/xb/xffhmkvs3ssfdqd4xk7lftsr0000gn/T/gnus-temp-group-puQ3A6-ep= hemeral...done Configured using: 'configure --disable-dependency-tracking --disable-silent-rules --enable-locallisppath=3D/usr/local/share/emacs/site-lisp --infodir=3D/usr/local/Cellar/emacs/26.3/share/info/emacs --prefix=3D/usr/local/Cellar/emacs/26.3 --with-gnutls --without-x --with-xml2 --without-dbus --with-modules --without-ns --without-imagemagick' Configured features: NOTIFY ACL GNUTLS LIBXML2 ZLIB MODULES THREADS Important settings: value of $LANG: en_CA.UTF-8 locale-coding-system: utf-8-unix Major mode: Debbugs Minor modes in effect: eros-mode: t global-undo-tree-mode: t undo-tree-mode: t ido-everywhere: t which-key-mode: t winner-mode: t key-chord-mode: t global-anzu-mode: t anzu-mode: t show-paren-mode: t recentf-mode: t tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t buffer-read-only: t column-number-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: /Users/roup/.emacs.d/utils/benchmark-init hides = /Users/roup/.emacs.d/elpa/benchmark-init-20150905.938/benchmark-init /Users/roup/.emacs.d/utils/benchmark-init-modes hides = /Users/roup/.emacs.d/elpa/benchmark-init-20150905.938/benchmark-init-modes= /Users/roup/.emacs.d/utils/sr-speedbar hides = /Users/roup/.emacs.d/elpa/sr-speedbar-20161025.831/sr-speedbar /Users/roup/.emacs.d/elpa/lispy-20210121.926/elpa hides = /Users/roup/.emacs.d/elpa/ivy-20210311.1638/elpa /Users/roup/.emacs.d/elpa/lfe-mode-20201007.2214/lfe-indent hides = /usr/local/share/emacs/site-lisp/lfe/lfe-indent /Users/roup/.emacs.d/elpa/lfe-mode-20201007.2214/lfe-mode hides = /usr/local/share/emacs/site-lisp/lfe/lfe-mode /Users/roup/.emacs.d/elpa/lfe-mode-20201007.2214/inferior-lfe hides = /usr/local/share/emacs/site-lisp/lfe/inferior-lfe /Users/roup/.emacs.d/elpa/soap-client-3.2.0/soap-client hides = /usr/local/Cellar/emacs/26.3/share/emacs/26.3/lisp/net/soap-client /Users/roup/.emacs.d/elpa/soap-client-3.2.0/soap-inspect hides = /usr/local/Cellar/emacs/26.3/share/emacs/26.3/lisp/net/soap-inspect /Users/roup/.emacs.d/elpa/let-alist-1.0.6/let-alist hides = /usr/local/Cellar/emacs/26.3/share/emacs/26.3/lisp/emacs-lisp/let-alist /Users/roup/.emacs.d/elpa/seq-2.22/seq hides = /usr/local/Cellar/emacs/26.3/share/emacs/26.3/lisp/emacs-lisp/seq /Users/roup/.emacs.d/elpa/nadvice-0.3/nadvice hides = /usr/local/Cellar/emacs/26.3/share/emacs/26.3/lisp/emacs-lisp/nadvice Features: (shadow emacsbug sendmail eieio-opt eros smex pel-numkpad pel-ccp ibuf-ext ibuffer ibuffer-loaddefs windmove shr-color shr svg dom browse-url flow-fill sort gnus-cite mail-extr gnus-async gnus-bcklg qp gnus-agent gnus-srvr gnus-score score-mode nnvirtual nntp gnus-ml gnus-msg disp-table nndoc gnus-cache gnus-dup gnus-art mm-uu mml2015 mm-view mml-smime smime dig pel-undo undo-tree diff misearch multi-isearch mm-archive network-stream starttls url-cache org-rmail org-mhe org-irc org-info org-gnus nnir gnus-sum gnus-group gnus-undo gnus-start gnus-cloud nnimap nnmail mail-source utf7 netrc nnoo parse-time gnus-spec gnus-int gnus-range message rfc822 mml mml-sec epa derived epg mailabbrev gmm-utils mailheader gnus-win gnus nnheader gnus-util rmail rmail-loaddefs mail-utils org-docview doc-view jka-compr image-mode org-bibtex bibtex org-bbdb org-w3m crm ido-completing-read+ memoize cus-edit cus-start cus-load minibuf-eldef debbugs-org org-element avl-tree generator org org-macro org-footnote org-pcomplete pcomplete org-list org-faces org-entities org-version ob-emacs-lisp ob ob-tangle org-src ob-ref ob-lob ob-table ob-keys ob-exp ob-comint ob-core ob-eval org-compat org-macs org-loaddefs format-spec cal-menu calendar cal-loaddefs debbugs-gnu add-log debbugs soap-client mm-decode mm-bodies mm-encode url-http tls gnutls url-auth mail-parse rfc2231 rfc2047 rfc2045 mm-util ietf-drums mail-prsvr url-gw nsm rmc puny url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util mailcap warnings rng-xsd rng-dt rng-util xsd-regexp xml ace-link pel-skels-generic counsel xdg dired-x dired dired-loaddefs compile comint ansi-color ido-grid ido pel-completion pel-seq which-key indent-tools yafolding indent-tools-indentation-of winner pel-xref pel-text-transform pel-read pel-navigate pel-scroll key-seq pel-key-chord key-chord anzu term/xterm xterm paren tempo pel-skels-elisp pel-text-insert pel-window pel-tempo pel-skels pel-prompt lispy pcase swiper cl-extra ivy flx ivy-faces ivy-overlay colir color delsel lispy-inline subr-x thingatpt avy noutline outline easy-mmode etags xref project edebug lispy-tags mode-local find-func pel__hydra hydra lv pel-lispy regexp-opt flyspell pel-spell ispell cap-words superword subword imenu+ pel-imenu imenu elec-pair pel_keys recentf tree-widget wid-edit speedbar sb-image ezimage image dframe ls-lisp time-date delight pel-autoload pel--keys-macros pel--options pel--macros pel--base pel finder-inf geiser-impl help-fns radix-tree help-mode geiser-custom geiser-base ring info tool-bar edmacro kmacro package easymenu epg-config url-handlers url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache url-vars seq byte-opt gv bytecomp byte-compile cconv benchmark-init advice cl-loaddefs cl-lib mule-util tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page menu-bar rfn-eshadow isearch timer select mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame 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 minibuffer cl-preloaded nadvice loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads kqueue multi-tty make-network-process emacs) Memory information: ((conses 16 840205 372854) (symbols 48 54699 97) (miscs 40 697 2352) (strings 32 229530 157598) (string-bytes 1 6394735) (vectors 16 59391) (vector-slots 8 1074310 78064) (floats 8 3460 2680) (intervals 56 15506 2187) (buffers 992 50)) From debbugs-submit-bounces@debbugs.gnu.org Wed Jul 28 11:26:36 2021 Received: (at 49749) by debbugs.gnu.org; 28 Jul 2021 15:26:36 +0000 Received: from localhost ([127.0.0.1]:55614 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m8lS7-00048u-U6 for submit@debbugs.gnu.org; Wed, 28 Jul 2021 11:26:36 -0400 Received: from quimby.gnus.org ([95.216.78.240]:48958) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m8lS6-00048e-Bk for 49749@debbugs.gnu.org; Wed, 28 Jul 2021 11:26:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID :In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=6+A2bxi1I6tdGXeMyIAsPZpZFwrNHQbXPboOu2J4yhc=; b=fIKibv4NG1JIWdFFI9n0cE70rn m/tcnCE3PB42B0Gycx8731x57Nh9dQ8Q59VMjgVtNzPorGXMilLjkEd+yHaFtP7lqn63OogpVBRUh J7gOpV6yVUThqh6ERLEO+4UGZGlQl54xoJEaMT2/seEplXynV5EQbU67oY2AJNJKixFk=; Received: from 2.149.45.105.tmi.telenormobil.no ([2.149.45.105] helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m8lRx-0000vK-Er; Wed, 28 Jul 2021 17:26:27 +0200 From: Lars Ingebrigtsen To: Pierre Rouleau Subject: Re: bug#49749: 26.3; 26.3 & 27.2: invalid byte compiler warning in short-circuited or form References: <1B5C81C0-5D9A-4ED5-B56A-FC6AAA1A8A87@gmail.com> Date: Wed, 28 Jul 2021 17:26:24 +0200 In-Reply-To: <1B5C81C0-5D9A-4ED5-B56A-FC6AAA1A8A87@gmail.com> (Pierre Rouleau's message of "Tue, 27 Jul 2021 14:54:14 -0400") Message-ID: <8735rycvdr.fsf@gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Pierre Rouleau writes: > (defun f-or () > "Use or." > (when (or (null (boundp 'foo)) > (null foo)) ;=> ``Warning: reference to free variable ‘foo’`` > (message "foo is not set"))) Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP 0.0 TVD_RCVD_IP Message was received from an IP address -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 49749 Cc: 49749@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: -3.3 (---) Pierre Rouleau writes: > (defun f-or () > "Use or." > (when (or (null (boundp 'foo)) > (null foo)) ;=3D> ``Warning: reference to free variable =E2= =80=98foo=E2=80=99``=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20 > (message "foo is not set"))) The message about invalid stuff is only discarded if Emacs is trivially able to deduce that it'll never be evaluated -- and as you've found out, it's easy to make that heuristic not be heeded (see `byte-compile-maybe-guarded' for details). So I'm not sure this is a bug -- Emacs can't determine all cases where we won't be executing the code in question at compile time. Anybody else think that this is something that should be improved? --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Wed Jul 28 11:26:40 2021 Received: (at control) by debbugs.gnu.org; 28 Jul 2021 15:26:40 +0000 Received: from localhost ([127.0.0.1]:55617 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m8lSC-00049C-62 for submit@debbugs.gnu.org; Wed, 28 Jul 2021 11:26:40 -0400 Received: from quimby.gnus.org ([95.216.78.240]:48972) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m8lSB-00048m-OA for control@debbugs.gnu.org; Wed, 28 Jul 2021 11:26:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc: MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Xy5cGWr+/PVc3RmtZUGhrWiyQ28nU+WwetEu/wTZJys=; b=bFTzLSW1wm2r6S5xTHlg/QbtvT 4lhM1PT1gSRbd4UGxDNrB+co5fEG/2CAONt5svXtV3F3gtBBYOEffTsfKiNxZmjHDstf4kmW7ILbV MUFmjuLSrhWPx9ObD6AeCNoJY2I/SN57/gHPJQapM5UJLa4se4Cy08bZKIspAkIvvzCg=; Received: from 2.149.45.105.tmi.telenormobil.no ([2.149.45.105] helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m8lS4-0000vS-7r for control@debbugs.gnu.org; Wed, 28 Jul 2021 17:26:34 +0200 Date: Wed, 28 Jul 2021 17:26:31 +0200 Message-Id: <871r7icvdk.fsf@gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #49749 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: tags 49749 + moreinfo quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP 0.0 TVD_RCVD_IP Message was received from an IP address -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control 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: -3.3 (---) tags 49749 + moreinfo quit From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 31 09:59:21 2021 Received: (at 49749) by debbugs.gnu.org; 31 Jul 2021 13:59:21 +0000 Received: from localhost ([127.0.0.1]:34515 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m9pWL-0007KO-42 for submit@debbugs.gnu.org; Sat, 31 Jul 2021 09:59:21 -0400 Received: from mail-ed1-f49.google.com ([209.85.208.49]:39769) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m9pWJ-0007KC-KD for 49749@debbugs.gnu.org; Sat, 31 Jul 2021 09:59:20 -0400 Received: by mail-ed1-f49.google.com with SMTP id y12so17625851edo.6 for <49749@debbugs.gnu.org>; Sat, 31 Jul 2021 06:59:19 -0700 (PDT) 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=QA9bkM5rDQUPEroG3iTFfFILZKOVImfqRMqWkZhF9Gc=; b=mPC99O7UknvNQkRNkHj+kmAuuVbqqAUB0u2V8YsGI2BiFB7wNVDFeHfxlkvG/NPtsa 8XgCVWcO3OzceAXzKRwA4CsP9P/LCzBEumtRGwoMLMMKpCBeHGFLdZ/S2m3/8micQbUD heQ1VIlwF09CdKKTp7OEIjmGJ4ym0exJDN3zvrkFVOwU+XVQoP6td0pQpdB/ztUErviR ZOoSGGiKfJIC+1n0UzZDMdkdMRsSJg3O9ZSdknGLXiNMCiC6EtAAqxg6yKL5RGw/XRu9 tWOAMIaZTwl3uiAUwKdt7ewgUQiMKXflIZt88yKDQtz8qBkivrs+jlQJ6yBjIOdn7frI j0ug== 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=QA9bkM5rDQUPEroG3iTFfFILZKOVImfqRMqWkZhF9Gc=; b=ITa8VOS/Nj6lXLLYngiuPg7sSKAoAEBmEdEYbyoKIjkda0YsaMeR7ia+/FHTOijPSv wYP1SSOqa4es88fBvBTJkgjwpYi7HYxH4zWpt1Kr6ZZ7tsZQLeDhH9co5SVIU6bNBaHA iq4Q7OacvNeCNRUJDW9da6KttJDLv20gSts666KV6JsIHP1CY58iUeDk3rHmdzXSlOPb 5dHU5xEgLcjXQY1FTbqiRmvKu1b+MkYxOsYTNdiwLTJt542I1SOnpxMQ2GsMt7hKbxqV 2//0uXrmla0babb+BNArmTJOfX42hOzW2B6ebJLuIFrEnOK+d1yK1iWKe03opUour4PT 1YUQ== X-Gm-Message-State: AOAM531F2r4BMHdnsIbo46qGh6FUfPKtgMyyfv+0QQ6kg2iHdUIsHCip 1pVwmYLg2OZB1GzDa5yYds1+B0iyfFhTWuQ/UI4= X-Google-Smtp-Source: ABdhPJyLsfxZCRDZiVgPiw3KDjYn6XoOqwnBFcPjo9LyoK3vNSNoUQiguR4Il0Ed3RM5G2cWkdJAHDQ9zHaAHT4AIBU= X-Received: by 2002:a05:6402:550:: with SMTP id i16mr9186020edx.177.1627739953406; Sat, 31 Jul 2021 06:59:13 -0700 (PDT) MIME-Version: 1.0 References: <1B5C81C0-5D9A-4ED5-B56A-FC6AAA1A8A87@gmail.com> <8735rycvdr.fsf@gnus.org> In-Reply-To: <8735rycvdr.fsf@gnus.org> From: Pierre Rouleau Date: Sat, 31 Jul 2021 09:59:02 -0400 Message-ID: Subject: Re: bug#49749: 26.3; 26.3 & 27.2: invalid byte compiler warning in short-circuited or form To: Lars Ingebrigtsen Content-Type: multipart/alternative; boundary="000000000000b5a70005c86bbd05" X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 49749 Cc: 49749@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: -0.7 (/) --000000000000b5a70005c86bbd05 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Wed, Jul 28, 2021 at 11:26 AM Lars Ingebrigtsen wrote: > Pierre Rouleau writes: > > > (defun f-or () > > "Use or." > > (when (or (null (boundp 'foo)) > > (null foo)) ;=3D> ``Warning: reference to free variable > =E2=80=98foo=E2=80=99`` > > (message "foo is not set"))) > > The message about invalid stuff is only discarded if Emacs is trivially > able to deduce that it'll never be evaluated -- and as you've found out, > it's easy to make that heuristic not be heeded (see > `byte-compile-maybe-guarded' for details). > Thanks. I must admit I do not know the byte compiler code much at this point. > So I'm not sure this is a bug -- Emacs can't determine all cases where > we won't be executing the code in question at compile time. > Well, from the perspective of a user, that would look at the very least as a technical limitation. The byte compiler is able to report unused lexical variables. It's able to report access to unbound symbols in a large number of code patterns. That helps detect a lot of coding mistakes and that's very valuable. It may be difficult, or perhaps even not possible, to prevent the warning in the situation I reported. If the byte compiler cannot be improve to handle this situation, could this scenario be added to the list of know limitation= s of the byte-compiler? Maybe someday it will become possible to handle it and this scenario will help the process? --=20 /Pierre --000000000000b5a70005c86bbd05 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


=
On Wed, Jul 28, 2021 at 11:26 AM Lars= Ingebrigtsen <larsi@gnus.org> = wrote:
Pierre Ro= uleau <proule= au001@gmail.com> writes:

> (defun f-or ()
>=C2=A0 =C2=A0"Use or."
>=C2=A0 =C2=A0(when (or (null (boundp 'foo))
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(null foo))=C2=A0 ;=3D&= gt; ``Warning: reference to free variable =E2=80=98foo=E2=80=99``=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0
>=C2=A0 =C2=A0 =C2=A0(message "foo is not set")))

The message about invalid stuff is only discarded if Emacs is trivially
able to deduce that it'll never be evaluated -- and as you've found= out,
it's easy to make that heuristic not be heeded (see
`byte-compile-maybe-guarded' for details).
=C2=A0<= /div>
Thanks.=C2=A0 I must admit I do not know the byte compiler code m= uch at this point.
=C2=A0
So I'm not sure this is a bug -- Emacs can't determine all cases wh= ere
we won't be executing the code in question at compile time.

Well, from the perspective of a user, that would l= ook at the
very least as a technical limitation.
<= br>
The byte compiler is able to report unused lexical variables.= =C2=A0
It's able to report access to unbound symbols in = a large
number of code patterns.=C2=A0 That helps detect a l= ot of coding mistakes
and that's very valuable.

It may be difficult, or perhaps even not possible, to preve= nt the warning
in the situation I reported.=C2=A0 If the byt= e compiler cannot be improve to handle
this situation, could thi= s scenario be added to the list of know limitations
of the byte-c= ompiler?=C2=A0 Maybe someday it will become possible to handle it
and this scenario will help the process?
=C2=A0

--
/Pierre
--000000000000b5a70005c86bbd05-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 31 20:19:37 2021 Received: (at 49749) by debbugs.gnu.org; 1 Aug 2021 00:19:37 +0000 Received: from localhost ([127.0.0.1]:35176 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m9zCb-00080h-DA for submit@debbugs.gnu.org; Sat, 31 Jul 2021 20:19:37 -0400 Received: from mout.web.de ([212.227.17.11]:53777) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m9zCW-00080P-4E for 49749@debbugs.gnu.org; Sat, 31 Jul 2021 20:19:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1627777165; bh=UA6on0qVbcQioOl9e27QszeuFzsQuaMnvz+Srtgw8NE=; h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To; b=khD/iQlEYW1eO3o2+akgnXOUYbGIAEqku3iiyScqdDgq9gE5a5EgDofKBAmVGU34f TlFNsZPx7tEUBQifyXb+9ym4FcHyhu2M/IrfuVNG8r0xzEBHHpKSaHriAi3MwHyrPe LZ9qttHOvQ3O+plJ2poKTCdhQQn9NEgMxEKUR5+4= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from drachen.dragon ([88.66.201.45]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LvBIk-1n9tSY3roA-010PJ9; Sun, 01 Aug 2021 02:19:24 +0200 From: Michael Heerdegen To: Pierre Rouleau Subject: Re: bug#49749: 26.3; 26.3 & 27.2: invalid byte compiler warning in short-circuited or form References: <1B5C81C0-5D9A-4ED5-B56A-FC6AAA1A8A87@gmail.com> <8735rycvdr.fsf@gnus.org> Date: Sun, 01 Aug 2021 02:19:23 +0200 In-Reply-To: (Pierre Rouleau's message of "Sat, 31 Jul 2021 09:59:02 -0400") Message-ID: <87r1fe9fuc.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:9xZvNoeUsA/iqv0FtNyJ5bZqmfzJEoi1wz27UO+u0dOUZ7KRXLx Ej6U6eLu0Iu84VZTkzNnqxPUw31PEjp31aWU9kqzJ/uS62kBwtvrvC19V3iFkCCR5qLDYWA mlB+fKALxZIFxJdeA21++5K9tb5cqrKywYxpD/DpqaNNqUCf/jVs3EFgOYSRE9fQQB35qNY Xa8zhyzeunsNpT+iGLqoA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:3xtAiuM2qHA=:HCyvvHS9oFsTlsbL8iaMp4 cwlJ36oXNK93SoluJp09Pk/HN7mR1UDVXNvMZuYFgY633gkwNqizCtrji/73XlMX5fh6/n4KH sMrXrcyVPiw0uGS+h3wI7lI0O/Q+WF/r4f1PMNt4JSLJ0t1YGSRJEt1YwzsVN+C/mNtkiCBUr cPcag+sD4SNfbEuGDiK50UyFj1ZpzKYu//pf2V2PD3pT+7PWC+azzwO7ud1uf1V4ZZ0P/A7rB qr8V3yi1lTRm4l/dYRp3J2OCRnknFkQYWaBFj+ICdAIxpLfCL/ivX+JMgG4dd9a4LDgp1H3z7 EBArgP+Bny6YhEUxvxLWdea3ZCVoVUHKsOJXweMICC5jFgRRmj3owc0lGHH8Al4qK8VWmJ5gw s/Zf7JBmHZkw365GDCoJnWzQt/TBrxTGsgwMQmtIzBGoblz1RWWsg0c1xgkSwS1OE+5Ogwgfh KBmDJxlw3/P2ts4fFxPp0CX9WMU9xw914+NAzc8mHgmhtGndcsE9ocLtvC6aW+1bWcMjH6mbH Izl6n0b8PTAa1uKMVWpOIX3d2HGkMJAEdWEb1N8yPTeyeU+YUFuprBgdKozv+Y/sD4wMPBNjM hIKnuw81uPLzEXbdac5WBuN2IGWUwKLJFI6Ey0d03HobR1cYtrR9iFJclDzOLxxIHukrqsmTz 8YEaiLNN4hCn7JZydp9VNRQuCV9KndncS5YRWGw3Cgujsyk7AaJh0sgSwyKdNeJFv2YaJPKHq lcP6qE41rKA2am8KKhKyobj9YHVVpT0tWr8I8WypmMfh6Agh3U1M1fAacYnxjXSzF6fzxcfce jTGK0Koo+99+/lPk5v9rEHmqtlZYQF/8QpnJ52fvXwDrhOPm1X/JthRBGR7KsBC6YcLJvQJUg KtAJBVd/Gw0aCzmcWCNaF1xQ3rqbFap8yHPodaZubpOo4i/IQUfT6ABF9UAko+MB9hRP0RIl9 qlyd3nY0JoccH2mFvGejyrkbtIetmms/A44rpBga/14r+Cx5q52lOyQgaildl339aV6caWatM k05FqoOhTRafHGATOzyWGgu06UFzp8nnuM5fi7ORgQJgkXl1nwPhiLEVc9nFg0VftwLxoV0Yz QrhRfxw1nHNEBI0E8ICqQ6zYEiQQG1yzBWVTY2dX4nc7WWkNCJ2Gjc2yg== X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 49749 Cc: Lars Ingebrigtsen , 49749@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 (-) Pierre Rouleau writes: > On Wed, Jul 28, 2021 at 11:26 AM Lars Ingebrigtsen wrote: > > Pierre Rouleau writes: > > > (defun f-or () > > "Use or." > > (when (or (null (boundp 'foo)) > > (null foo)) ;=3D> ``Warning: reference to free variable = =E2=80=98foo=E2=80=99``=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20 > > (message "foo is not set"))) > Well, from the perspective of a user, that would look at the=20 > very least as a technical limitation. There are a lot of possible expressions of the form (some-expression-involving-both (boundp 'foo) foo) You have showed two. There is an unlimited number of such expressions, and it's impossible to solve the problem for all of them. It's not hard to support more, but for what gain? The warning is still correct - there _is_ a reference to a free variable. It doesn't say "unbound". When your reference to a free variable is not totally trivial, the common method is to add a (defvar foo) to your code. That tells you and other readers and the compiler that `foo' is a special variable defined elsewhere, and the warning is also gone. Also, (and (boundp 'foo) foo) is equivalent to (bound-and-true-p foo), so there is a canonical form for that kind of test that doesn't lead to a warning. For more complex real-life situations, you will probably need a `defvar' anyway, so we are really only discussing about rewritings of `bound-and-true-p' using De Morgan rules. I agree to Lars that this would not be a useful thing to do. Michael. From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 01 06:27:13 2021 Received: (at 49749) by debbugs.gnu.org; 1 Aug 2021 10:27:13 +0000 Received: from localhost ([127.0.0.1]:35690 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mA8ga-0008KD-Ta for submit@debbugs.gnu.org; Sun, 01 Aug 2021 06:27:13 -0400 Received: from quimby.gnus.org ([95.216.78.240]:34548) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mA8gL-0008JC-AM for 49749@debbugs.gnu.org; Sun, 01 Aug 2021 06:27:12 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=w2VIBzKQcvSGgJvMwAVdIWervLkEecQ1un7Quhb9Oqo=; b=RFRVb0XeEWc17ALRdak/SLQBPX aG18idy8n9kjTVjocDyeL30i184p4FQ4fURrstZnCE/yu1cBeWjpC5FNDC9Wp928vNEFT0Zyg4zhZ i1+gcLUEYy5/5LRwHhw23/3hbCIeSKpxywOx6fiLKKU7dxgpxjvWoGt7/j/FoaJi3MtI=; Received: from 2.149.45.105.tmi.telenormobil.no ([2.149.45.105] helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mA8gC-0000iD-Kd; Sun, 01 Aug 2021 12:26:51 +0200 From: Lars Ingebrigtsen To: Michael Heerdegen Subject: Re: bug#49749: 26.3; 26.3 & 27.2: invalid byte compiler warning in short-circuited or form References: <1B5C81C0-5D9A-4ED5-B56A-FC6AAA1A8A87@gmail.com> <8735rycvdr.fsf@gnus.org> <87r1fe9fuc.fsf@web.de> Date: Sun, 01 Aug 2021 12:26:47 +0200 In-Reply-To: <87r1fe9fuc.fsf@web.de> (Michael Heerdegen's message of "Sun, 01 Aug 2021 02:19:23 +0200") Message-ID: <87zgu1795k.fsf@gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Michael Heerdegen writes: > I agree to Lars that this would not be a useful thing to do. So I'm closing this bug report. Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP 0.0 TVD_RCVD_IP Message was received from an IP address -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 49749 Cc: 49749@debbugs.gnu.org, Pierre Rouleau 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: -3.3 (---) Michael Heerdegen writes: > I agree to Lars that this would not be a useful thing to do. So I'm closing this bug report. (The issue isn't that the compiler warning is wrong -- it's correct; but we suppress it in very particular situations where it'll obviously not lead to any problems.) -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 01 06:27:11 2021 Received: (at control) by debbugs.gnu.org; 1 Aug 2021 10:27:11 +0000 Received: from localhost ([127.0.0.1]:35688 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mA8gZ-0008K0-Ou for submit@debbugs.gnu.org; Sun, 01 Aug 2021 06:27:11 -0400 Received: from quimby.gnus.org ([95.216.78.240]:34568) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mA8gX-0008Jm-Fp for control@debbugs.gnu.org; Sun, 01 Aug 2021 06:27:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc: MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=E4iizhM99050QQMK4hwK3RNhQzkuTVphp/wpDRJzFP4=; b=kUkHC7FpPvbnq7wkU0zYmxEabj XOwijvDiQ099rQZyg4bRCQuoM3sPXIVvvZphyJoIwmxWVmZK5ZzgRqCB9lL7A/+So97LYX5EaiRvQ eODtTw0XUUFsk1pm7r6keq5bWzq664+5lY2B8Be9p2Vele+Wa8txPYd9Zdp8rfTvWTyY=; Received: from 2.149.45.105.tmi.telenormobil.no ([2.149.45.105] helo=elva) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mA8gP-0000iQ-Ll for control@debbugs.gnu.org; Sun, 01 Aug 2021 12:27:03 +0200 Date: Sun, 01 Aug 2021 12:27:00 +0200 Message-Id: <87y29l7957.fsf@gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #49749 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: tags 49749 notabug close 49749 quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP 0.0 TVD_RCVD_IP Message was received from an IP address -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: control 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: -3.3 (---) tags 49749 notabug close 49749 quit From unknown Tue Aug 19 07:26:49 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 29 Aug 2021 11:24:06 +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