1 ;;;; miscellaneous tests of compiling toplevel forms
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.
16 ;;; Exercise a compiler bug (by causing a call to ERROR).
18 ;;; This bug was in sbcl-0.6.11.6.
20 (declare (type (mod 1000) a b))
21 (let ((tmp (= 10 (+ (incf a) (incf a) (incf b) (incf b)))))
22 (or tmp (error "TMP not true"))))