A function with declared result type NIL returned: SB-KERNEL:%FIND-POSITION

[Paul F. Dietz]

Generated by random testing on HEAD (x86-64 Linux)

(defun f9 (b c)
  (declare (type fixnum b c))
  (unwind-protect
       (if (and
     (position (the integer (setf b -1)) nil)
     (equal b 0))
    (case (dpb b (byte 0 0) -25)
      ((3) (values c 0 b)))
    (round 0 (max 1 0))
    )))

(f9 0 0) =>
A function with declared result type NIL returned:
  SB-KERNEL:%FIND-POSITION
   [Condition of type SB-INT:SIMPLE-CONTROL-ERROR]

[Stas Boukarev (stassats)]

Reduced:
(defun f9 ()
  (let ((b 0))
    (unwind-protect
         (if (and
              (print (setf b 2))
              (eql b 0))
             (case (dpb b (byte 0 0) -25)
               ((3) (values 1 2 3)))
             (values 0 0)))))

[Stas Boukarev (stassats)]

Will be fixed with https://github.com/stassats/sbcl/commit/647393a2bb6f452e50d71392953ec6b5ff9f927e after the freeze.

[Stas Boukarev (stassats)]

In 55828e3bba77ca2e24db2550e252772d86be6d1b