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

Bug #1719991 reported by Paul F. Dietz on 2017-09-27
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
High
Unassigned

Bug Description

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) wrote :

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)))))

Changed in sbcl:
status: New → Triaged
importance: Undecided → High
Stas Boukarev (stassats) wrote :

In 55828e3bba77ca2e24db2550e252772d86be6d1b

Changed in sbcl:
status: Triaged → Fix Committed
Stas Boukarev (stassats) on 2017-10-31
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers