SBCL

  1. Bug #1738301
  2. Comment #1

Comment 1 for bug 1738301

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

Another example. The type of LOGBITP conflicts with 1+, but the same failed AVER occurs.

(defun f45 ()
  (flet ((%f2 (f2-1 f2-2) -148770))
    (1+ (logbitp 2
                 (block b4
                   (if nil
                    (%f2 4094 19)
                    0))))))