lvar-conservative-type not conservative enough

Bug #1732737 reported by Stas Boukarev on 2017-11-16
18
This bug affects 2 people
Affects Status Importance Assigned to Milestone
SBCL
Low
Unassigned

Bug Description

(defun f (x)
  (let ((x (the (cons fixnum) x)))
    (g)
    (car x)))

Gets derived as FIXNUM even though G may modify X.

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Duplicates of this bug

Other bug subscribers