From: Paul F. D. <di...@dl...> - 2003-10-26 12:05:51
|
The gcl random tester has found the following compiler bug in clisp (cvs head, built 1 Oct 2003). The test case has been automatically simplified. [1]> (funcall (compile nil '(lambda (a c) (if (or (ldb-test (byte 12 18) a) (not (and t (not (if (not (and c t)) nil nil))))) 170 -110730))) 3035465333 1919088834) - Compiler bug!! Occurred in OPTIMIZE-LABEL. *** 1. Break [2]> backtrace <1> #<SYSTEM-FUNCTION SHOW-STACK> <2> #<COMPILED-CLOSURE SYSTEM::DEBUG-BACKTRACE> <3> #<SYSTEM-FUNCTION SYSTEM::READ-EVAL-PRINT> <4> #<COMPILED-CLOSURE SYSTEM::BREAK-LOOP-2-1> <5> #<SYSTEM-FUNCTION SYSTEM::SAME-ENV-AS> <6> #<COMPILED-CLOSURE SYSTEM::BREAK-LOOP-2> <7> #<SYSTEM-FUNCTION SYSTEM::DRIVER> <8> #<COMPILED-CLOSURE SYSTEM::BREAK-LOOP> <9> #<SYSTEM-FUNCTION INVOKE-DEBUGGER> <10> #<SYSTEM-FUNCTION ERROR> 2 <11> #<COMPILED-CLOSURE SYSTEM::COMPILER-ERROR> <12> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-LABEL> <13> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-SHORT> <14> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-VALUE> <15> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-SHORT> <16> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-JMPCASE> <17> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-SHORT> <18> #<COMPILED-CLOSURE SYSTEM::OPTIMIZE-ALL> <19> #<COMPILED-CLOSURE SYSTEM::COMPILE-TO-LAP> <20> #<COMPILED-CLOSURE SYSTEM::PASS2> <21> #<COMPILED-CLOSURE SYSTEM::COMPILE-LAMBDABODY> <22> #<COMPILED-CLOSURE COMPILE> EVAL frame for form (FUNCALL (COMPILE NIL '(LAMBDA (A C) (IF (OR (LDB-TEST (BYTE 12 18) A) (NOT (AND T (NOT (IF (NOT (AND C T)) NIL NIL))))) 170 -110730))) 3035465333 1919088834) Printed 22 frames 1. Break [2]> Paul |