Subject: [clisp-list] (random tester) Compiler bug in OPTIMIZE-LABEL

From: "Paul F. Dietz" <[email-masked]>
Date: Sun Oct 26 04:06:11 2003

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