clasp-developers/clasp

BIR verification failed when installing serapuem(required by spinneret)

Closed this issue · 1 comments

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.

  1. Remove ~/quicklisp and ~/.cache/common-lisp/clasp*
  2. run clasp --load quicklisp.lisp and install quicklisp.
  3. 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.

Highly possibly a duplicate of #1365.