3 ;;;; This software is part of the SBCL system. See the README file for
6 ;;;; While most of SBCL is derived from the CMU CL system, the test
7 ;;;; files (like this one) were written from scratch after the fork
10 ;;;; This software is in the public domain and is provided with
11 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
12 ;;;; more information.
14 (cl:in-package
:cl-user
)
16 ;;;; recognize self-calls
17 (declaim (optimize speed
))
19 ;;; This is a fopcompilable form that caused FOP stack underflow
20 ;;; because the PROGN and SETQ each failed to push a NIL onto the stack.
21 ;;; >>> DO NOT ADD A (WITH-TEST) TO THIS. <<< It must stay fopcompilable.
22 (let ((a (progn)) ; lp# 1427050
29 ;;;; These three forms should be equivalent.
31 ;;; This used to be a bug in the handling of null-lexenv vs toplevel
32 ;;; policy: LOCALLY and MACROLET hid the toplevel policy from view.
56 (setf (fdefinition x
) (constantly 13)))
59 (list (foo 1) (bar 1) (quux 1)))
61 (assert (equal (test) '(0 0 0)))
62 (assert (equal (test) '(13 13 13))) ; sanity check
64 ;;; Bug in 1.0.2 and 1.0.3, where the XEP was compiled with the wrong
65 ;;; policy. (Test-case derived from code posted by alexander.ekart in
69 (declare (optimize (safety 0)))
70 (defun bubblesort (x y
)
71 (declare (type (simple-array fixnum
(*)) x
)
73 (optimize (speed 3) (safety 3) (space 0) (debug 0)))
76 (assert-error (bubblesort (make-array 10) 9))
78 (define-symbol-macro %trash% what
)
80 ;; just in case we get so smart that INFO becomes foldable
81 (declare (notinline sb-int
:info
))
82 (assert (eq (sb-int:info
:variable
:kind
'%trash%
) :macro
))
83 (assert (eq (sb-int:info
:variable
:macro-expansion
'%trash%
) 'what
))
84 (assert (sb-int:info
:source-location
:symbol-macro
'%trash%
)))
86 (declare (notinline sb-int
:info
))
87 (defconstant %trash%
9) ; this is non-toplevel
88 (multiple-value-bind (val foundp
)
89 (sb-int:info
:variable
:macro-expansion
'%trash%
)
90 (assert (and (not val
) (not foundp
)))))