BIR verification failed when installing serapuem(required by spinneret)
Closed this issue · 1 comments
2403772980ygy commented
When using quicklisp to install spinneret, a build failure emerged. (log attached below)
Code at issue
(ql:quickload "spinneret")
Other steps to reproduce
If the problem cannot be reproduced from just a code sample, include other steps here.
- Remove ~/quicklisp and ~/.cache/common-lisp/clasp*
- run
clasp --load quicklisp.lisp
and install quicklisp. - evaluate `(ql:quickload "spinneret")
Context
Commit c050e51, clasp version: clasp-boehmprecise-2.3.0-48-gc050e511e-ga4c1ad67
- If relevant, your operating system and other aspects of your computing environment
Not really relevant, but is Gentoo, llvm&clang16.
((COMPILATION-SPEED 1) (DEBUG 1) (SPACE 1) (SPEED 1) (SAFETY 1)) - Any other context about the problem
A brief log(the log contains like a million of lines so I'm just posting the last lines):
; BIR verification failed. The IR is in an inconsistent state.
; This probably indicates a problem in the compiler; please report it.
;
; Problems pertaining to function #<FUNCTION MAP-SUBSEQ>:
;
; #<IBLOCK MERGE>
; is not in its dynamic environment #<FUNCTION MAP-SUBSEQ>'s scope
; has no function; it may have been deleted.
;
; (cast 251 unassigned nil) -> 252
; has use-before-define on inputs (#<PHI @0x7f1bfacbe549>) (of all inputs (#<PHI @0x7f1bfacbe549>))
;
; at /home/erina/quicklisp/dists/quicklisp/software/serapeum-20230618-git/sequences.lisp 120:0
;
Condition of type: COMPILE-FILE-ERROR
COMPILE-FILE-ERROR while compiling #<CL-SOURCE-FILE "serapeum" "level1" "sequences">
Available restarts:
(use :r1 to invoke restart 1, etc.)
It seems that some packages have been updated these days. But with other flavors I haven't got such a problem.
2403772980ygy commented
Highly possibly a duplicate of #1365.