Skip to content
Snippets Groups Projects
Commit 6ff031b6 authored by toy's avatar toy
Browse files

Fix bug in ftruncate derive-type optimizer triggered by

(defun bar ()
  (ftruncate (random 4294967087d0)))

Was not correctly handling the derivation of the second result.
parent 1357e49b
No related branches found
No related tags found
No related merge requests found
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain. ;;; Carnegie Mellon University, and has been placed in the public domain.
;;; ;;;
(ext:file-comment (ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.122 2003/07/01 18:44:18 toy Exp $") "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.123 2003/07/03 17:11:21 toy Exp $")
;;; ;;;
;;; ********************************************************************** ;;; **********************************************************************
;;; ;;;
...@@ -1648,7 +1648,8 @@ ...@@ -1648,7 +1648,8 @@
(rem (one-arg-derive-type number (rem (one-arg-derive-type number
#'(lambda (n) #'(lambda (n)
(truncate-derive-type-rem-aux n div nil)) (truncate-derive-type-rem-aux n div nil))
#'rem))) #'(lambda (x)
(rem x 1)))))
(when (and quot rem) (when (and quot rem)
(make-values-type :required (list quot rem)))))) (make-values-type :required (list quot rem))))))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment