bugGNU Common Lisp - Bugs: bug #7807, setf aref bounds checking failure.

 
 

bug #7807: setf aref bounds checking failure.

Submitter:  Mike Thomas <mjthomas>
Submitted:  Fri 20 Feb 2004 05:23:21 AM UTC
   
 
Category:  None Severity:  1 - Wish
Item Group:  None Status:  Fixed
Privacy:  Public Assigned to:  None
Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Fri 20 Feb 2004 05:23:21 AM UTC, original submission:  


>(setf v1 (make-array 10))


#(NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL)

>(setf (aref v1 -1) 0)


0

>(aref v1 -2)


Error in EVAL [or a callee]: The variable V1 is unbound.

Fast links are on: do (use-fast-links nil) for debugging
Broken at AREF.  Type :H for Help.
 1 (Continue) Return to top level.
dbl:>>1

Top level.

>(aref v1 -1)


Error in EVAL [or a callee]: The variable V1 is unbound.

Fast links are on: do (use-fast-links nil) for debugging
Broken at AREF.  Type :H for Help.
 1 (Continue) Return to top level.
dbl:>>1

Top level.

>(setf v2 (make-array 10))


#(NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL)

>(aref v2 -1)


Error in AREF [or a callee]: Array index -1 out of bounds for #(NIL NIL
                                                                NIL NIL
                                                                NIL NIL
                                                                NIL NIL
                                                                NIL
                                                                NIL)

Fast links are on: do (use-fast-links nil) for debugging
Broken at AREF.  Type :H for Help.
 1 (Continue) Return to top level.
dbl:>>

Mike Thomas <mjthomas>
Group Member

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

 

Follow 2 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2004-07-20 mjthomas StatusNone Fixed
    Open/ClosedOpen Closed

Back to the top

Powered by Savane 3.13-f8d8.
Corresponding source code