sb-introspect ALLOCATION-INFORMATION.7 test fails

Bug #1722354 reported by Cyrus Harmon on 2017-10-09
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
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) on 2017-10-09
Changed in sbcl:
assignee: nobody → Douglas Katzman (dougk)
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers