gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: gcl and the random tester


From: Camm Maguire
Subject: Re: [Gcl-devel] Re: gcl and the random tester
Date: 27 Feb 2004 18:58:47 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  Should be fixed now Paul.  Please confirm.  There is
another issue regarding cross closure tag references which needs to be
nailed down.  I have a large form that triggered the error I believe
you were seeing.  It would be nice if you knew how to prune it
perchance, which you appear to know given your postings.

Anyway, this should be a simple fix but it will take a few days.

Here is the form:
=============================================================================

(lisp::defun foo #0=(cl-test::a cl-test::b cl-test::c cl-test::d
cl-test::e cl-test::f cl-test::g cl-test::h) (lisp::declare
(lisp::type (lisp::integer 9310171 14508229) cl-test::a))
(lisp::declare (lisp::type (lisp::integer -38579861376 22)
cl-test::b)) (lisp::declare (lisp::type (lisp::integer 17835303616
60281957952) cl-test::c)) (lisp::declare (lisp::type (lisp::integer
-4031973027840 -107549741056) cl-test::d)) (lisp::declare (lisp::type
(lisp::integer -954069238784 -136) cl-test::e)) (lisp::declare
(lisp::type (lisp::integer -14746584304 -1460137814) cl-test::f))
(lisp::declare (lisp::type (lisp::integer -1 893947384) cl-test::g))
(lisp::declare (lisp::type (lisp::integer -4 753) cl-test::h))
(lisp::declare (lisp::ignorable . #0#)) (lisp::declare (lisp::optimize
(lisp::speed 1) (lisp::space 1) (lisp::safety 3)
(common-lisp-user::debug 3) (lisp::compilation-speed 0)))
(lisp::multiple-value-bind (cl-test::v4) (lisp::dpb (lisp::if
(lisp::if (lisp::not (lisp::or (lisp::= (lisp::flet ((cl-test::%f7
(cl-test::f7-1) (lisp::max (lisp::multiple-value-bind (cl-test::*s1*)
(lisp::if (lisp::/= -1 -149740) cl-test::a -33418663) (lisp::dotimes
(cl-test::iv3 3 cl-test::e) (lisp::progn cl-test::h))) (lisp::logxor
(lisp::- cl-test::c 5879) (lisp::values (lisp::catch (lisp::quote
cl-test::ct2) cl-test::a)))))) (lisp::catch (lisp::quote cl-test::ct2)
(lisp::+ cl-test::b cl-test::g 7 (lisp::* -1182 cl-test::c) 402103)))
(lisp::isqrt (lisp::abs (lisp::abs (lisp::* cl-test::b 798510
cl-test::e (conditions::handler-case (lisp::flet ((cl-test::%f17
(cl-test::f17-1 cl-test::f17-2 cl-test::f17-3) cl-test::f)) (lisp::/
cl-test::b -1))) -58176 (lisp::lognor (lisp::* cl-test::d 14545)
(lisp::logorc1 (lisp::+ cl-test::b (lisp::- 1220 cl-test::d))
cl-test::b))))))) (lisp::/= cl-test::d 70364880))) (lisp::or lisp::t
(lisp::/= -2376407 0)) (lisp::or (lisp::equal (lisp::flet
((cl-test::%f13 (cl-test::f13-1 cl-test::f13-2 cl-test::f13-3)
(lisp::return-from cl-test::%f13 (lisp::logxor (lisp::+ (lisp::flet
((cl-test::%f4 (cl-test::f4-1 cl-test::f4-2) cl-test::f13-2))
(lisp::the lisp::integer (lisp::deposit-field cl-test::h (lisp::byte
14 23) cl-test::f13-2))) 0 cl-test::d -906 cl-test::f13-3 cl-test::g
(lisp::mask-field (lisp::byte 9 8) (lisp::denominator 2)))
(lisp::unwind-protect (lisp::if lisp::t (lisp::multiple-value-bind
(cl-test::v2) cl-test::c -57138521) -175)))))) (lisp::let
((cl-test::*s5* (lisp::- -1 cl-test::c cl-test::g cl-test::g
cl-test::e))) 117343)) cl-test::d) (lisp::if (lisp::<= 843 cl-test::d)
(lisp::or (lisp::= cl-test::c cl-test::h) lisp::t) (lisp::if lisp::nil
(lisp::equal -243208919 1253990) (lisp::and lisp::t lisp::t)))))
(lisp::multiple-value-bind (cl-test::*s1*) (lisp::logandc1
(lisp::logeqv cl-test::d (lisp::let ((cl-test::*s6* (lisp::labels
((cl-test::%f14 lisp::nil (lisp::return-from cl-test::%f14
cl-test::g))) cl-test::a))) cl-test::*s6*)) (lisp::1-
(lisp::mask-field (lisp::byte 31 4) (lisp::identity (lisp::labels
((cl-test::%f6 (lisp::&optional (cl-test::f6-1 (lisp::mask-field
(lisp::byte 29 28) 65417130)) (cl-test::f6-2 (lisp::rationalize
(lisp::flet ((cl-test::%f4 (cl-test::f4-1 cl-test::f4-2 cl-test::f4-3
lisp::&optional (cl-test::f4-4 cl-test::h) (cl-test::f4-5 cl-test::b))
cl-test::c)) 0)))) (lisp::+ cl-test::g cl-test::e))) (lisp::mask-field
(lisp::byte 13 11) (conditions::restart-case (lisp::if (lisp::equal
427 cl-test::e) (cl-test::%f6 (lisp::ash cl-test::d (lisp::min 5
(cl-test::%f6)))) 992186999)))))))) (lisp::- (lisp::labels
((cl-test::%f2 (cl-test::f2-1) (lisp::max -91185 cl-test::g))) -28515)
(lisp::* (lisp::ash (lisp::min 32400516 31090 (lisp::* (lisp::-
cl-test::e)) cl-test::a) (lisp::min 86 (lisp::progn (lisp::tagbody
(lisp::gcd (lisp::coerce 1600427 #1=(lisp::quote lisp::integer)))
cl-test::tag1 (lisp::progn cl-test::b) 4 (lisp::progn 6)
cl-test::tag7) 1874))) (lisp::coerce (lisp::dotimes (cl-test::iv4 1
cl-test::d) (lisp::progn 523285)) #1#)))) (lisp::truncate
(lisp::logand (lisp::block cl-test::b5 (lisp::flet ((cl-test::%f7
(cl-test::f7-1) (lisp::setf cl-test::c 47755698037))) (lisp::+
(lisp::gcd (lisp::mod (cl-test::%f7 cl-test::f) (lisp::min -53
cl-test::b)) (lisp::if lisp::t (lisp::return-from cl-test::b5
(lisp::expt (lisp::flet ((cl-test::%f18 lisp::nil 931)) -1) 1))
cl-test::h)) cl-test::b))) (lisp::deposit-field -7781261 (lisp::byte
22 20) cl-test::h)) (lisp::max 97 (lisp::labels ((cl-test::%f14
(cl-test::f14-1 cl-test::f14-2 cl-test::f14-3) (lisp::labels
((cl-test::%f15 (cl-test::f15-1 cl-test::f15-2 cl-test::f15-3
lisp::&optional (cl-test::f15-4 (lisp::unwind-protect 11997 -71199790
-306))) (lisp::catch #2=(lisp::quote cl-test::ct6) (lisp::throw #2#
cl-test::f14-1)))) (lisp::flet ((cl-test::%f2 (cl-test::f2-1
cl-test::f2-2 cl-test::f2-3) cl-test::b)) (lisp::mask-field
(lisp::byte 33 24) 2032971646))))) (lisp::conjugate (lisp::let
((cl-test::*s2* (lisp::if (lisp::> -21686 1378746362) (lisp::labels
((cl-test::%f18 (cl-test::f18-1 cl-test::f18-2 cl-test::f18-3
lisp::&optional (cl-test::f18-4 cl-test::c) (cl-test::f18-5
(cl-test::%f14 7667 3034 -44)) (cl-test::f18-6 cl-test::f))
cl-test::d)) 229) (lisp::progv (lisp::quote (cl-test::*s3*))
(lisp::list (lisp::flet ((cl-test::%f11 lisp::nil cl-test::h))
(lisp::if (lisp::if lisp::t (lisp::= 18008 cl-test::e) (lisp::logbitp
2 (lisp::rationalize (lisp::ldb (lisp::byte 4 2) 1933632))))
(cl-test::%f14 cl-test::b (lisp::logandc1 cl-test::f 3671307)
(lisp::expt (lisp::- (lisp::mask-field (lisp::byte 12 28)
(lisp::logeqv (cl-test::%f11) 110739))) 1)) (lisp::if (lisp::and
lisp::t lisp::nil) (lisp::max (lisp::catch (lisp::quote cl-test::ct6)
(lisp::let* ((cl-test::v10 10643287)) cl-test::b)) 899261
(cl-test::%f11) (lisp::logorc1 2329 cl-test::g) cl-test::b 3031074)
(lisp::identity (lisp::integer-length cl-test::e)))))) (lisp::values
(lisp::+ (lisp::progn (lisp::tagbody) (cl-test::%f14 cl-test::g
cl-test::f 9538)) (lisp::rationalize cl-test::e))))))) (lisp::flet
((cl-test::%f11 (lisp::&optional (cl-test::f11-1 cl-test::d)
(cl-test::f11-2 cl-test::b)) -49)) -738230083))))))) (lisp::byte 28 1)
(lisp::if (lisp::>= (lisp::conjugate (lisp::let* ((cl-test::v2
(lisp::catch (lisp::quote cl-test::ct2) (lisp::labels ((cl-test::%f4
(cl-test::f4-1) (lisp::let ((cl-test::v3 cl-test::f)) (lisp::gcd
(lisp::labels ((cl-test::%f12 (lisp::&optional (cl-test::f12-1
1644968) (cl-test::f12-2 1321046)) 134731)) -158760353) 48 cl-test::a
62561063 cl-test::f cl-test::f -1132556334 -247)))) (lisp::if
(lisp::or (lisp::> cl-test::g (cl-test::%f4 2832)) (lisp::ldb-test
(lisp::byte 24 10) (lisp::logxor (lisp::ldb (lisp::byte 33 18)
(conditions::ignore-errors (lisp::1+ (cl-test::%f4 cl-test::b))))
-1))) cl-test::c (lisp::progn (lisp::tagbody (lisp::catch (lisp::quote
cl-test::ct2) (lisp::denominator (conditions::handler-case -105))) 7
(lisp::truncate (cl-test::%f4 cl-test::g) (lisp::max 93 (lisp::gcd
(lisp::denominator (lisp::funcall (lisp::function cl-test::%f4)
(lisp::labels ((cl-test::%f10 (cl-test::f10-1 cl-test::f10-2
cl-test::f10-3) 2304409)) (lisp::catch (lisp::quote cl-test::ct2)
240995782)))) (lisp::floor (lisp::setf cl-test::c 22148080610)))))
cl-test::tag2 (lisp::go cl-test::tag3) cl-test::tag3 (lisp::the
lisp::integer (lisp::funcall (lisp::function cl-test::%f4) (lisp::*
(lisp::/ (cl-test::%f4 -464205495) 1) cl-test::g))) 4)
cl-test::e)))))) (lisp::conjugate (lisp::ash (lisp::progn
(lisp::tagbody (lisp::progn -6233966) 4 (lisp::progn cl-test::b)
cl-test::tag3 (lisp::progn 0) 1 (lisp::progn -1) 2 (lisp::progn
cl-test::h) cl-test::tag2) cl-test::a) (lisp::min 9 (lisp::truncate
(lisp::let* ((cl-test::*s6* -16769321)) (lisp::gcd 965473 -137 -1
(lisp::logorc1 -43 1048886039) 959766 cl-test::*s6* 86 2691404
103097)) (lisp::max 4 (lisp::max (lisp::flet ((cl-test::%f2
(cl-test::f2-1 cl-test::f2-2) 2671380)) cl-test::a) -56))))))))
(lisp::truncate cl-test::d (lisp::min -81 2865))) (lisp::flet
((cl-test::%f17 lisp::nil (lisp::multiple-value-bind (cl-test::v1)
(lisp::logcount (lisp::* cl-test::c (lisp::* 25675635 cl-test::e
(lisp::block cl-test::b2 cl-test::a) 0 cl-test::a) 29996 -648))
(lisp::gcd (lisp::lognor (lisp::max (lisp::labels ((cl-test::%f15
(cl-test::f15-1 cl-test::f15-2 cl-test::f15-3) (lisp::max
cl-test::f15-2 cl-test::f15-3 cl-test::c cl-test::a cl-test::f15-1
cl-test::f15-1 cl-test::c 2020 2))) -5654) -14) (lisp::max (lisp::max
(lisp::flet ((cl-test::%f12 (cl-test::f12-1 cl-test::f12-2
cl-test::f12-3 lisp::&optional (cl-test::f12-4 -218186)
(cl-test::f12-5 -52153)) cl-test::c)) -480874220))))
(lisp::multiple-value-prog1 -3 4))))) (lisp::if (lisp::typep
(lisp::flet ((cl-test::%f1 (cl-test::f1-1 cl-test::f1-2) (lisp::labels
((cl-test::%f15 (lisp::&optional (cl-test::f15-1 401) (cl-test::f15-2
cl-test::e) (cl-test::f15-3 (lisp::denominator (lisp::mask-field
(lisp::byte 3 19) (lisp::let* ((cl-test::v3 cl-test::f)) 1815679)))))
-265)) cl-test::c))) (lisp::if (lisp::not (lisp::if (lisp::= -138892
-178352922) (lisp::logbitp 9 (lisp::abs cl-test::b)) (lisp::>=
(cl-test::%f17) -3109))) (lisp::setf cl-test::h 636) (lisp::flet
((cl-test::%f11 (cl-test::f11-1 cl-test::f11-2 lisp::&optional
(cl-test::f11-3 cl-test::b)) 727)) (lisp::dotimes (cl-test::iv3 1
994987) (lisp::progn -21658442))))) (lisp::quote (lisp::integer)))
(lisp::coerce (conditions::restart-case (lisp::labels ((cl-test::%f14
(cl-test::f14-1) cl-test::b)) (lisp::catch (lisp::quote cl-test::ct7)
(lisp::progn (lisp::tagbody (lisp::if (lisp::/= 32679974 cl-test::h)
(lisp::catch (lisp::quote cl-test::ct2) cl-test::c) cl-test::a)
cl-test::tag8) cl-test::g)))) #1#) (lisp::logorc1 (lisp::catch
#3=(lisp::quote cl-test::ct1) (lisp::labels ((cl-test::%f3 lisp::nil
(lisp::integer-length (lisp::labels ((cl-test::%f9 (cl-test::f9-1
cl-test::f9-2 cl-test::f9-3 lisp::&optional (cl-test::f9-4 -64859)
(cl-test::f9-5 5824)) (lisp::let ((cl-test::*s7* -19)) -366)))
(cl-test::%f9 cl-test::h cl-test::e cl-test::b cl-test::a
cl-test::d))))) (lisp::flet ((cl-test::%f4 lisp::nil cl-test::e))
(lisp::labels ((cl-test::%f12 (cl-test::f12-1) (lisp::flet
((cl-test::%f12 (cl-test::f12-1 cl-test::f12-2 cl-test::f12-3)
cl-test::a)) (lisp::throw #3# (lisp::progv (lisp::quote (cl-test::*s4*
cl-test::*s2* cl-test::*s5*)) (lisp::list cl-test::a -1898 -2)
(cl-test::%f3)))))) (lisp::signum (lisp::integer-length (lisp::min
cl-test::f (lisp::labels ((cl-test::%f18 lisp::nil (lisp::let
lisp::nil (lisp::abs 681027)))) -1254)))))))) (lisp::ldb (lisp::byte 4
17) (lisp::flet ((cl-test::%f7 lisp::nil (lisp::block cl-test::b8
(lisp::setf cl-test::g 509482007)))) (lisp::1+ (lisp::flet
((cl-test::%f13 (cl-test::f13-1 cl-test::f13-2 cl-test::f13-3)
(lisp::block cl-test::b4 -426))) cl-test::e))))))) (lisp::labels
((cl-test::%f10 (cl-test::f10-1 cl-test::f10-2 lisp::&optional
(cl-test::f10-3 (lisp::mask-field (lisp::byte 1 12) (lisp::round
(lisp::flet ((cl-test::%f13 lisp::nil (lisp::if (lisp::>= cl-test::e
cl-test::d) cl-test::h -1007950014))) (lisp::the lisp::integer
(lisp::multiple-value-bind (cl-test::v7) (conditions::handler-bind
lisp::nil (lisp::logandc2 cl-test::c -240981)) -767916293)))
(lisp::max 90 (lisp::flet ((cl-test::%f2 (cl-test::f2-1 cl-test::f2-2
cl-test::f2-3) (lisp::multiple-value-prog1 -2 (lisp::dpb cl-test::d
(lisp::byte 23 3) -181458419) cl-test::b cl-test::f2-2))) (lisp::if
(lisp::= -5 3807) (lisp::flet ((cl-test::%f16 (cl-test::f16-1
cl-test::f16-2) (cl-test::%f2 -8 30179 cl-test::c))) (lisp::ldb
(lisp::byte 21 15) 169)) -1050))))))) (lisp::expt (lisp::conjugate
(lisp::setq cl-test::c 34045381966)) 1))) (lisp::isqrt (lisp::abs
(lisp::gcd (lisp::labels ((cl-test::%f8 lisp::nil 164495)) (lisp::flet
((cl-test::%f2 (cl-test::f2-1 cl-test::f2-2 lisp::&optional
(cl-test::f2-3 -23053)) 1767352)) -722)) cl-test::f)))))) (lisp::progn
(lisp::tagbody (lisp::catch #4=(lisp::quote cl-test::ct8)
(lisp::unwind-protect (lisp::flet ((cl-test::%f4 lisp::nil
(lisp::labels ((cl-test::%f6 (cl-test::f6-1 cl-test::f6-2
cl-test::f6-3) (lisp::block cl-test::b6 (lisp::labels ((cl-test::%f16
lisp::nil (lisp::integer-length (lisp::return-from cl-test::%f16
(lisp::logeqv (lisp::logeqv (lisp::flet ((cl-test::%f13
(cl-test::f13-1) (lisp::progn (lisp::tagbody (lisp::if lisp::nil
(lisp::return-from cl-test::%f16 cl-test::v4) cl-test::f6-2) 2
(lisp::progn 251) cl-test::tag3) 39))) (lisp::catch (lisp::quote
cl-test::ct2) cl-test::f6-1)) (lisp::labels ((cl-test::%f8 lisp::nil
cl-test::h)) (lisp::* -6828353 (lisp::flet ((cl-test::%f18 lisp::nil
-6305)) cl-test::e)))) (lisp::labels ((cl-test::%f16 (cl-test::f16-1
cl-test::f16-2) (lisp::labels ((cl-test::%f8 lisp::nil (lisp::*
(lisp::flet ((cl-test::%f13 (cl-test::f13-1 lisp::&optional
(cl-test::f13-2 cl-test::h) (cl-test::f13-3 cl-test::f)) (lisp::labels
((cl-test::%f15 (cl-test::f15-1 cl-test::f15-2 cl-test::f15-3
lisp::&optional (cl-test::f15-4 cl-test::f16-1) (cl-test::f15-5
553294)) -13)) 29023))) 403)))) (lisp::throw #4# (lisp::dotimes
(cl-test::iv1 3 (lisp::case (lisp::block cl-test::b4
(lisp::multiple-value-prog1 (lisp::min cl-test::h) cl-test::g
cl-test::h)) ((-43 -27 34 -26 43 55 -1) (lisp::catch (lisp::quote
cl-test::ct7) (lisp::gcd 672621 (lisp::- cl-test::v4 21761 79
cl-test::f6-3 (lisp::unwind-protect (lisp::throw #4# (lisp::dotimes
(cl-test::iv4 0 0) (lisp::progn cl-test::g)))))))) ((-38 24 33)
cl-test::f16-1) ((-1 -38 33) (lisp::progn (lisp::tagbody)
(cl-test::%f8))) (lisp::t cl-test::f))) (lisp::if lisp::t 193353605
(lisp::macrolet lisp::nil (lisp::flet ((cl-test::%f17 lisp::nil -416))
(lisp::catch (lisp::quote cl-test::ct6) (lisp::truncate (lisp::values
(lisp::labels ((cl-test::%f14 (cl-test::f14-1 cl-test::f14-2
cl-test::f14-3 lisp::&optional (cl-test::f14-4 -30640) (cl-test::f14-5
72)) (lisp::lognand -103 cl-test::g))) 476193))))))))))))
(lisp::denominator (lisp::mask-field (lisp::byte 5 23) (lisp::dotimes
(cl-test::iv1 1 (lisp::if (lisp::equal -2850 (lisp::go 0)) (lisp::*
cl-test::f cl-test::b) cl-test::v4)) (lisp::throw #4# (lisp::logxor
cl-test::d -235518815 cl-test::d 30 cl-test::b))))))))))) (lisp::block
cl-test::b8 (lisp::let ((cl-test::*s4* (lisp::labels ((cl-test::%f3
(cl-test::f3-1 cl-test::f3-2 cl-test::f3-3 lisp::&optional
(cl-test::f3-4 (lisp::deposit-field (lisp::labels ((cl-test::%f5
(cl-test::f5-1) (lisp::flet ((cl-test::%f5 (cl-test::f5-1
cl-test::f5-2 cl-test::f5-3) (lisp::catch (lisp::quote cl-test::ct1)
(lisp::catch (lisp::quote cl-test::ct2) 52)))) cl-test::f6-3)))
(lisp::catch (lisp::quote cl-test::ct7) (lisp::let* ((cl-test::v1
(lisp::if (lisp::= 69 cl-test::c) (lisp::return-from cl-test::%f6
cl-test::f) -368))) (lisp::throw #4# (lisp::ldb (lisp::byte 1 2)
(lisp::apply (lisp::function cl-test::%f5) (lisp::list (lisp::progn
(lisp::tagbody (cl-test::%f5 -8406) 5 (cl-test::%f5 12201)
cl-test::tag6) -382532)))))))) (lisp::byte 5 8) cl-test::b)))
(lisp::setq cl-test::f6-2 (lisp::labels ((cl-test::%f13
(cl-test::f13-1) (lisp::- 16642 -79688))) (lisp::labels ((cl-test::%f3
(cl-test::f3-1) cl-test::f)) -1))))) (lisp::dotimes (cl-test::iv2 1
(lisp::if (lisp::equal (cl-test::%f3 cl-test::c 82946 -81065675)
cl-test::d) (lisp::return-from cl-test::%f4 (lisp::flet
((cl-test::%f13 (cl-test::f13-1) (lisp::logior cl-test::b (lisp::throw
#4# -4)))) -99925679)) (cl-test::%f3 30977 (cl-test::%f3 cl-test::h
977464 cl-test::f6-1) (cl-test::%f16)))) (lisp::macrolet lisp::nil
(lisp::throw #4# (lisp::logorc2 (cl-test::%f16) 796)))))))
(lisp::labels ((cl-test::%f6 (cl-test::f6-1 cl-test::f6-2
cl-test::f6-3 lisp::&optional (cl-test::f6-4 (lisp::throw #4#
(lisp::denominator (lisp::flet ((cl-test::%f3 (cl-test::f3-1
cl-test::f3-2 cl-test::f3-3) (lisp::flet ((cl-test::%f11 lisp::nil
(lisp::values (lisp::if (lisp::<= cl-test::f6-3 -125) cl-test::b
cl-test::h)))) (lisp::dotimes (cl-test::iv4 3 (lisp::logeqv
cl-test::f3-1 -30272)) (lisp::progn -49))))) (lisp::labels
((cl-test::%f8 (lisp::&optional (cl-test::f8-1 (cl-test::%f3
cl-test::*s4* cl-test::f6-3 51)) (cl-test::f8-2 (lisp::numerator
(lisp::setf cl-test::*s4* (cl-test::%f16))))) -131)) cl-test::h)))))
(cl-test::f6-5 (lisp::mask-field (lisp::byte 12 13) (lisp::+
(lisp::logorc2 cl-test::c (lisp::let* ((cl-test::v5 (lisp::if
lisp::nil (lisp::truncate cl-test::g) -111536))) -1192163))
(lisp::labels ((cl-test::%f17 (cl-test::f17-1 cl-test::f17-2
cl-test::f17-3) -12903)) (lisp::labels ((cl-test::%f15 lisp::nil
(lisp::throw #4# (lisp::multiple-value-bind (cl-test::v5) (lisp::isqrt
(lisp::abs (cl-test::%f16))) (lisp::if (lisp::/= cl-test::c
cl-test::b) -33627 cl-test::v5))))) 50232)))))) (lisp::logcount
(lisp::deposit-field 19982 (lisp::byte 12 21) (lisp::the lisp::integer
(lisp::throw #4# (lisp::block cl-test::b2 cl-test::e)))))))
(lisp::labels ((cl-test::%f11 (cl-test::f11-1 cl-test::f11-2
lisp::&optional (cl-test::f11-3 (cl-test::%f6 8803 219875025 -2))
(cl-test::f11-4 cl-test::v4) (cl-test::f11-5 cl-test::g)) (lisp::catch
(lisp::quote cl-test::ct4) cl-test::e))) -52)))))))) (lisp::throw #4#
(lisp::lognand (lisp::catch (lisp::quote cl-test::ct6) (lisp::logior
cl-test::d cl-test::d 97 (lisp::min (lisp::go 7) (lisp::catch
(lisp::quote cl-test::ct2) (lisp::apply (lisp::function cl-test::%f6)
(cl-test::%f6 2 cl-test::e -201) cl-test::h -7939685 (lisp::list)))
(lisp::realpart (lisp::gcd cl-test::v4 cl-test::v4)) (lisp::expt
(lisp::throw #4# (lisp::complex (lisp::labels ((cl-test::%f12
(cl-test::f12-1 lisp::&optional (cl-test::f12-2 cl-test::h)
(cl-test::f12-3 (lisp::throw #4# (lisp::round (lisp::values (lisp::if
lisp::t (lisp::multiple-value-prog1 (lisp::go 6) cl-test::v4
cl-test::v4) cl-test::b))))) (cl-test::f12-4 cl-test::a))
(cl-test::%f6 -144509249 cl-test::h cl-test::f12-3))) cl-test::a) 0))
2)) (lisp::gcd (cl-test::%f6 49 -36 -21267500) 755068818))) (lisp::if
lisp::nil (lisp::return-from cl-test::%f4 (lisp::logorc1 (lisp::flet
((cl-test::%f3 (cl-test::f3-1 lisp::&optional (cl-test::f3-2 8039)
(cl-test::f3-3 -246572779)) (lisp::rem cl-test::f3-1 (lisp::min -87
-368195)))) -13) cl-test::g)) (lisp::progn (lisp::tagbody (lisp::isqrt
(lisp::abs (lisp::if lisp::nil (lisp::flet ((cl-test::%f14
(cl-test::f14-1 lisp::&optional (cl-test::f14-2 cl-test::v4)
(cl-test::f14-3 (lisp::ldb (lisp::byte 16 3) 1376))) cl-test::g)) -15)
cl-test::d))) 4 (lisp::progn 23569) cl-test::tag1 (lisp::progn
-887920) cl-test::tag4 (lisp::progn -6445) 3 (lisp::progn cl-test::g)
6) cl-test::a))))))) (lisp::flet ((cl-test::%f18 (cl-test::f18-1
cl-test::f18-2) (lisp::dotimes (cl-test::iv1 2 (lisp::flet
((cl-test::%f6 lisp::nil (lisp::catch (lisp::quote cl-test::ct4)
(lisp::flet ((cl-test::%f10 (cl-test::f10-1 cl-test::f10-2
cl-test::f10-3) (lisp::flet ((cl-test::%f12 (cl-test::f12-1
cl-test::f12-2 cl-test::f12-3 lisp::&optional (cl-test::f12-4
(lisp::if (lisp::> cl-test::f10-3 cl-test::f10-1) cl-test::f10-1
(lisp::ldb (lisp::byte 2 27) (lisp::progn (lisp::tagbody (lisp::catch
(lisp::quote cl-test::ct1) (lisp::labels ((cl-test::%f12
(cl-test::f12-1 cl-test::f12-2 cl-test::f12-3) -58739)) (lisp::progn
(lisp::tagbody) cl-test::f10-3))) 6) -1109197))))) (lisp::flet
((cl-test::%f17 (cl-test::f17-1 lisp::&optional (cl-test::f17-2
-221505830) (cl-test::f17-3 (lisp::dotimes (cl-test::iv2 2
(lisp::floor (lisp::if (lisp::not (lisp::equal 1538399
cl-test::f12-3)) (lisp::if (lisp::if (lisp::equal cl-test::v4
cl-test::f10-2) (lisp::<= -1301 cl-test::d) (lisp::if lisp::nil
(lisp::< (lisp::go 6) cl-test::f18-1) (lisp::or (lisp::logbitp 7
-315644170) lisp::nil))) (lisp::return-from cl-test::%f18 4537)
(cl-test::%f4)) (cl-test::%f4)))) (cl-test::%f4))) (cl-test::f17-4
(lisp::throw #4# (lisp::setq cl-test::f10-2 (lisp::case -116490512
((-29522 31460 4064 40572 41975 60812 -48025 -34461) -3821) ((59454
23648 60860 17396 -36800) (lisp::* (lisp::ldb (lisp::byte 30 21)
cl-test::v4) -1237308)) ((25123 -34662 -57183 32563 51258 -39349
29011) -15) ((-44946 45526 6024 -29324) -10) ((-50257) 1) ((49946)
-29515) ((61775 -4572 -17216) -1111) (lisp::t 28339))))))
(lisp::identity cl-test::c))) cl-test::f12-1))) -321535))) 0))))
(lisp::if (lisp::equal 767 cl-test::v4) cl-test::h (lisp::if (lisp::>
cl-test::b -2) cl-test::f18-1 (lisp::dotimes (cl-test::iv3 2 -734)
(lisp::logorc2 (lisp::complex 7639331 0) -1972)))))) (lisp::dotimes
(cl-test::iv2 3 (lisp::signum (lisp::locally (lisp::progv (lisp::quote
(cl-test::*s4* cl-test::*s7* cl-test::*s2*)) (lisp::list
(lisp::complex (lisp::logior 997622171 cl-test::c 10484860
cl-test::f18-1 -1800) 0) 500 (cl-test::%f4)) -336)))) (lisp::progn
cl-test::iv2))))) (lisp::block cl-test::b7 (lisp::ash (lisp::if
(lisp::equal cl-test::h -620152) -143 (lisp::ldb (lisp::byte 20 4)
cl-test::b)) (lisp::min 1 (lisp::logxor (lisp::lognor
(conditions::restart-case (lisp::realpart (lisp::multiple-value-bind
(cl-test::v2) (cl-test::%f4) (lisp::if (lisp::ldb-test (lisp::byte 11
27) 33084554) (lisp::expt (lisp::- cl-test::v2 (lisp::block
cl-test::b5 cl-test::d) cl-test::v2) 2) (lisp::ldb (lisp::byte 14 24)
(cl-test::%f18 -230 (cl-test::%f4))))))) (lisp::labels ((cl-test::%f13
(cl-test::f13-1 cl-test::f13-2 cl-test::f13-3) (lisp::max
(cl-test::%f18 cl-test::g -1397125) (cl-test::%f18 cl-test::f13-1
cl-test::g) -4 cl-test::f13-1 (cl-test::%f18 213721 -4))))
cl-test::c)))))))))) 0 (lisp::catch (lisp::quote cl-test::ct4)
cl-test::g) 7 (lisp::progv (lisp::quote (cl-test::*s7*)) (lisp::list
(lisp::rational (lisp::logand (lisp::labels ((cl-test::%f13
(cl-test::f13-1 lisp::&optional (cl-test::f13-2 cl-test::e)
(cl-test::f13-3 (lisp::min 105350384 (lisp::flet ((cl-test::%f8
(cl-test::f8-1) -86557)) (cl-test::%f8 (cl-test::%f8 cl-test::g))))))
(lisp::- (lisp::flet ((cl-test::%f8 (cl-test::f8-1 cl-test::f8-2
cl-test::f8-3) -64)) (lisp::logior cl-test::f cl-test::f13-3
(cl-test::%f8 cl-test::d -14 (lisp::go 6)))) (lisp::max (lisp::flet
((cl-test::%f3 (lisp::&optional (cl-test::f3-1 -15195506)
(cl-test::f3-2 cl-test::h) (cl-test::f3-3 cl-test::c)) cl-test::f))
(lisp::go 6)) (lisp::rational (lisp::max 102 cl-test::c))))))
(lisp::min -2 2172)) -3))) (lisp::let lisp::nil (lisp::catch
#5=(lisp::quote cl-test::ct5) (lisp::identity (lisp::expt (lisp::throw
#5# (lisp::block cl-test::b8 (conditions::restart-case
(lisp::mask-field (lisp::byte 24 12) cl-test::h)))) 0))))) 6)
(lisp::let* ((cl-test::*s4* (lisp::setf cl-test::v4 (lisp::isqrt
(lisp::abs (lisp::flet ((cl-test::%f1 (cl-test::f1-1 cl-test::f1-2)
(lisp::lognor (lisp::logcount (lisp::multiple-value-bind
(cl-test::*s7*) (lisp::labels ((cl-test::%f14 (cl-test::f14-1
cl-test::f14-2 cl-test::f14-3) cl-test::b)) -12858) (lisp::flet
((cl-test::%f15 (lisp::&optional (cl-test::f15-1 (lisp::let lisp::nil
-481048))) 1799077)) (lisp::let lisp::nil (lisp::if (lisp::> 60
cl-test::c) cl-test::f1-1 3))))) (lisp::flet ((cl-test::%f1
(cl-test::f1-1 cl-test::f1-2) (lisp::flet ((cl-test::%f2
(cl-test::f2-1 cl-test::f2-2 lisp::&optional (cl-test::f2-3
(lisp::block cl-test::b6 (lisp::ldb (lisp::byte 18 0) (lisp::labels
((cl-test::%f9 (lisp::&optional (cl-test::f9-1 (lisp::identity -223)))
cl-test::f1-2)) (lisp::max cl-test::d 0))))) (cl-test::f2-4
cl-test::a) (cl-test::f2-5 -1249)) (lisp::setf cl-test::a 14415938)))
cl-test::f1-1))) (lisp::labels ((cl-test::%f3 (cl-test::f3-1
cl-test::f3-2 lisp::&optional (cl-test::f3-3 (cl-test::%f1 297
(cl-test::%f1 cl-test::f1-2 cl-test::b))) (cl-test::f3-4 cl-test::a))
cl-test::c)) -578630))))) (lisp::ldb (lisp::byte 20 22) (lisp::progn
(lisp::tagbody (lisp::go cl-test::tag3) cl-test::tag3) 30701))))))))
(lisp::labels ((cl-test::%f1 (cl-test::f1-1 cl-test::f1-2
cl-test::f1-3) 9083)) (lisp::if lisp::t (lisp::min (cl-test::%f1
cl-test::e 6916 cl-test::c) -78082) cl-test::*s4*))))))
=============================================================================


"Paul F. Dietz" <address@hidden> writes:

> I wrote:
> 
> > Unfortunately, I cannot give the form.  I reran the tester
> > in a mode where it prints each form (and associated arguments)
> > before each test, but when rerun in a fresh lisp it doesn't crash.
> 
> Searching through the dumped files, I found (after reduction) this
> problem:
> 
>  >(funcall (compile nil '(lambda () (declare (optimize safety)) (ldb (byte 13 
> 13) 43710))))
> 
> Compiling gazonk9.lsp.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling gazonk9.lsp.
> Loading gazonk9.o
> start address -T 0x8519120 Finished loading gazonk9.o
> Error in COMPILER::CMP-ANON [or a callee]: The function COMPILER::LDB1 is 
> undefined.
> 
> 
> For some reason it was not immediately detecting this problem, but
> instead got corrupted and crashed ~160 iterations later.
> 
>       Paul
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah




reply via email to

[Prev in Thread] Current Thread [Next in Thread]