Infloop in type derivation, SB-C::NODE-HOME-LAMBDA

Hi,

The following function seems to be stuck in an infinite loop during 
compilation, on AMD64.

* (lisp-implementation-version)
"2.6.1.111-a927f1190"
* (lambda (a)
     (declare (type (member 9487488659326318736 -4575/796) a))
     (type-of (the (integer 9487488659326134648 9487488659326449806) a)))

   C-c C-c
debugger invoked on a SB-SYS:INTERACTIVE-INTERRUPT @B800348644 in thread
restarts (invokable by number or by possibly-abbreviated name):
   0: [CONTINUE] Return from SB-UNIX:SIGINT.
   1: [ABORT   ] Exit debugger, returning to top level.

(SB-C::NODE-HOME-LAMBDA #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF 
#<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME 
(SB-C::TRANSFORM-FOR SB-KERNEL:UNSIGNED-BYTE-64-P) :KIND (NIL) :TYPE 
#<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED 
:VARS (SB-C::OBJECT) {1206329F03}> {12063296D3}> :ARGS (#<SB-C::REF 
:%SOURCE-NAME SB-C::OBJECT :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME #:G4 
:TYPE #<SB-KERNEL:UNION-TYPE (OR # # #)> {12043B8493}> {1206329873}>) 
{1206329743}>)


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel