X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Ffndb.lisp;h=dd908262c5e73e131aa6a0e01404073c444063fa;hb=b28aadc5bd34a0d9fa0ff15c52b2b4164d955831;hp=fb05a7c53b114a53cf153d5ffece34fd9b4a7f7f;hpb=0a7604d54581d2c846838c26ce6a7993629586fa;p=sbcl.git diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index fb05a7c..dd90826 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -231,7 +231,7 @@ (defknown * (&rest number) number (movable foldable flushable explicit-check)) (defknown / (number &rest number) number - (movable foldable flushable explicit-check)) + (movable foldable unsafely-flushable explicit-check)) (defknown (1+ 1-) (number) number (movable foldable flushable explicit-check)) @@ -381,8 +381,6 @@ (movable foldable flushable)) (defknown random ((or (float (0.0)) (integer 1)) &optional random-state) (or (float 0.0) (integer 0)) ()) -(defknown %inclusive-random-integer (unsigned-byte random-state) unsigned-byte - ()) (defknown make-random-state (&optional (or (member nil t) random-state)) random-state (flushable)) (defknown random-state-p (t) boolean (movable foldable flushable))