Incorrect report of invalid number of arguments

Bug #1721569 reported by Paul F. Dietz on 2017-10-05
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

Found with the random tester. Note that (* 9 b) is not a fixnum.

(defun t12 (b)
  (declare (type (integer -3755795408964870057 -3391381516052960895) b))
  (declare (optimize (speed 1) (safety 1) (compilation-speed 3)
       (space 3) (debug 0)))
  (ldb (byte 22 10) (the integer (* 9 b))))

(defun t12test ()
  (funcall #'t12 -3643840172908896850))

;; (t12test) ==> invalid number of arguments: -3643840172908896850

summary: - Value of expression becomes confused with number of arguments
+ Incorrect report of invalid number of arguments
Stas Boukarev (stassats) wrote :

92c2898690bedc0bd1fccb6862ec21706e1e75a4

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers