special variables and declare ignore

[rme]

The spec says that a warning should be issued if a variable declared to be ignored is declared SPECIAL, as in:

(defun foo (x y)
 (declare (ignore y))
 ...
 (locally
   (declare (special y))
   ...))

That code doesn't make much sense, but it clearly deservers a warning.

(defparameter y ...)

(defun foo (x y)
 (declare (ignore y))
 ...)

is about the same thing, but the warning in both cases should probably complain that inconsistent declarations applied to Y and not just say that it "wasn't IGNOREd".

[gb]

(In [15528]) Try to emit a clearer warning if a SPECIAL variable is declared IGNORE. Fixes ticket:1035 in the trunk.

[gb]

(In [15530]) Try again; fix ticket:1035 in the trunk (without breaking everything else).