[Sbcl-devel] (random tester) Incorrect optimization on logandc2, setq, <

[Paul F. D. <di...@dl...>]

(let ((form1 '(lambda (b c)
		(declare (type (integer -350684427436 -255912007) b))
		(logandc2 c (if (< b (setq b -25647585550)) b 0))))
       (form2 '(lambda (b c)
		(logandc2 c (if (< b (setq b -25647585550)) b 0))))
       (vals '(-297090677547 -20121092)))
   (print (apply (compile nil form1) vals))
   (print (apply (compile nil form2) vals)))

;;
;; In sbcl 0.8.3.94, this prints:
;;
;; -58158788
;; 25644243212
;;

	Paul