Custom Query (1030 matches)

I run the tests included in the library. Only appears in 32 bit versions of 1.8, not in 1.7 and it works on Linux x64.

I use MD5 library that is used by Hunchentoot (it fails inside it as well).

Hi,

a user of Hunchentoot has reported problems with Clozure CL and MD5, and I was able to track this down to a problem in CCL (tested with 1.8 on Linux):

Welcome to Clozure Common Lisp Version 1.8-r15286M  (LinuxX8632)!
? (defun foo ()
  (let ((block (make-array 16)))
    (loop for index of-type (integer 0 16) from 0 below 16
          do (print index)
             (setf (aref block index) #x00000000))))
FOO
? (foo)

0 
1 
2 
3 
4 
5 
6 
7 
8 
9 
10 
11 
12 
13 
14 
15 
16 
> Error: Array index 16 out of bounds for #<SIMPLE-VECTOR 16> .
> While executing: FOO, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.

If the type declaration in the loop is omitted, the problem does not occur.

Clozure CL "Version 1.8-r15286M  (LinuxX8632)"

(defun test ()
  (let ((bit-arr (make-array 1000 :element-type 'bit :initial-element 0)))
    ;; Set one bit in the array, for #\A
    (setf (aref bit-arr (char-code #\A)) 1)
    (let ((num-chars 1)
          (char-arr (make-string 1)))
      ;; loop over the bit array, finding the bit, and putting #\A in CHAR-ARR
      (loop for src-char-code fixnum from 0
            with ret-ix fixnum = 0
            when (= (sbit bit-arr src-char-code) 1)
            do (progn (setf (schar char-arr ret-ix) (code-char src-char-code))
                      (incf ret-ix)
                      (if (= ret-ix num-chars)
                          (return)
                        (warn "(ret-ix) ~A != ~A (num-chars)" ret-ix num-chars))))
      char-arr)))

Running gives:

  Warning: (ret-ix) 1 != 1 (num-chars)
  ; While executing: COMMON-LISP-USER::TEST, in process listener(1).
  > Error: Array index 1000 out of bounds for #<SIMPLE-BIT-VECTOR 1000>

Removing the FIXNUM declaration for RET-IX inside the loop solves it:

  ..
  with ret-ix = 0
  ..