Complex contagion bug in compiler

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

Bug Description

(defun f20 (p1)
  (declare (type (member -1 1.0d0) p1))
  (complex p1 2.0))

(f20 1.0d0) ==> #C(1.0 2.0)

(complex 1.0d0 2.0) ==> #C(1.0d0 2.0d0)

Paul F. Dietz (paul-f-dietz) wrote :

(defun f20b (x)
   (declare (type (or integer double-float) x))
   (complex x 2.0))

also shows the bug.

Stas Boukarev (stassats) wrote :

52090f34bfb4b248776c06c172cdf0d334eca291

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