Fix make-array transforms.
[sbcl.git] / tests / exhaust.impure.lisp
index 4b8cd72..6233f11 100644 (file)
 ;;;; more information.
 
 (cl:in-package :cl-user)
+
+(load "test-util.lisp")
+(load "assertoid.lisp")
+(use-package "TEST-UTIL")
+(use-package "ASSERTOID")
+
 \f
 ;;; Prior to sbcl-0.7.1.38, doing something like (RECURSE), even in
 ;;; safe code, would crash the entire Lisp process. Then the soft
 (defvar *count* 100)
 
 ;;; Base-case: detecting exhaustion
-(assert (eq :exhausted
-            (handler-case
-                (recurse)
-              (storage-condition (c)
-                (declare (ignore c))
-                :exhausted))))
+(with-test (:name (:exhaust :basic) :broken-on '(and :sunos :x86-64))
+  (assert (eq :exhausted
+              (handler-case
+                  (recurse)
+                (storage-condition (c)
+                  (declare (ignore c))
+                  :exhausted)))))
 
 ;;; Check that non-local control transfers restore the stack
 ;;; exhaustion checking after unwinding -- and that previous test
 ;;; didn't break it.
-(let ((exhaust-count 0)
-      (recurse-count 0))
-  (tagbody
+(with-test (:name (:exhaust :non-local-control)
+                  :broken-on '(and :sunos :x86-64)
+                  :skipped-on :win32)
+  (let ((exhaust-count 0)
+        (recurse-count 0))
+    (tagbody
      :retry
-     (handler-bind ((storage-condition (lambda (c)
-                                         (declare (ignore c))
-                                         (if (= *count* (incf exhaust-count))
-                                             (go :stop)
-                                             (go :retry)))))
-       (incf recurse-count)
-       (recurse))
+       (handler-bind ((storage-condition (lambda (c)
+                                           (declare (ignore c))
+                                           (if (= *count* (incf exhaust-count))
+                                               (go :stop)
+                                               (go :retry)))))
+         (incf recurse-count)
+         (recurse))
      :stop)
-  (assert (= exhaust-count recurse-count *count*)))
+    (assert (= exhaust-count recurse-count *count*))))
 
 ;;; Check that we can safely use user-provided restarts to
 ;;; unwind.
-(let ((exhaust-count 0)
-      (recurse-count 0))
-  (block nil
-   (handler-bind ((storage-condition (lambda (c)
-                                       (declare (ignore c))
-                                       (if (= *count* (incf exhaust-count))
-                                           (return)
-                                           (invoke-restart (find-restart 'ok))))))
-      (loop
-       (with-simple-restart (ok "ok")
-         (incf recurse-count)
-         (recurse)))))
-  (assert (= exhaust-count recurse-count *count*)))
+(with-test (:name (:exhaust :restarts)
+                  :broken-on '(and :sunos :x86-64)
+                  :skipped-on :win32)
+  (let ((exhaust-count 0)
+        (recurse-count 0))
+    (block nil
+      (handler-bind ((storage-condition (lambda (c)
+                                          (declare (ignore c))
+                                          (if (= *count* (incf exhaust-count))
+                                              (return)
+                                              (invoke-restart (find-restart 'ok))))))
+        (loop
+           (with-simple-restart (ok "ok")
+             (incf recurse-count)
+             (recurse)))))
+    (assert (= exhaust-count recurse-count *count*))))
 
 (with-test (:name (:exhaust :binding-stack))
   (let ((ok nil)
@@ -84,7 +97,8 @@
           (setq ok t)))
       (assert ok))))
 
-(with-test (:name (:exhaust :alien-stack) :skipped-on '(not :c-stack-is-control-stack))
+(with-test (:name (:exhaust :alien-stack)
+                  :skipped-on '(or (not :c-stack-is-control-stack)))
   (let ((ok nil))
     (labels ((exhaust-alien-stack (i)
                (with-alien ((integer-array (array int 500)))