Skip to content
Snippets Groups Projects
Commit ec574b56 authored by gerd's avatar gerd
Browse files

* src/compiler/array-tran.lisp (%check-bound): Fix an off-by-1

	error in bounds checking.  Observed by Christophe Rhodes on
	cmucl-imp.
parent 713b6f33
No related branches found
No related tags found
No related merge requests found
......@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/array-tran.lisp,v 1.33 2003/04/27 11:43:43 gerd Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/array-tran.lisp,v 1.34 2003/07/01 09:38:07 gerd Exp $")
;;;
;;; **********************************************************************
;;;
......@@ -461,7 +461,7 @@
(unless (constant-continuation-p dimension)
(give-up))
(let ((dim (continuation-value dimension)))
`(the (integer 0 ,dim) index)))
`(the (integer 0 (,dim)) index)))
;;;
(deftransform %check-bound ((array dimension index) * *
:policy (and (> speed safety) (= safety 0)))
......
......@@ -140,6 +140,7 @@ New in this release:
made them undisplayable.
- Structure predicates no longer signaling an error when applied
to obsolete instances.
- A DEFTRANSFORM for array bounds checking had an off-by-1 error.
* Other changes:
- Removed obsolete alias from MAKE-VECTOR to MAKE-ARRAY
......
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