Compile to wrong code with typep, logxor and logior (type related?)
Bug #1716731 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
;;; Compilation error in SBCL 1.3.21, 64 bit x86 Linux
(defun ftest2 ()
(let* ((body
'(typep
(logxor
(logior b -1048580)
601659889
c)
'(integer 0 979952933957413
(f1
`(lambda (b c)
(declare (type (integer -964745090048 -375825891943) c))
(declare (optimize (speed 0) (safety 3)
(space 0) (compilation-speed 1)))
,body))
(f2
`(lambda (b c) ,body))
(args '(-41489895528326 -881385360196))
(result1 (apply (compile nil f1) args))
(result2 (apply (compile nil f2) args)))
(list result1 result2)))
;; (ftest) ==> (T NIL) (should have been (NIL NIL))
Changed in sbcl: | |
status: | Incomplete → Fix Released |
To post a comment you must log in.
it's (NIL NIL) here.