[Sbcl-devel] (random tester) Bug that showed up in cmucl also affects sbcl

[Paul F. D. <di...@dl...>]

This is SBCL 0.8.3.61, an implementation of ANSI Common Lisp.
[...]
* (compile nil
    '(lambda (b)
       (declare (type (INTEGER -290488443 2) b)
                (optimize (speed 3) (safety 1) (debug 1)))
       (LET ((V3 (MIN -1720 B))) (MAX V3 (LOGCOUNT (IF (= V3 B) B B))))))

debugger invoked on condition of type SB-INT:BUG:

       #<SB-C::LAMBDA-VAR :%SOURCE-NAME V3 :TYPE # {900EA21}>
       not found in
       #<SB-C::PHYSENV :LAMBDA # {9016A41}>


(This is x86 linux sbcl)

	Paul