master: sb-vm:new-arena: move the docstring to the right place

stassats via Sbcl-commits <[email protected]>
Newsgroups gmane.lisp.steel-bank.cvs
Message-ID <[email protected]>
The branch "master" has been updated in SBCL:
       via  4c13a73b6a162e82615185739045f5facd2783ee (commit)
      from  db01e571c0470fe2eb6f8e64060373f07ddb1cc5 (commit)

- Log -----------------------------------------------------------------
commit 4c13a73b6a162e82615185739045f5facd2783ee
Author: Stas Boukarev <[email protected]>
Date:   Tue Apr 14 15:23:10 2026 +0300

    sb-vm:new-arena: move the docstring to the right place
    
    Not after ASSERTS. But also transfer the asserts in to the FTYPE.
---
 src/code/arena.lisp | 7 +++----
 src/code/irrat.lisp | 2 +-
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/code/arena.lisp b/src/code/arena.lisp
index a9b362866..b9c5c3193 100644
--- a/src/code/arena.lisp
+++ b/src/code/arena.lisp
@@ -70,15 +70,14 @@
 ;;; an arena, obtained via malloc(). Allocations within a block are
 ;;; contiguous but the blocks can be discontiguous.
 #+system-tlabs
-(declaim (ftype (sfunction (fixnum &optional fixnum fixnum &key (:hidable boolean))
+(declaim (ftype (sfunction ((and (integer 65536) fixnum)
+                            &optional (and (integer 32768) fixnum) fixnum &key (:hidable boolean))
                            arena) new-arena))
 (defun new-arena (size &optional (growth-amount size) (max-extensions 7)
                        &key hidable)
-  (declare (ignorable growth-amount max-extensions hidable))
-  (assert (>= size 65536))
-  (assert (>= growth-amount 32768))
   "Create a new arena of SIZE bytes which can be grown additively by GROWTH-AMOUNT
 one or more times, not to exceed MAX-EXTENSIONS times"
+  (declare (ignorable growth-amount max-extensions hidable))
   #-system-tlabs :placeholder
   #+system-tlabs
   (let ((huge ; a request exceeding strictly this size gets separately allocated
diff --git a/src/code/irrat.lisp b/src/code/irrat.lisp
index 841165358..c343ece4a 100644
--- a/src/code/irrat.lisp
+++ b/src/code/irrat.lisp
@@ -245,7 +245,7 @@
                               (declare (type (mod 53) k))
                               (cond ((> k 20)
                                      (let* ((shift (- 52 k))
-                                            (j (logand (ash lo (- shift))))
+                                            (j (ash lo (- shift)))
                                             (j2 (ash j shift)))
                                        (declare (type (mod 32) shift)
                                                 (type (unsigned-byte 32) j j2))

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.