sb-introspect ALLOCATION-INFORMATION.7 test fails

Bug #1722354 reported by Cyrus Harmon
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Douglas Katzman

Bug Description

commit b09fb4e982b3eb5b9543059ac3e9fac2a194dff0 introduced the test ALLOCATION-INFORMATION.7, which fails with the following features on x86-64:

(:QUICKLISP :SB-BSD-SOCKETS-ADDRINFO :ASDF-PACKAGE-SYSTEM :ASDF3.1 :ASDF3
 :ASDF2 :ASDF :OS-UNIX :NON-BASE-CHARS-EXIST-P :ASDF-UNICODE :64-BIT
 :64-BIT-REGISTERS :ALIEN-CALLBACKS :ANSI-CL :ASH-RIGHT-VOPS
 :C-STACK-IS-CONTROL-STACK :COMMON-LISP :COMPACT-INSTANCE-HEADER
 :COMPARE-AND-SWAP-VOPS :COMPLEX-FLOAT-VOPS :CYCLE-COUNTER :ELF :FLOAT-EQL-VOPS
 :FP-AND-PC-STANDARD-SAVE :GENCGC :IEEE-FLOATING-POINT :IMMOBILE-CODE
 :IMMOBILE-SPACE :INLINE-CONSTANTS :INTEGER-EQL-VOP :LARGEFILE :LINKAGE-TABLE
 :LINUX :LITTLE-ENDIAN :MEMORY-BARRIER-VOPS :MULTIPLY-HIGH-VOPS
 :OS-PROVIDES-BLKSIZE-T :OS-PROVIDES-DLADDR :OS-PROVIDES-DLOPEN
 :OS-PROVIDES-GETPROTOBY-R :OS-PROVIDES-POLL :OS-PROVIDES-PUTWC
 :OS-PROVIDES-SUSECONDS-T :PACKAGE-LOCAL-NICKNAMES :PRECISE-ARG-COUNT-ERROR
 :RAW-INSTANCE-INIT-VOPS :RAW-SIGNED-WORD :RELOCATABLE-HEAP :SB-DOC
 :SB-DYNAMIC-CORE :SB-EVAL :SB-FUTEX :SB-LDB :SB-PACKAGE-LOCKS :SB-SIMD-PACK
 :SB-SOURCE-LOCATIONS :SB-THREAD :SB-TRACEROOT :SB-UNICODE :SBCL
 :STACK-ALLOCATABLE-CLOSURES :STACK-ALLOCATABLE-FIXED-OBJECTS
 :STACK-ALLOCATABLE-LISTS :STACK-ALLOCATABLE-VECTORS
 :STACK-GROWS-DOWNWARD-NOT-UPWARD :SYMBOL-INFO-VOPS :UNBIND-N-VOP
 :UNDEFINED-FUN-RESTARTS :UNIX :UNWIND-TO-FRAME-AND-CALL-VOP :X86-64)

The failure mode is:

Test (SB-INTROSPECT-TEST::ALLOCATION-INFORMATION.7) failed
Form: (LET (SB-INTROSPECT-TEST::C)
        (SETQ SB-INTROSPECT-TEST::*B*
                (ASH 1 (* SB-VM:GENCGC-CARD-BYTES SB-VM:N-BYTE-BITS 4)))
        (SETQ SB-INTROSPECT-TEST::*NEGB* (- SB-INTROSPECT-TEST::*B*))
        (SETQ SB-INTROSPECT-TEST::C
                (+ (+ SB-INTROSPECT-TEST::*B* (ASH 1 100))
                   SB-INTROSPECT-TEST::*NEGB*))
        (AND
         (LET ((SB-INTROSPECT-TEST::PROPS
                (NTH-VALUE 1
                           (SB-INTROSPECT:ALLOCATION-INFORMATION
                            SB-INTROSPECT-TEST::C))))
           (EQ (GETF SB-INTROSPECT-TEST::PROPS :LARGE) T)
           (EQ (GETF SB-INTROSPECT-TEST::PROPS :BOXED) T))
         (MULTIPLE-VALUE-BIND
             (SB-INTROSPECT-TEST::PAGE SB-INTROSPECT-TEST::GEN)
             (SB-INTROSPECT-TEST::PAGE-AND-GEN SB-INTROSPECT-TEST::*B*)
           (LOOP SB-INTROSPECT-TEST::FOR SB-INTROSPECT-TEST::I SB-INTROSPECT-TEST::FROM 1 SB-INTROSPECT-TEST::TO 5
                 DO (GC :GEN SB-INTROSPECT-TEST::I)
                 SB-INTROSPECT-TEST::ALWAYS (AND
(SB-INTROSPECT-TEST::CHECK-PAGE/GEN/BOXEDP
SB-INTROSPECT-TEST::*B*
SB-INTROSPECT-TEST::PAGE
SB-INTROSPECT-TEST::I NIL)
                                             (LET ((SB-INTROSPECT-TEST::PROPS
                                                    (NTH-VALUE 1
(SB-INTROSPECT:ALLOCATION-INFORMATION
SB-INTROSPECT-TEST::C))))
                                               (AND
                                                (NOT
                                                 (GETF
SB-INTROSPECT-TEST::PROPS
                                                  :LARGE :MISSING))
                                                (NOT
                                                 (GETF
SB-INTROSPECT-TEST::PROPS
                                                  :BOXED :MISSING)))))))))
Expected value: T
Actual value: NIL.

and the stack trace:

1 out of 114 total tests failed: (SB-INTROSPECT-TEST::ALLOCATION-INFORMATION.7).
WARNING: ignoring expected failures in test-op
Unhandled SIMPLE-ERROR in thread #<SB-THREAD:THREAD "main thread" RUNNING
                                    {10019073A3}>:
  test-op failed with unexpected failures

Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {10019073A3}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<SIMPLE-ERROR "test-op failed with unexpected failures" {1001F7FE63}> #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK *INVOKE-DEBUGGER-HOOK* #<SIMPLE-ERROR "test-op failed with unexpected failures" {1001F7FE63}>)
2: (INVOKE-DEBUGGER #<SIMPLE-ERROR "test-op failed with unexpected failures" {1001F7FE63}>)
3: (ERROR "test-op failed with unexpected failures")
4: ((:METHOD ASDF/ACTION:PERFORM (ASDF/LISP-ACTION:TEST-OP (EQL #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">))) #<unused argument> #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">) [fast-method]
5: ((SB-PCL::EMF ASDF/ACTION:PERFORM) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">)
6: ((:METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">) [fast-method]
7: ((:METHOD ASDF/PLAN:PERFORM-PLAN (LIST)) ((#1=#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/SYSTEM:SYSTEM "sb-introspect">) (#2=#<ASDF/LISP-ACTION:PREPARE-OP > . #3=#<ASDF/SYSTEM:SYSTEM #4="sb-rt">) (#2# . #5=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #4# "rt">) (#6=#<ASDF/LISP-ACTION:LOAD-OP > . #5#) (#1# . #3#) (#6# . #3#) (#2# . #<ASDF/SYSTEM:SYSTEM #7="sb-introspect/tests">) (#2# . #8=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #7# "xref-test-data">) (#1# . #8#) (#6# . #8#) (#2# . #9=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #7# "xref-test">) (#1# . #9#) ...) :FORCE NIL) [fast-method]
8: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
9: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) ((#1=#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/SYSTEM:SYSTEM "sb-introspect">) (#2=#<ASDF/LISP-ACTION:PREPARE-OP > . #3=#<ASDF/SYSTEM:SYSTEM #4="sb-rt">) (#2# . #5=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #4# "rt">) (#6=#<ASDF/LISP-ACTION:LOAD-OP > . #5#) (#1# . #3#) (#6# . #3#) (#2# . #<ASDF/SYSTEM:SYSTEM #7="sb-introspect/tests">) (#2# . #8=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #7# "xref-test-data">) (#1# . #8#) (#6# . #8#) (#2# . #9=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #7# "xref-test">) (#1# . #9#) ...)) [fast-method]
10: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
11: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {1002645D33}>) [fast-method]
12: ((:METHOD ASDF/OPERATE:OPERATE (ASDF/OPERATION:OPERATION ASDF/COMPONENT:COMPONENT)) #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">) [fast-method]
13: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">)
14: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
15: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect/tests">) [fast-method]
16: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> ASDF/LISP-ACTION:TEST-OP :SB-INTROSPECT/TESTS)
17: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
18: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:TEST-OP :SB-INTROSPECT/TESTS) [fast-method]
19: (ASDF/OPERATE:TEST-SYSTEM :SB-INTROSPECT/TESTS)
20: ((SB-PCL::EMF ASDF/ACTION:PERFORM) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect">)
21: ((:METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect">) [fast-method]
22: ((:METHOD ASDF/PLAN:PERFORM-PLAN (LIST)) ((#1=#<ASDF/LISP-ACTION:PREPARE-OP > . #2=#<ASDF/SYSTEM:SYSTEM #3="sb-introspect">) (#1# . #4=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #3# "introspect">) (#5=#<ASDF/LISP-ACTION:LOAD-OP > . #4#) (#<ASDF/LISP-ACTION:COMPILE-OP > . #2#) (#5# . #2#) (#<ASDF/LISP-ACTION:TEST-OP > . #2#)) :FORCE NIL) [fast-method]
23: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
24: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) ((#1=#<ASDF/LISP-ACTION:PREPARE-OP > . #2=#<ASDF/SYSTEM:SYSTEM #3="sb-introspect">) (#1# . #4=#<ASDF/LISP-ACTION:CL-SOURCE-FILE #3# "introspect">) (#5=#<ASDF/LISP-ACTION:LOAD-OP > . #4#) (#<ASDF/LISP-ACTION:COMPILE-OP > . #2#) (#5# . #2#) (#<ASDF/LISP-ACTION:TEST-OP > . #2#))) [fast-method]
25: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
26: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {1002225B13}>) [fast-method]
27: ((:METHOD ASDF/OPERATE:OPERATE (ASDF/OPERATION:OPERATION ASDF/COMPONENT:COMPONENT)) #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect">) [fast-method]
28: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect">)
29: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
30: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) #<ASDF/LISP-ACTION:TEST-OP > #<ASDF/SYSTEM:SYSTEM "sb-introspect">) [fast-method]
31: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> ASDF/LISP-ACTION:TEST-OP "sb-introspect")
32: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
33: (ASDF/CACHE:CALL-WITH-ASDF-CACHE #<CLOSURE (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {100474EB4B}> :OVERRIDE NIL :KEY NIL)
34: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:TEST-OP "sb-introspect") [fast-method]
35: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:TEST-OP "sb-introspect") [fast-method]
36: (ASDF/OPERATE:TEST-SYSTEM "sb-introspect")
37: (SB-INT:SIMPLE-EVAL-IN-LEXENV (ASDF/INTERFACE::TEST-ASDF-CONTRIB "sb-introspect") #<NULL-LEXENV>)
38: (EVAL (ASDF/INTERFACE::TEST-ASDF-CONTRIB "sb-introspect"))
39: (SB-IMPL::PROCESS-EVAL/LOAD-OPTIONS ((:LOAD . "../asdf-stub.lisp") (:EVAL . "(asdf::test-asdf-contrib \"sb-introspect\")")))
40: (SB-IMPL::TOPLEVEL-INIT)
41: ((FLET "WITHOUT-INTERRUPTS-BODY-26" :IN SAVE-LISP-AND-DIE))
42: ((LABELS SB-IMPL::RESTART-LISP :IN SAVE-LISP-AND-DIE))

Douglas Katzman (dougk)
Changed in sbcl:
assignee: nobody → Douglas Katzman (dougk)
status: New → Fix Committed
Stas Boukarev (stassats)
Changed in sbcl:
status: Fix Committed → Fix Released
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.