X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=73a6c7d9c249357d99871534f54c57c41445d512;hb=d202a453b45430e04671b966c01bc067c2667442;hp=38aebc8bc703885549d7cd9cffd3db2181027075;hpb=5eb97830eca716fef626c6e12429c99c9b97e3c8;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 38aebc8..73a6c7d 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1,3 +1,16 @@
+;;;; various compiler tests without side effects
+
+;;;; This software is part of the SBCL system. See the README file for
+;;;; more information.
+;;;;
+;;;; While most of SBCL is derived from the CMU CL system, the test
+;;;; files (like this one) were written from scratch after the fork
+;;;; from CMU CL.
+;;;; 
+;;;; This software is in the public domain and is provided with
+;;;; absolutely no warranty. See the COPYING and CREDITS files for
+;;;; more information.
+
 (cl:in-package :cl-user)
 
 ;;; Exercise a compiler bug (by crashing the compiler).
@@ -43,3 +56,61 @@
 			     (frob (mrstk x)))
 			   nil))))
 	 13)
+
+;;; bug 112, reported by Martin Atzmueller 2001-06-25 (originally
+;;; from Bruno Haible in CMU CL bugs collection), fixed by
+;;; Alexey Dejneka 2002-01-27
+(assert (= 1 ; (used to give 0 under bug 112)
+	   (let ((x 0))
+	     (declare (special x))
+	     (let ((x 1))
+	       (let ((y x))
+		 (declare (special x)) y)))))
+(assert (= 1 ; (used to give 1 even under bug 112, still works after fix)
+	   (let ((x 0))
+	     (declare (special x))
+	     (let ((x 1))
+	       (let ((y x) (x 5))
+		 (declare (special x)) y)))))
+
+;;; another LET-related bug fixed by Alexey Dejneka at the same
+;;; time as bug 112
+(multiple-value-bind (value error)
+    (ignore-errors
+      ;; should complain about duplicate variable names in LET binding
+      (compile nil
+	       '(lambda ()
+		  (let (x
+			(x 1))
+		    (list x)))))
+  (assert (null value))
+  (assert (typep error 'error)))
+
+;;; bug 169 (reported by Alexey Dejneka 2002-05-12, fixed by David
+;;; Lichteblau 2002-05-21)
+(progn
+  (multiple-value-bind (fun warnings-p failure-p)
+      (compile nil
+	       ;; Compiling this code should cause a STYLE-WARNING
+	       ;; about *X* looking like a special variable but not
+	       ;; being one.
+	       '(lambda (n)
+		  (let ((*x* n))
+		    (funcall (symbol-function 'x-getter))
+		    (print *x*))))
+    (assert (functionp fun))
+    (assert warnings-p)
+    (assert (not failure-p)))
+  (multiple-value-bind (fun warnings-p failure-p)
+      (compile nil
+	       ;; Compiling this code should not cause a warning
+	       ;; (because the DECLARE turns *X* into a special
+	       ;; variable as its name suggests it should be).
+	       '(lambda (n)
+		  (let ((*x* n))
+		    (declare (special *x*))
+		    (funcall (symbol-function 'x-getter))
+		    (print *x*))))
+    (assert (functionp fun))
+    (assert (not warnings-p))
+    (assert (not failure-p))))