A function with declared result type NIL returned: SB-KERNEL:%FIND-POSITION
Bug #1719991 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
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:
[Condition of type SB-INT:
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Reduced:
(print (setf b 2))
( values 0 0)))))
(defun f9 ()
(let ((b 0))
(unwind-protect
(if (and
(eql b 0))
(case (dpb b (byte 0 0) -25)
((3) (values 1 2 3)))