Hello.  We have had running in XEmacs for two years or more some
routines I
 wrote to cleanly handle byte-compilation warnings.  The problem was that
 many byte-compilation warnings were unavoidable when doing legitimate
 things.  I came up with a clean solution to this problem and it has worked
 very well; all of the XEmacs core elisp code is now completely warning-free.
 I propose that this be incorporated into GNU Emacs as well.  If agreed, I
 will sign papers and do whatever else is needed.  I am the only author of
 this code. 
I agree it's important that every warning message can be avoided in case of
legitimate code.
 (defmacro if-boundp (variable then &rest else)
 (defmacro when-boundp (variable &rest body)
 (defmacro if-fboundp (function then &rest else)
 (defmacro when-fboundp (function &rest body) 
These are unneeded in Emacs-CVS since the byte-compiler automatically
recognizes things like (if (boundp 'foo) ...).
 (defmacro and-boundp (variable &rest args)
 (defmacro and-fboundp (function &rest args) 
It'd be better to extend our byte-compiler trick to handle `and'
additionally to if and cond.
 (defmacro globally-declare-boundp (variables) 
We already have that with the special form (defvar foo)
 (defmacro globally-declare-fboundp (functions) 
Such a feature would be very helpful.  Someone recently suggested to use the
special form (defun foo) for that, which I think would be perfect.
 (defmacro declare-boundp (variable)
 (defmacro declare-fboundp (form)
 (defmacro with-boundp (variables &rest body)
 (defmacro with-fboundp (functions &rest body) 
 (defmacro with-byte-compiler-warnings-suppressed (type &rest
body)
 (defmacro with-obsolete-variable (symbol &rest body)
 (defmacro with-obsolete-function (symbol &rest body) 
I'm all for it,
        Stefan