notinline suppresses argument checking

[Stas Boukarev]

(declaim (notinline test2))
(defun test2 (c &key name)
  (list c name))

(defun test ()
  (test2))

Signals no compilation style-warnins about test2 being misused.

[Christophe Rhodes (csr21-cantab)]

Stas Boukarev <email address hidden> writes:

> Public bug reported:
>
> (declaim (notinline test2))
> (defun test2 (c &key name)
> (list c name))
>
> (defun test ()
> (test2))
>
> Signals no compilation style-warnins about test2 being misused.

I suspect that this was at least at one point intentional: clhs 3.2.2.3
says that we can assume that the function test2 being called by test is
the function that was previously defined, except when there has been an
explicit notinline declaration.

Christophe

[Stas Boukarev (stassats)]

That just means that we should signal a style-warning in this case, not a full warning. When test2 is in one file, test is another (but no notinline), it signals a style-warning, when they are in the same file, it's a full warning.