X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fdynamic-extent.impure.lisp;h=e8a177a1799d246865d9c54bffe852b2bc684fa0;hb=82f9c527cb607ccd19e5b24261dfe9af7b1ba72e;hp=75b4cb1d5cc1d096bd9fa56efd9b47a2bc53111f;hpb=6e4a6b4ccbc0608f29aad507ee20a3de1356b75a;p=sbcl.git diff --git a/tests/dynamic-extent.impure.lisp b/tests/dynamic-extent.impure.lisp index 75b4cb1..e8a177a 100644 --- a/tests/dynamic-extent.impure.lisp +++ b/tests/dynamic-extent.impure.lisp @@ -554,7 +554,10 @@ (setf (gethash 5 *table*) 13) (gethash 5 *table*)) -(with-test (:name (:no-consing :hash-tables)) +;; This fails on threaded PPC because the hash-table implementation +;; uses recursive system spinlocks, which cons (see below for test +;; (:no-consing :spinlock), which also fails on threaded PPC). +(with-test (:name (:no-consing :hash-tables) :fails-on '(and :ppc :sb-thread)) (assert-no-consing (test-hash-table))) ;;; with-spinlock and with-mutex should use DX and not cons @@ -572,11 +575,11 @@ (true *mutex*))) #+sb-thread -(with-test (:name (:no-consing :mutex)) +(with-test (:name (:no-consing :mutex) :fails-on :ppc) (assert-no-consing (test-mutex))) #+sb-thread -(with-test (:name (:no-consing :spinlock)) +(with-test (:name (:no-consing :spinlock) :fails-on :ppc) (assert-no-consing (test-spinlock))) @@ -891,4 +894,22 @@ (flet ((bar () t)) (cons #'bar (lambda () (declare (dynamic-extent #'bar)))))) 'sb-ext:compiler-note))) + +(with-test (:name :bug-586105 :fails-on '(not (and :stack-allocatable-vectors + :stack-allocatable-lists))) + (flet ((test (x) + (let ((vec (make-array 1 :initial-contents (list (list x))))) + (declare (dynamic-extent vec)) + (assert (eql x (car (aref vec 0))))))) + (assert-no-consing (test 42)))) +(defun bug-681092 () + (declare (optimize speed)) + (let ((c 0)) + (flet ((bar () c)) + (declare (dynamic-extent #'bar)) + (do () ((list) (bar)) + (setf c 10) + (return (bar)))))) +(with-test (:name :bug-681092) + (assert (= 10 (bug-681092))))