GNU bug report logs - #11918
24.1; Spurious bytecomp warning "might not be defined at runtime" when using advice in required file

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 11918 in the body.
You can then email your comments to 11918 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Michael Hoffman <b3i4old02 <at> sneakemail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: 24.1; Spurious bytecomp warning "might not be defined at runtime"
	when using advice in required file
Date: Wed, 11 Jul 2012 16:39:58 -0700

This bug report will be sent to the Bug-GNU-Emacs mailing list
and the GNU bug tracker at debbugs.gnu.org.  Please check that
the From: line contains a valid email address.  After a delay of up
to one day, you should receive an acknowledgement at that address.

Please write in English if possible, as the Emacs maintainers
usually do not have translators for other languages.

Please describe exactly what actions triggered the bug, and
the precise symptoms of the bug.  If you can, give a recipe
starting from `emacs -Q':

====
cat > outer.el << EOF
(eval-when-compile (add-to-list 'load-path "."))

(require 'inner)
EOF

cat > inner.el << EOF
(defun inner-b ())

(defadvice inner-b (around inner-b-1 activate)
  (inner-a))

(defun inner-a ())

(provide 'inner)
EOF

emacs -Q -batch -f batch-byte-compile outer.el
====

This produces:

====
In end of data:
outer.el:4:1:Warning: the function `inner-a' might not be defined at runtime.
Wrote /net/noble/vol2/home/mmh1/src/experimental/bytecode/outer.elc
====

I expected not to have a warning in this case as inner-a, is, in fact defined.

If Emacs crashed, and you have the Emacs process in the gdb debugger,
please include the output from the following gdb commands:
    `bt full' and `xbacktrace'.
For information about debugging Emacs, please read the file
/net/gs/vol3/software/modules-sw/emacs/24.1/Linux/RHEL6/x86_64/share/emacs/24.1/etc/DEBUG.


In GNU Emacs 24.1.2 (x86_64-unknown-linux-gnu, GTK+ Version 2.18.9)
 of 2012-06-21 on rhel6-x64.grid.gs.washington.edu
Windowing system distributor `Red Hat, Inc.', version 11.0.11004000
Configured using:
 `configure '--without-gif' '--with-x' '--with-x-toolkit=gtk'
 '--prefix=/net/gs/vol3/software/modules-sw/emacs/24.1/Linux/RHEL6/x86_64'
 'LDFLAGS=-L/net/gs/vol3/software/modules-sw/boost/1.45.0/Linux/RHEL6/x86_64/lib/
 -L/net/gs/vol3/software/modules-sw/R/2.9.0/Linux/RHEL6/x86_64/lib/'
 'CPPFLAGS=-I/net/gs/vol3/software/modules-sw/boost/1.45.0/Linux/RHEL6/x86_64/include/
 -I/net/gs/vol3/software/modules-sw/R/2.9.0/Linux/RHEL6/x86_64/include/''

Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: nil
  value of $LC_CTYPE: en_US
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: nil
  locale-coding-system: iso-latin-1-unix
  default enable-multibyte-characters: t

Major mode: Lisp Interaction

Minor modes in effect:
  tooltip-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

Recent input:
M-x r e p o r t - e m <tab> <return>

Recent messages:
For information about GNU Emacs and the GNU system, type C-h C-a.

Load-path shadows:
None found.

Features:
(shadow sort gnus-util mail-extr emacsbug message format-spec rfc822 mml
easymenu mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev gmm-utils mailheader sendmail regexp-opt rfc2047 rfc2045
ietf-drums mm-util mail-prsvr mail-utils time-date tooltip ediff-hook
vc-hooks lisp-float-type mwheel x-win x-dnd tool-bar dnd fontset image
fringe lisp-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 loaddefs button faces cus-face files text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget
hashtable-print-readable backquote make-network-process dynamic-setting
font-render-setting move-toolbar gtk x-toolkit x multi-tty emacs)

Message #10 received at 11918-done <at> debbugs.gnu.org (full text, mbox):

From: Alan Mackenzie <acm <at> muc.de>
To: Michael Hoffman <b3i4old02 <at> sneakemail.com>
Cc: 11918-done <at> debbugs.gnu.org
Subject: Re: 24.1; Spurious bytecomp warning "might not be defined at
 runtime" when using advice in required file
Date: Wed, 25 Nov 2015 10:25:05 +0000

Hello, Michael.

Sorry it's taken a long time to get back to you.

On Wed, Jul 11, 2012 at 04:39:58PM -0700, Michael Hoffman wrote:

> Please describe exactly what actions triggered the bug, and
> the precise symptoms of the bug.  If you can, give a recipe
> starting from `emacs -Q':

> ====
> cat > outer.el << EOF
> (eval-when-compile (add-to-list 'load-path "."))

> (require 'inner)
> EOF

> cat > inner.el << EOF
> (defun inner-b ())

> (defadvice inner-b (around inner-b-1 activate)
>   (inner-a))

> (defun inner-a ())

> (provide 'inner)
> EOF

> emacs -Q -batch -f batch-byte-compile outer.el
> ====

> This produces:

> ====
> In end of data:
> outer.el:4:1:Warning: the function `inner-a' might not be defined at runtime.
> Wrote /net/noble/vol2/home/mmh1/src/experimental/bytecode/outer.elc
> ====

> I expected not to have a warning in this case as inner-a, is, in fact defined.

First of all, thanks for taking the trouble to report the problem, and
thanks even more for distilling it down to a minimal case.

What is happening is that the byte-compiler collects a list of defuns
"not yet defined for runtime" as it goes along.  This includes any
functions defined within an `eval-when-compile', here the function
`inner-a' mentioned in the `defadvice'.

When `inner-a' is later defined, it is NOT taken off this list.  This is
the bug.  The contents of that list are get output to the screen in the
"might not be defined at runtime" warning message at the end of the
compilation.

The bug has just been fixed in the Emacs project's git repository, in
branch emacs-25.  We should be releasing Emacs 25.1 several months from
now, probably in early summer 2016.

[ .... ]

> In GNU Emacs 24.1.2 (x86_64-unknown-linux-gnu, GTK+ Version 2.18.9)
>  of 2012-06-21 on rhel6-x64.grid.gs.washington.edu
> Windowing system distributor `Red Hat, Inc.', version 11.0.11004000
> Configured using:
>  `configure '--without-gif' '--with-x' '--with-x-toolkit=gtk'
>  '--prefix=/net/gs/vol3/software/modules-sw/emacs/24.1/Linux/RHEL6/x86_64'
>  'LDFLAGS=-L/net/gs/vol3/software/modules-sw/boost/1.45.0/Linux/RHEL6/x86_64/lib/
>  -L/net/gs/vol3/software/modules-sw/R/2.9.0/Linux/RHEL6/x86_64/lib/'
>  'CPPFLAGS=-I/net/gs/vol3/software/modules-sw/boost/1.45.0/Linux/RHEL6/x86_64/include/
>  -I/net/gs/vol3/software/modules-sw/R/2.9.0/Linux/RHEL6/x86_64/include/''

[ .... ]

-- 
Alan Mackenzie (Nuremberg, Germany).

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.