[Gcl-devel] Low-level compiler bug

[Faré]

Reproducible with
as of cl-launch 4.0.1.7 f8e00d84b2a1c57d70c229eb0853b785932a5a45
and asdf 3.1.0.86 425bedf0e45e9d16145bd09b7284a4b78fa1273d

Reproducible as is:
        ./cl-launch.sh -B redo_test sh gcl exec noupdate noinc file
system noinit
Also this way:
./cl-launch.sh -l "sbcl ccl clisp cmucl ecl abcl scl allegro lispworks
gcl xcl" -B tests 2414

The error looks like some low-level bug the GCL compiler guts:
Signalled by SYSTEM:LAMBDA-CLOSURE.
Condition in SYSTEM:LAMBDA-CLOSURE [or a callee]:
INTERNAL-SIMPLE-TYPE-ERROR: ((2631026688121587906

         . -1637057488107324088)

        . 2065) is not of type (OR

                                PATHNAME

                                STRING

                                SYMBOL

                                STREAM):

After I enable debugging during the tests (see in cl-launch-tests), I
don't get this error message, but a different error:

Signalled by IF.
Invalid source registry (:TREE) (will be skipped)

Broken at IF.  Type :H for Help.
 1 (Continue) Return to top level.
COMMON-LISP-USER>>:b
Backtrace: progn > system:lambda-closure > block > if > progn >
asdf/find-system:initialize-source-registry > system:lambda-closure >
block > asdf/source-registry:compute-source-registry >
system:lambda-closure > block > block > let* >
asdf/source-registry:flatten-source-registry > system:lambda-closure >
block > remove-duplicates > let > flet > let >
asdf/source-registry::inherit-source-registry > system:lambda-closure
> block > if > progn > lambda > system:lambda-closure > block >
macrolet > macrolet > let > flet > let* > block > lambda >
system:lambda-closure > block > macrolet > macrolet > let > flet >
let* > block > let > block > let* > tagbody > if > progn > tagbody >
asdf/source-registry::process-source-registry-directive >
system:lambda-closure > block > let* > let > let > if > if > if > if >
if > if > if > asdf/source-registry::inherit-source-registry >
system:lambda-closure > block > if > progn > lambda >
system:lambda-closure > block > macrolet > macrolet > let > flet >
let* > block

All tests work on other implementations, and many other tests work for
gcl, therefore I suspect this is a compiler bug.

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
Government — If you think the problems we create are bad,
just wait until you see our solutions.