SBCL 2.3.2 Test Failures on macOS

Bug #2009501 reported by Zhongyou Lee
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Invalid
Undecided
Unassigned

Bug Description

SBCL version: "SBCL 2.3.2"
I ran `sh make.sh --dynamic-space-size=1Gb --xc-host=/usr/local/Cellar/sbcl/2.3.2/bin/sbcl`, to compile SBCL, where the `--xc-host` is SBCL installed via Home-brew. And then, some tests are failed or skipped, they are:
 Skipped (broken): compiler.pure.lisp / FULL-WARNING-FOR-UNDEFINED-TYPE-IN-CL
 Skipped (broken): compiler.pure.lisp / SINGLE-WARNING-FOR-SINGLE-UNDEFINED-TYPE
 Expected failure: dynamic-extent.pure.lisp / DX-COMPILER-NOTES
 Skipped (broken): gethash-concurrency.pure.lisp / (HASH-TABLE UNSYNCHRONIZED)
 Expected failure: hash.pure.lisp / SXHASH-ON-DISPLACED-STRING
 Expected failure: block-compile.impure.lisp / BLOCK-COMPILE-TOP-LEVEL-CLOSURES.SAME ENVIRONMENT.LOCAL-CALLS
 Expected failure: compiler-2.impure.lisp / TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT
 Expected failure: compiler-2.impure.lisp / TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT.2
 Expected failure: defstruct.impure.lisp / MAKE-STRING-TYPE-INFERENCE
 Expected failure: full-eval.impure.lisp / INLINE-FUN-CAPTURES-DECL
 Expected failure: packages.impure.lisp / USE-PACKAGE-CONFLICT-SET
 Expected failure: packages.impure.lisp / IMPORT-SINGLE-CONFLICT
 Skipped (broken): run-program.impure.lisp / (RUN-PROGRAM AUTOCLOSE-STREAMS)
 Skipped (broken): threads.impure.lisp / BACKTRACE

More failure informations:

Failure 1
::: Running :DX-COMPILER-NOTES
::: EXPECTED-FAILURE :DX-COMPILER-NOTES due to SIMPLE-ERROR:
        "Wanted 0 notes, got 4 for
   (LAMBDA (LIST)
     (DECLARE (OPTIMIZE (SPACE 0)))
     (SORT LIST (LAMBDA (X Y) (< (TRULY-THE FIXNUM X) (TRULY-THE FIXNUM Y)))))"

Failure 2
::: Running :SXHASH-ON-DISPLACED-STRING
::: EXPECTED-FAILURE :SXHASH-ON-DISPLACED-STRING due to SIMPLE-ERROR:
        "(SXHASH
          DISPLACED-STRING) returned (70409931140602) without signalling ERROR"

Failure 3
::: Running :BLOCK-COMPILE-TOP-LEVEL-CLOSURES.SAME-ENVIRONMENT.LOCAL-CALLS
::: EXPECTED-FAILURE :BLOCK-COMPILE-TOP-LEVEL-CLOSURES.SAME-ENVIRONMENT.LOCAL-CALLS
    due to SIMPLE-ERROR:
        "The assertion
         (AND
          (EQ (SB-KERNEL:FUN-CODE-HEADER (SB-KERNEL:%CLOSURE-FUN #'BAZ3))
              (SB-KERNEL:FUN-CODE-HEADER (SB-KERNEL:%CLOSURE-FUN #'BAR3)))
          (EQ (SB-KERNEL:FUN-CODE-HEADER (SB-KERNEL:%CLOSURE-FUN #'BAZ3))
              (SB-KERNEL:FUN-CODE-HEADER (SB-KERNEL:%CLOSURE-FUN #'FOO3))))
         failed."

; file: /Users/gaoyuzhuo/Downloads/sbcl-2.3.2/tests/block-compile.impure.lisp
; in:
; WITH-TEST (:NAME :BLOCK-COMPILE-TOP-LEVEL-CLOSURES.SIMPLE-FUN-REFERENCE)
; #'CLOSURE
;
; caught STYLE-WARNING:
; undefined function: COMMON-LISP-USER::CLOSURE

; #'SIMPLE
;
; caught STYLE-WARNING:
; undefined function: COMMON-LISP-USER::SIMPLE
;
; compilation unit finished
; Undefined functions:
; CLOSURE SIMPLE
; caught 2 STYLE-WARNING conditions

Failure 4
::: Running :TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT
::: EXPECTED-FAILURE :TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT due to SIMPLE-ERROR:
        "The assertion
         (= 1
            (SB-KERNEL:CODE-N-ENTRIES
             (SB-KERNEL:FUN-CODE-HEADER
              (SB-KERNEL:%CLOSURE-FUN #'TOP-LEVEL-CLOSURE-1))))
         failed with
         (SB-KERNEL:CODE-N-ENTRIES
          (SB-KERNEL:FUN-CODE-HEADER
           (SB-KERNEL:%CLOSURE-FUN #'TOP-LEVEL-CLOSURE-1)))
         = 2."

; file: /Users/gaoyuzhuo/Downloads/sbcl-2.3.2/tests/compiler-2.impure.lisp
; in:
; WITH-TEST (:NAME :TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT.2 :FAILS-ON :SBCL)
; #'TOP-LEVEL-CLOSURE-2
;
; caught STYLE-WARNING:
; undefined function: COMMON-LISP-USER::TOP-LEVEL-CLOSURE-2
;
; compilation unit finished
; Undefined function:
; TOP-LEVEL-CLOSURE-2
; caught 1 STYLE-WARNING condition

Failure 5
::: Running :TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT.2
::: EXPECTED-FAILURE :TOP-LEVEL-CLOSURE-SEPARATE-COMPONENT.2
    due to SIMPLE-ERROR:
        "The assertion
         (= 2
            (SB-KERNEL:CODE-N-ENTRIES
             (SB-KERNEL:FUN-CODE-HEADER
              (SB-KERNEL:%CLOSURE-FUN #'TOP-LEVEL-CLOSURE-2))))
         failed with
         (SB-KERNEL:CODE-N-ENTRIES
          (SB-KERNEL:FUN-CODE-HEADER
           (SB-KERNEL:%CLOSURE-FUN #'TOP-LEVEL-CLOSURE-2)))
         = 3."

; file: /Users/gaoyuzhuo/Downloads/sbcl-2.3.2/tests/compiler-2.impure.lisp
; in: WITH-TEST (:NAME :DEAD-CODE-DFO-PUKING)
; #'DEAD-CODE-PUKE-1
;
; caught STYLE-WARNING:
; undefined function: COMMON-LISP-USER::DEAD-CODE-PUKE-1
;
; compilation unit finished
; Undefined function:
; DEAD-CODE-PUKE-1
; caught 1 STYLE-WARNING condition

Failure 6
::: Running :MAKE-STRING-TYPE-INFERENCE
::: EXPECTED-FAILURE :MAKE-STRING-TYPE-INFERENCE due to SIMPLE-ERROR:
        "The assertion (NOT THINGS) failed with THINGS =
         ((SIMPLE-ARRAY CHARACTER (128)))."
// Running deftype.impure.lisp in COMPILE evaluator mode

Failure 7
::: Running :INLINE-FUN-CAPTURES-DECL
::: EXPECTED-FAILURE :INLINE-FUN-CAPTURES-DECL due to SIMPLE-ERROR:
        "The assertion
         (EQUAL (SB-INT:FUN-NAME-INLINE-EXPANSION 'SOME-INLINE-FUN)
                '(SB-C:LAMBDA-WITH-LEXENV
                  ((DECLARE (MUFFLE-CONDITIONS COMPILER-NOTE))) (X)
                  (BLOCK SOME-INLINE-FUN (- X))))
         failed with (SB-INT:FUN-NAME-INLINE-EXPANSION 'SOME-INLINE-FUN) =
         (LAMBDA (X) (BLOCK SOME-INLINE-FUN (- X)))."

Failure 8
::: Running :USE-PACKAGE-CONFLICT-SET
::: EXPECTED-FAILURE :USE-PACKAGE-CONFLICT-SET due to SIMPLE-ERROR:
        "Wanted (BAR::SYM FOO:SYM QUX:SYM), got (BAR::SYM FOO:SYM):
 (EQUAL (LIST (SYM "BAR" "SYM") (SYM "FOO" "SYM") (SYM "QUX" "SYM"))
        CONFLICT-SET)"

Failure 9
::: Running :IMPORT-SINGLE-CONFLICT
::: EXPECTED-FAILURE :IMPORT-SINGLE-CONFLICT due to SIMPLE-ERROR:
        "Wanted 1, got 2:
 (EQL 1 (LENGTH CONFLICT-SETS))"

More skipped-broken informations:

Skipped-broken 1
::: SKIPPED-BROKEN :FULL-WARNING-FOR-UNDEFINED-TYPE-IN-CL
    Test broken on this platform

Skipped-broken 2
::: SKIPPED-BROKEN :SINGLE-WARNING-FOR-SINGLE-UNDEFINED-TYPE
    Test broken on this platform

Skipped-broken 3
::: SKIPPED-BROKEN (HASH-TABLE :UNSYNCHRONIZED) Test broken on this platform

Skipped-broken 4
::: SKIPPED-BROKEN (RUN-PROGRAM :AUTOCLOSE-STREAMS) Test broken on this platform

Skipped-broken 5
::: SKIPPED-BROKEN :BACKTRACE Test broken on this platform

More information about SBCL used to compile:
It is automatically downloaded and compiled by Home-brew from the official website.
$ brew info sbcl
==> sbcl: stable 2.3.2 (bottled), HEAD
Steel Bank Common Lisp system
http://www.sbcl.org/
/usr/local/Cellar/sbcl/2.3.2 (1,373 files, 63.2MB)
  Poured from bottle using the formulae.brew.sh API on 2023-03-06 at 18:58:27
From: https://github.com/Homebrew/homebrew-core/blob/HEAD/Formula/sbcl.rb

$uname -a
Darwin localhost 21.6.0 Darwin Kernel Version 21.6.0: Mon Dec 19 20:44:01 PST 2022; root:xnu-8020.240.18~2/RELEASE_X86_64 x86_64

Tags: test
Zhongyou Lee (tsinghui)
description: updated
Revision history for this message
Stas Boukarev (stassats) wrote :

"Expected" is Expected.

Changed in sbcl:
status: New → Invalid
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.