From unknown Sat Jun 14 01:20:30 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#20144 <20144@debbugs.gnu.org> To: bug#20144 <20144@debbugs.gnu.org> Subject: Status: 25.0.50; Functions using fboundp not known to be defined Reply-To: bug#20144 <20144@debbugs.gnu.org> Date: Sat, 14 Jun 2025 08:20:30 +0000 retitle 20144 25.0.50; Functions using fboundp not known to be defined reassign 20144 emacs submitter 20144 Philipp Stephani severity 20144 wishlist thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 19 11:55:38 2015 Received: (at submit) by debbugs.gnu.org; 19 Mar 2015 15:55:38 +0000 Received: from localhost ([127.0.0.1]:53213 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYcnI-0000FC-RI for submit@debbugs.gnu.org; Thu, 19 Mar 2015 11:55:38 -0400 Received: from eggs.gnu.org ([208.118.235.92]:57309) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYcnF-0000F3-Tc for submit@debbugs.gnu.org; Thu, 19 Mar 2015 11:55:34 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YYcn9-000467-JN for submit@debbugs.gnu.org; Thu, 19 Mar 2015 11:55:33 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:39411) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YYcn9-000461-GG for submit@debbugs.gnu.org; Thu, 19 Mar 2015 11:55:27 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59015) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YYcn3-0004fT-Hg for bug-gnu-emacs@gnu.org; Thu, 19 Mar 2015 11:55:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YYcmx-00042F-Lv for bug-gnu-emacs@gnu.org; Thu, 19 Mar 2015 11:55:21 -0400 Received: from mail-wi0-x236.google.com ([2a00:1450:400c:c05::236]:36119) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YYcmx-00040u-22 for bug-gnu-emacs@gnu.org; Thu, 19 Mar 2015 11:55:15 -0400 Received: by wibg7 with SMTP id g7so121760941wib.1 for ; Thu, 19 Mar 2015 08:55:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:mime-version:content-type; bh=VqimsBYYrQEtRb14WvcyH/8jSB7Fq7Uds1rlVvNAkBU=; b=hpbaEwNdeEqrC9lBnvVo2/oKN54d4KsAF1py3MzG+QK/qoFCOJpL8BOKAoX+n9qPfU tqJFTu0imf/1ZkvcvijicT9IcFHLY1jwtiO/OHFoJBGPiRjCVip+Hg2NjgTp8XxHpZ8f x/pKsof4w85CnXIoBfx0WQi6+GauKrVGPwUQmbq3cwTJHdxTXnkCY8lYGFhKmgxocomd GDlzFUW62xgPuKOY3EcRGDSQjcZXU1+IxuoUOCi9/+Mcfir50sB+9xAoTejBTDwtzs8g /4tuYql3OAL9UaBelS2tvJdRSmLr8oaPiaqr1JgT/j6i8heq5c/rUm+0xsAsVYUTnrLQ pgNA== X-Received: by 10.180.102.234 with SMTP id fr10mr17167338wib.48.1426780514182; Thu, 19 Mar 2015 08:55:14 -0700 (PDT) Received: from phst2.muc.corp.google.com ([2620:0:1046:0:5c4:5440:6855:9d5]) by mx.google.com with ESMTPSA id hn8sm2982147wib.18.2015.03.19.08.55.13 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Thu, 19 Mar 2015 08:55:13 -0700 (PDT) From: Philipp Stephani To: bug-gnu-emacs@gnu.org Subject: 25.0.50; Functions using fboundp not known to be defined Date: Thu, 19 Mar 2015 16:54:41 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.8 (---) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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.8 (---) Byte-compiling the following file: (if (fboundp 'car) (defalias 'mycar 'car) (defun mycar (_l) (error "what"))) (defun foo () (mycar nil)) results in the byte compiler warning Warning: the function `mycar' is not known to be defined. However, the function is clearly always defined. Since this trick is rather common, the byte compiler should know about it. In GNU Emacs 25.0.50.1 (x86_64-pc-linux-gnu, GTK+ Version 3.10.8) of 2014-12-01 on *hidden*, modified by Debian Windowing system distributor `The X.Org Foundation', version 11.0.11501000 System Description: Ubuntu 14.04 LTS Configured using: `configure --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-pop=yes --enable-locallisppath=/etc/emacs-snapshot:/etc/emacs:/usr/local/share/emacs/25.0.50/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/25.0.50/site-lisp:/usr/share/emacs/site-lisp --with-crt-dir=/usr/lib/x86_64-linux-gnu --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-pop=yes --enable-locallisppath=/etc/emacs-snapshot:/etc/emacs:/usr/local/share/emacs/25.0.50/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/25.0.50/site-lisp:/usr/share/emacs/site-lisp --with-crt-dir=/usr/lib/x86_64-linux-gnu --with-x=yes --with-x-toolkit=gtk3 --with-toolkit-scroll-bars 'CFLAGS=-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall' CPPFLAGS=-D_FORTIFY_SOURCE=2 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro'' Configured features: XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GCONF GSETTINGS NOTIFY LIBSELINUX GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: Emacs-Lisp Minor modes in effect: tooltip-mode: t global-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 Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Making completion list... You can run the command `emacs-lisp-mode' with M-x e-li-mo RET next-line: End of buffer Quit Saving file /tmp/bytetest.el... Wrote /tmp/bytetest.el Compiling /tmp/bytetest.el...done Wrote /tmp/bytetest.elc Load-path shadows: None found. Features: (shadow sort gnus-util mail-extr emacsbug message dired format-spec rfc822 mml easymenu mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util help-fns mail-prsvr mail-utils warnings byte-opt compile comint ansi-color ring bytecomp byte-compile cl-extra cl-loaddefs cl-lib cconv time-date tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel x-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment elisp-mode lisp-mode prog-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer 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 make-network-process dbusbind gfilenotify dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty emacs) Memory information: ((conses 16 88229 4854) (symbols 48 19489 0) (miscs 40 57 185) (strings 32 15003 4186) (string-bytes 1 456733) (vectors 16 11046) (vector-slots 8 406209 3506) (floats 8 77 239) (intervals 56 295 16) (buffers 976 14) (heap 1024 36642 863)) From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 19 11:57:24 2015 Received: (at control) by debbugs.gnu.org; 19 Mar 2015 15:57:24 +0000 Received: from localhost ([127.0.0.1]:53218 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYcp1-0000IW-QZ for submit@debbugs.gnu.org; Thu, 19 Mar 2015 11:57:23 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:32772) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYcp0-0000IO-0D for control@debbugs.gnu.org; Thu, 19 Mar 2015 11:57:22 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1YYcoz-0007cc-JX for control@debbugs.gnu.org; Thu, 19 Mar 2015 11:57:21 -0400 Date: Thu, 19 Mar 2015 11:57:21 -0400 Message-Id: Subject: control message for bug 20144 To: X-Mailer: mail (GNU Mailutils 2.1) From: Glenn Morris X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -5.0 (-----) severity 20144 wishlist From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 19 13:52:40 2015 Received: (at 20144) by debbugs.gnu.org; 19 Mar 2015 17:52:40 +0000 Received: from localhost ([127.0.0.1]:53276 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYecZ-0005xh-Po for submit@debbugs.gnu.org; Thu, 19 Mar 2015 13:52:39 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:37638) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYecX-0005xZ-8t for 20144@debbugs.gnu.org; Thu, 19 Mar 2015 13:52:37 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1YYecW-0000Wr-Ep; Thu, 19 Mar 2015 13:52:36 -0400 From: Glenn Morris To: Philipp Stephani Subject: Re: bug#20144: 25.0.50; Functions using fboundp not known to be defined References: X-Spook: Freeh oil Ron Brown Honduras UFO industrial espionage X-Ran: ZAN&O3:TdZ)PQ5:R6h(vRT,:wD#P0bV?)PwgR8EOF?i|SDuvl/n03"xuDg%)Fb2;!bA3;- X-Hue: magenta X-Debbugs-No-Ack: yes X-Attribution: GM Date: Thu, 19 Mar 2015 13:52:36 -0400 In-Reply-To: (Philipp Stephani's message of "Thu, 19 Mar 2015 16:54:41 +0100") Message-ID: User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 20144 Cc: 20144@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -5.0 (-----) Philipp Stephani wrote: > However, the function is clearly always defined. Since this trick is > rather common, the byte compiler should know about it. This issue has existed "forever". I really doubt it will ever change. Eg http://lists.gnu.org/archive/html/emacs-devel/2007-09/msg02316.html From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 19 13:54:21 2015 Received: (at 20144) by debbugs.gnu.org; 19 Mar 2015 17:54:21 +0000 Received: from localhost ([127.0.0.1]:53291 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYeeD-00060i-9C for submit@debbugs.gnu.org; Thu, 19 Mar 2015 13:54:21 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:37716) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYeeB-00060a-Jh for 20144@debbugs.gnu.org; Thu, 19 Mar 2015 13:54:19 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1YYeeB-0000p9-8f; Thu, 19 Mar 2015 13:54:19 -0400 From: Glenn Morris To: Philipp Stephani Subject: Re: bug#20144: 25.0.50; Functions using fboundp not known to be defined References: X-Spook: INS Security Council industrial intelligence Watergate X-Ran: 43u[J/)^ZC'(@meRTzmCJ9SUJj/N{#G[:F/B<-S|[O[;;:q]M5l73w'd]N3p&1"%q,phek X-Hue: green X-Debbugs-No-Ack: yes X-Attribution: GM Date: Thu, 19 Mar 2015 13:54:19 -0400 In-Reply-To: (Glenn Morris's message of "Thu, 19 Mar 2015 13:52:36 -0400") Message-ID: User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 20144 Cc: 20144@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -5.0 (-----) This is a dupe of http://debbugs.gnu.org/8140 . From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 19 13:54:41 2015 Received: (at control) by debbugs.gnu.org; 19 Mar 2015 17:54:41 +0000 Received: from localhost ([127.0.0.1]:53294 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYeeW-00061L-Kj for submit@debbugs.gnu.org; Thu, 19 Mar 2015 13:54:40 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:37731) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYeeU-00061D-PO for control@debbugs.gnu.org; Thu, 19 Mar 2015 13:54:39 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1YYeeU-0000v2-Ig for control@debbugs.gnu.org; Thu, 19 Mar 2015 13:54:38 -0400 Date: Thu, 19 Mar 2015 13:54:38 -0400 Message-Id: Subject: control message for bug 20144 To: X-Mailer: mail (GNU Mailutils 2.1) From: Glenn Morris X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -5.0 (-----) merge 8140 20144 From debbugs-submit-bounces@debbugs.gnu.org Thu Mar 19 15:27:48 2015 Received: (at 20144) by debbugs.gnu.org; 19 Mar 2015 19:27:48 +0000 Received: from localhost ([127.0.0.1]:58559 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYg6e-0001OQ-Bp for submit@debbugs.gnu.org; Thu, 19 Mar 2015 15:27:48 -0400 Received: from pruche.dit.umontreal.ca ([132.204.246.22]:41656) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YYg6c-0001OB-JS; Thu, 19 Mar 2015 15:27:46 -0400 Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by pruche.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id t2JJRj5f016488; Thu, 19 Mar 2015 15:27:45 -0400 Received: by pastel.home (Postfix, from userid 20848) id 390DA182C; Thu, 19 Mar 2015 15:27:45 -0400 (EDT) From: Stefan Monnier To: Philipp Stephani Subject: Re: bug#20144: 25.0.50; Functions using fboundp not known to be defined Message-ID: References: Date: Thu, 19 Mar 2015 15:27:45 -0400 In-Reply-To: (Philipp Stephani's message of "Thu, 19 Mar 2015 16:54:41 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV5250=0 X-NAI-Spam-Version: 2.3.0.9393 : core <5250> : inlines <2448> : streams <1408195> : uri <1884883> X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: 20144 Cc: 20144@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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.3 (-) severity 20144 wishlist thanks > (if (fboundp 'car) > (defalias 'mycar 'car) > (defun mycar (_l) (error "what"))) (defalias 'mycar (if (fboundp 'car) 'car (lambda (_l) (error "what")))) The difference is one of the two versions requires reasoning (simple/trivial for you, but beyond the reach of the simple byte-compiler we're using), whereas the other doesn't. Admittedly, when you need to define two versions of a *set* of functions, depending on a single test, the above trick of sinking the testing into the `defalias' ends up being a bit ugly/inconvenient. Stefan