[Openmcl-devel] BUG: incorrect array bounds checking in CALL-CHECK-REGS (ARM32)

[Gary Byers]

The value of the first index (2) is indeed out of bounds for the first
dimension of that array (2), so it's not obvious to me what you're reporting.
(The error message could be clearer if it told you which index was invalid;
that's a little awkward but not impossible.)

Perhaps some other test case failed and this was reported by mistake ?

(CCL::CALL-CHECK-REGS is just a little function used by the REPL to verify
that certain machine registers that should be preserved by a function call
are indeed preserved.  It'll appear in backtraces whenever some function
is called by the REPL; it's slightly useful in catching certain bugs in
the compiler and/or runtime but is otherwise uninteresting.)



On Tue, 20 Dec 2011, Eric Marsden wrote:

> Hi,
>
>
> ? (lisp-implementation-version)
> "Version 1.8-dev-r15146M-trunk  (LinuxARM32)"
> ? (funcall
> (lambda (a)
>   (declare (optimize (safety 2)))
>   (aref #3A(((1 2 #*1) (nil #*0 4462744560))
>             ((1 20492.867 0) (-32 t 1)))
>         2 0 a))
> 1)
>> Error: Array index 2 out of bounds for #<ARRAY 2x2x3, simple> .
>> While executing: #<Anonymous Function #x5465281E>, in process listener(1).
>> Type :POP to abort, :R for a list of available restarts.
>> Type :? for other options.
> 1 > :b
> *(405020B8) : 0 (FUNCALL #'#<Anonymous Function #x5465281E> 1) 128
> (405020C8) : 1 (FUNCALL #<Anonymous Function #x5465281E> 1) 84
> (405020F8) : 2 (CALL-CHECK-REGS FUNCALL #<Anonymous Function #x5465281E> 1) 112
>
>
> -- 
> Eric Marsden
>
> _______________________________________________
> Openmcl-devel mailing list
> Openmcl-devel at clozure.com
> http://clozure.com/mailman/listinfo/openmcl-devel
>
>