Incorrect result from some simple code

Bug #2035118 reported by Paul F. Dietz
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Fix Released

Bug Description

(defun bug231 ()
  (let* ((form
           '(let ((v1 (if (not nil) 10 20)))
             (decf v1 (/ v1 1))))
         (lam1 `(lambda () ,form))
         (lam2 `(lambda ()
                  (declare (notinline not))
                  (declare (optimize (debug 2)))
    (values (funcall (compile nil lam1))
            (funcall (compile nil lam2)))))

(bug231) ==> 0, 10 ; 0 is correct

x86-64, ""

Revision history for this message
Stas Boukarev (stassats) wrote :

Got incidentally fixed by the reworking in d31534468a43a728b4c3e07fd58289a1fabb79ef

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

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.