X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fseq.impure.lisp;h=c75e9522b7a81baa494c819de162dd9983ec2109;hb=19b57ee6640261133a179417c814ca38039e1ab1;hp=df8dbc084199ee26ab7c86a4b06c3868f9ab1411;hpb=ed7ba4dad8a79726fdfeba5aa12e276ea852c540;p=sbcl.git

diff --git a/tests/seq.impure.lisp b/tests/seq.impure.lisp
index df8dbc0..c75e952 100644
--- a/tests/seq.impure.lisp
+++ b/tests/seq.impure.lisp
@@ -175,5 +175,37 @@
     (find-if (lambda (c) (typep c 'base-char)) seq :from-end t)
     (null (find-if 'upper-case-p seq))))
 	 
+;;; SUBSEQ
+(let ((avec (make-array 10
+			:fill-pointer 4
+			:initial-contents '(0 1 2 3 iv v vi vii iix ix))))
+  ;; These first five always worked AFAIK.
+  (assert (equalp (subseq avec 0 3) #(0 1 2)))
+  (assert (equalp (subseq avec 3 3) #()))
+  (assert (equalp (subseq avec 1 3) #(1 2)))
+  (assert (equalp (subseq avec 1) #(1 2 3)))
+  (assert (equalp (subseq avec 1 4) #(1 2 3)))
+  ;; SBCL bug found ca. 2002-05-01 by OpenMCL's correct handling of
+  ;; SUBSEQ, CSR's driving portable cross-compilation far enough to
+  ;; reach the SUBSEQ calls in assem.lisp, and WHN's sleazy
+  ;; translation of old CMU CL new-assem.lisp into sufficiently grotty
+  ;; portable Lisp that it passed suitable illegal values to SUBSEQ to
+  ;; exercise the bug:-|
+  ;;
+  ;; SUBSEQ should check its END value against logical LENGTH, not
+  ;; physical ARRAY-DIMENSION 0.
+  ;;
+  ;; fixed in sbcl-0.7.4.22 by WHN
+  (assert (null (ignore-errors (subseq avec 1 5)))))
+
+;;; FILL
+(defun test-fill-typecheck (x)
+  (declare (optimize (safety 3) (space 2) (speed 1)))
+  (fill (make-string 10) x))
+
+(assert (string= (test-fill-typecheck #\@) "@@@@@@@@@@"))
+;;; BUG 186, fixed in sbcl-0.7.5.5
+(assert (null (ignore-errors (test-fill-typecheck 4097))))
+
 ;;; success
 (quit :unix-status 104)