The gcl random tester found the following problem:
(declare (optimize (speed 3) (space 0) (safety 3)
(debug 2) (compilation-speed 0)))
(return-from b7 17)
(progv '(*s6*) (list 31) d))
*** - GCD: CT2 is not a INTEGER
The following restarts are available:
USE-VALUE :R1 You may input a value to be
Break 1 >
If the outer GCD is omitted this causes a seg fault.
The lambda form executes correctly if interpreted.
According to section 5.2 of the CLHS, the return-from
in the cleanup forms of the unwind-protect is legal,
since the extent of the block does not end until after
all the cleanup forms have been executed.
This occured in a clisp on linux x86 built from cvs
head on 9 jan 2004.