Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • gerd's avatar
    58c6aaf8
    (compile nil '(lambda (b) · 58c6aaf8
    gerd authored
    	                (declare (type (integer -290488443 2) b)
    	                         (optimize (speed 3) (safety 1) (debug 1)))
                            (let ((v3 (min -1720 b)))
    	                  (max v3 (logcount (if (= v3 b) b b))))))
    	 => error in function lisp::assert-error:
                the assertion (eq c::env
                          (c::lambda-environment
                           (c::lambda-var-home c::thing))) failed.
    
    	Found by Paul Dietz.  Fix from SBCL/Alexey Dejneka.
    
    	* src/compiler/constraint.lisp (constrain-ref-type):
    	Don't change a ref to an unused leaf.
    58c6aaf8
    History
    (compile nil '(lambda (b)
    gerd authored
    	                (declare (type (integer -290488443 2) b)
    	                         (optimize (speed 3) (safety 1) (debug 1)))
                            (let ((v3 (min -1720 b)))
    	                  (max v3 (logcount (if (= v3 b) b b))))))
    	 => error in function lisp::assert-error:
                the assertion (eq c::env
                          (c::lambda-environment
                           (c::lambda-var-home c::thing))) failed.
    
    	Found by Paul Dietz.  Fix from SBCL/Alexey Dejneka.
    
    	* src/compiler/constraint.lisp (constrain-ref-type):
    	Don't change a ref to an unused leaf.