Re: Failures in random testing
Paul Dietz <[email protected]>
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <CAFELz=sBR5ZGaKakaJuwh7un-ciSvUD46W27dF+vpmbXxBtLnQ@mail.gmail.com> |
No, each is a separate invocation of sbcl Paul On Sat, Nov 29, 2025 at 9:21 AM Stas Boukarev <[email protected]> wrote: > By processes you mean threads? > > On Sat, Nov 29, 2025 at 3:38 PM Paul Dietz <[email protected]> wrote: > > > > These failures go away if I'm running just a single sbcl process instead > of two. It occurs when two are run in parallel, These are being run under > emacs using slime. So I have a suspicion this has something to do with a > race condition somewhere with the multiple threads. I'm going to try to > load down two processes doing some dummy computation and I/O similar to > what the random tester sends out to see if that can reproduce the issue. > > > > Paul > > > > On Fri, Nov 28, 2025 at 11:16 PM Paul Dietz <[email protected]> > wrote: > >> > >> Those were on "2.5.10.157-6d2ffcff0" (x86-64). > >> > >> On Fri, Nov 28, 2025 at 11:15 PM Paul Dietz <[email protected]> > wrote: > >>> > >>> Here's an example: > >>> > >>> break > >>> [Condition of type SIMPLE-CONDITION] > >>> > >>> Restarts: > >>> 0: [CONTINUE] Return from BREAK. > >>> 1: [RETRY] Retry SLIME REPL evaluation request. > >>> 2: [*ABORT] Return to SLIME's top level. > >>> 3: [ABORT] abort thread (#<THREAD tid=8107 "repl-thread" RUNNING > {12084640D3}>) > >>> > >>> Backtrace: > >>> 0: (SB-C::IR1-CONVERT #<SB-C::CTRAN 1 {120314C003}> #<SB-C::CTRAN 2 > {120314C1F3}> #<SB-C::LVAR 3 {120314C223}> (THE FUNCTION #<SB-C::CLAMBDA > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (LAMBDA # :IN B5).. > >>> 1: (SB-C::IR1-CONVERT-%FUNCALL #<SB-C::CTRAN 1 {120314C003}> > #<SB-C::CTRAN 4 {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> (SB-C::%FUNCALL > #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (LAMBD.. > >>> 2: (SB-C::IR1-CONVERT #<SB-C::CTRAN 1 {120314C003}> #<SB-C::CTRAN 4 > {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> (SB-C::%FUNCALL #<SB-C::CLAMBDA > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (LAMBDA # :IN B.. > >>> 3: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 1 {120314C003}> > #<SB-C::CTRAN 4 {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> ((SB-C::%FUNCALL > #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :.. > >>> 4: (SB-C::IR1-TRANSLATE-LOCALLY ((SB-C::%FUNCALL #<SB-C::CLAMBDA > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND # :TYPE > #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED > :VAR.. > >>> 5: (SB-C::IR1-CONVERT-LET #<SB-C::CTRAN 1 {120314C003}> > #<SB-C::CTRAN 4 {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> (LET NIL > (SB-C::%FUNCALL #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. > :%DEBUG-NAME # .. > >>> 6: (SB-C::IR1-CONVERT #<SB-C::CTRAN 1 {120314C003}> #<SB-C::CTRAN 4 > {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> (LET NIL (SB-C::%FUNCALL > #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIN.. > >>> 7: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 1 {120314C003}> > #<SB-C::CTRAN 4 {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> ((LET NIL > (SB-C::%FUNCALL # V1 V5 #)))) > >>> 8: (SB-C::IR1-CONVERT-AUX-BINDINGS #<SB-C::CTRAN 1 {120314C003}> > #<SB-C::CTRAN 4 {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> ((LET NIL > (SB-C::%FUNCALL # V1 V5 #))) NIL NIL NIL :VALUE-SOURCE-FORMS NIL) > >>> 9: (SB-C::IR1-CONVERT-SPECIAL-BINDINGS #<SB-C::CTRAN 1 {120314C003}> > #<SB-C::CTRAN 4 {120314BDA3}> #<SB-C::LVAR 5 {120314BDD3}> ((LET NIL > (SB-C::%FUNCALL # V1 V5 #))) NIL NIL NIL NIL :VALUE-SOURCE-FORMS .. > >>> 10: (SB-C::IR1-CONVERT-LAMBDA-BODY ((LET NIL (SB-C::%FUNCALL # V1 V5 > #))) (#<SB-C::LAMBDA-VAR :%SOURCE-NAME V1 {120314B833}> #<SB-C::LAMBDA-VAR > :%SOURCE-NAME V5 {120314B8F3}> #<SB-C::LAMBDA-VAR :%SOURCE-N.. > >>> 11: (SB-C::IR1-CONVERT-HAIRY-ARGS #<SB-C::OPTIONAL-DISPATCH > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME #1=(LAMBDA (&OPTIONAL V1 V5 > &REST #2=#:IGNORE) :IN B5) :TYPE #3=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCT.. > >>> 12: (SB-C::IR1-CONVERT-HAIRY-ARGS #<SB-C::OPTIONAL-DISPATCH > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME #1=(LAMBDA (&OPTIONAL V1 V5 > &REST #2=#:IGNORE) :IN B5) :TYPE #3=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCT.. > >>> 13: (SB-C::IR1-CONVERT-HAIRY-ARGS #<SB-C::OPTIONAL-DISPATCH > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME #1=(LAMBDA (&OPTIONAL V1 V5 > &REST #2=#:IGNORE) :IN B5) :TYPE #3=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCT.. > >>> 14: (SB-C::IR1-CONVERT-LAMBDA (LAMBDA (&OPTIONAL V1 V5 &REST . > #1=(#:IGNORE)) (DECLARE (IGNORE . #1#)) (BOOLE BOOLE-AND V1 V1)) > :SOURCE-NAME SB-C::.ANONYMOUS. :DEBUG-NAME (LAMBDA (&OPTIONAL V1 V5 &REST > #:.. > >>> 15: (SB-C::FIND-OR-CONVERT-FUN-LEAF (LAMBDA (&OPTIONAL V1 V5 &REST . > #1=(#:IGNORE)) (DECLARE (IGNORE . #1#)) (BOOLE BOOLE-AND V1 V1)) > #<SB-C::CTRAN 6 {12031495D3}>) > >>> 16: (SB-C::IR1-CONVERT-FUNCTION #<SB-C::CTRAN 6 {12031495D3}> > #<SB-C::CTRAN 7 {1203149723}> #<SB-C::LVAR 8 {1203149753}> (FUNCTION > (LAMBDA (&OPTIONAL V1 V5 &REST #:IGNORE) (DECLARE #) (BOOLE BOOLE-AND V1 .. > >>> 17: (SB-C::IR1-CONVERT #<SB-C::CTRAN 6 {12031495D3}> #<SB-C::CTRAN 7 > {1203149723}> #<SB-C::LVAR 8 {1203149753}> (FUNCTION (LAMBDA (&OPTIONAL V1 > V5 &REST #:IGNORE) (DECLARE #) (BOOLE BOOLE-AND V1 V1)))) > >>> 18: (SB-C::IR1-CONVERT-MULTIPLE-VALUE-CALL #<SB-C::CTRAN 6 > {12031495D3}> #<SB-C::CTRAN 9 {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> > (MULTIPLE-VALUE-CALL (FUNCTION (LAMBDA # # #)) (IF (NOT #) (VALUES # #).. > >>> 19: (SB-C::IR1-CONVERT #<SB-C::CTRAN 6 {12031495D3}> #<SB-C::CTRAN 9 > {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> (MULTIPLE-VALUE-CALL (FUNCTION > (LAMBDA # # #)) (IF (NOT #) (VALUES # #) (VALUES 160435353 #.. > >>> 20: (SB-C::IR1-CONVERT-COMMON-FUNCTOID #<SB-C::CTRAN 6 {12031495D3}> > #<SB-C::CTRAN 9 {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> > (MULTIPLE-VALUE-BIND (V1 V5) (IF (NOT #) (VALUES # #) (VALUES 160435353 > #)).. > >>> 21: (SB-C::IR1-CONVERT #<SB-C::CTRAN 6 {12031495D3}> #<SB-C::CTRAN 9 > {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> (MULTIPLE-VALUE-BIND (V1 V5) > (IF (NOT #) (VALUES # #) (VALUES 160435353 #)) (BOOLE BOOLE-AN.. > >>> 22: (SB-C::IR1-CONVERT-COMMON-FUNCTOID #<SB-C::CTRAN 6 {12031495D3}> > #<SB-C::CTRAN 9 {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> (MVB-IF (V1 V5) > (NOT (OR # #)) ((BOOLE BOOLE-AND C C) (GCD #1=# #1#)) (1604.. > >>> 23: (SB-C::IR1-CONVERT #<SB-C::CTRAN 6 {12031495D3}> #<SB-C::CTRAN 9 > {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> (MVB-IF (V1 V5) (NOT (OR # #)) > ((BOOLE BOOLE-AND C C) (GCD #1=# #1#)) (160435353 (LET* # 28.. > >>> 24: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 6 {12031495D3}> > #<SB-C::CTRAN 9 {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> ((MVB-IF (V1 > V5) (NOT #) (# #) (160435353 #) (BOOLE BOOLE-AND V1 V1)))) > >>> 25: (SB-C::IR1-CONVERT-BLOCK #<SB-C::CTRAN 11 {12031483A3}> > #<SB-C::CTRAN 9 {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> (BLOCK B1 > (MVB-IF (V1 V5) (NOT #) (# #) (160435353 #) (BOOLE BOOLE-AND V1 V1)))) > >>> 26: (SB-C::IR1-CONVERT #<SB-C::CTRAN 11 {12031483A3}> #<SB-C::CTRAN 9 > {12031494A3}> #<SB-C::LVAR 10 {12031494D3}> (BLOCK B1 (MVB-IF (V1 V5) (NOT > #) (# #) (160435353 #) (BOOLE BOOLE-AND V1 V1)))) > >>> 27: (SB-C::IR1-CONVERT-COMBINATION-ARGS #<SB-C::LVAR 12 {12031483D3}> > #<SB-C::CTRAN 11 {12031483A3}> #<SB-C::CTRAN 13 {1203147E43}> #<SB-C::LVAR > 14 {1203147E73}> ((BLOCK B1 (MVB-IF # # # # #))) :PASS-NARG.. > >>> 28: (SB-C::IR1-CONVERT-LET #<SB-C::CTRAN 15 {12031480B3}> > #<SB-C::CTRAN 13 {1203147E43}> #<SB-C::LVAR 14 {1203147E73}> (LET > ((#1=#:MINREST11 #)) (IF (> #1# #2=#:ARG010) #1# #2#))) > >>> 29: (SB-C::IR1-CONVERT #<SB-C::CTRAN 15 {12031480B3}> #<SB-C::CTRAN > 13 {1203147E43}> #<SB-C::LVAR 14 {1203147E73}> (LET ((#1=#:MINREST11 #)) > (IF (> #1# #2=#:ARG010) #1# #2#))) > >>> 30: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 15 {12031480B3}> > #<SB-C::CTRAN 13 {1203147E43}> #<SB-C::LVAR 14 {1203147E73}> ((LET (#) (IF > # #:MINREST11 #:ARG010)))) > >>> 31: (SB-C::IR1-CONVERT-AUX-BINDINGS #<SB-C::CTRAN 15 {12031480B3}> > #<SB-C::CTRAN 13 {1203147E43}> #<SB-C::LVAR 14 {1203147E73}> ((LET (#) (IF > # #:MINREST11 #:ARG010))) NIL NIL NIL :VALUE-SOURCE-FORMS NIL) > >>> 32: (SB-C::IR1-CONVERT-SPECIAL-BINDINGS #<SB-C::CTRAN 15 > {12031480B3}> #<SB-C::CTRAN 13 {1203147E43}> #<SB-C::LVAR 14 {1203147E73}> > ((LET (#) (IF # #:MINREST11 #:ARG010))) NIL NIL NIL NIL :VALUE-SOURCE-FO.. > >>> 33: (SB-C::IR1-CONVERT-LAMBDA-BODY ((LET (#) (IF # #:MINREST11 > #:ARG010))) (#<SB-C::LAMBDA-VAR :%SOURCE-NAME #:ARG010 {1203147AC3}>) > :AUX-VARS NIL :AUX-VALS NIL :SOURCE-NAME SB-C::.ANONYMOUS. :DEBUG-NAME .. > >>> 34: (SB-C::IR1-CONVERT-LET #<SB-C::CTRAN 16 {1203146833}> > #<SB-C::CTRAN 17 {1203147933}> #<SB-C::LVAR 18 {1203147963}> (LET > ((#1=#:ARG010 0)) (LET (#) (IF # #:MINREST11 #1#)))) > >>> 35: (SB-C::IR1-CONVERT #<SB-C::CTRAN 16 {1203146833}> #<SB-C::CTRAN > 17 {1203147933}> #<SB-C::LVAR 18 {1203147963}> (LET ((#1=#:ARG010 0)) (LET > (#) (IF # #:MINREST11 #1#)))) > >>> 36: (SB-C::IR1-CONVERT-SRCTRAN #<SB-C::CTRAN 16 {1203146833}> > #<SB-C::CTRAN 17 {1203147933}> #<SB-C::LVAR 18 {1203147963}> > #<SB-C::GLOBAL-VAR :%SOURCE-NAME MAX :TYPE #1=#<SB-KERNEL:FUN-TYPE > (FUNCTION (REA.. > >>> 37: (SB-C::IR1-CONVERT #<SB-C::CTRAN 16 {1203146833}> #<SB-C::CTRAN > 17 {1203147933}> #<SB-C::LVAR 18 {1203147963}> (MAX 0 (BLOCK B1 (MVB-IF # # > # # #)))) > >>> 38: (SB-C::IR1-CONVERT-COMBINATION-ARGS #<SB-C::LVAR 19 {1203146863}> > #<SB-C::CTRAN 16 {1203146833}> #<SB-C::CTRAN 20 {12031462E3}> #<SB-C::LVAR > 21 {1203146313}> ((MAX 0 (BLOCK B1 #))) :PASS-NARGS T :ARG-.. > >>> 39: (SB-C::IR1-CONVERT-LET #<SB-C::CTRAN 22 {1203146543}> > #<SB-C::CTRAN 20 {12031462E3}> #<SB-C::LVAR 21 {1203146313}> (LET > ((#1=#:MAXREST9 #)) (IF (< #1# #2=#:ARG08) #1# #2#))) > >>> 40: (SB-C::IR1-CONVERT #<SB-C::CTRAN 22 {1203146543}> #<SB-C::CTRAN > 20 {12031462E3}> #<SB-C::LVAR 21 {1203146313}> (LET ((#1=#:MAXREST9 #)) (IF > (< #1# #2=#:ARG08) #1# #2#))) > >>> 41: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 22 {1203146543}> > #<SB-C::CTRAN 20 {12031462E3}> #<SB-C::LVAR 21 {1203146313}> ((LET (#) (IF > # #:MAXREST9 #:ARG08)))) > >>> 42: (SB-C::IR1-CONVERT-AUX-BINDINGS #<SB-C::CTRAN 22 {1203146543}> > #<SB-C::CTRAN 20 {12031462E3}> #<SB-C::LVAR 21 {1203146313}> ((LET (#) (IF > # #:MAXREST9 #:ARG08))) NIL NIL NIL :VALUE-SOURCE-FORMS NIL) > >>> 43: (SB-C::IR1-CONVERT-SPECIAL-BINDINGS #<SB-C::CTRAN 22 > {1203146543}> #<SB-C::CTRAN 20 {12031462E3}> #<SB-C::LVAR 21 {1203146313}> > ((LET (#) (IF # #:MAXREST9 #:ARG08))) NIL NIL NIL NIL :VALUE-SOURCE-FORM.. > >>> 44: (SB-C::IR1-CONVERT-LAMBDA-BODY ((LET (#) (IF # #:MAXREST9 > #:ARG08))) (#<SB-C::LAMBDA-VAR :%SOURCE-NAME #:ARG08 {1203145F63}>) > :AUX-VARS NIL :AUX-VALS NIL :SOURCE-NAME SB-C::.ANONYMOUS. :DEBUG-NAME (LE.. > >>> 45: (SB-C::IR1-CONVERT-LET #<SB-C::CTRAN 23 {1203145C83}> > #<SB-C::CTRAN 24 {1203145DD3}> #<SB-C::LVAR 25 {1203145E03}> (LET > ((#1=#:ARG08 12)) (LET (#) (IF # #:MAXREST9 #1#)))) > >>> 46: (SB-C::IR1-CONVERT #<SB-C::CTRAN 23 {1203145C83}> #<SB-C::CTRAN > 24 {1203145DD3}> #<SB-C::LVAR 25 {1203145E03}> (LET ((#1=#:ARG08 12)) (LET > (#) (IF # #:MAXREST9 #1#)))) > >>> 47: (SB-C::IR1-CONVERT-SRCTRAN #<SB-C::CTRAN 23 {1203145C83}> > #<SB-C::CTRAN 24 {1203145DD3}> #<SB-C::LVAR 25 {1203145E03}> > #<SB-C::GLOBAL-VAR :%SOURCE-NAME MIN :TYPE #1=#<SB-KERNEL:FUN-TYPE > (FUNCTION (REA.. > >>> 48: (SB-C::IR1-CONVERT #<SB-C::CTRAN 23 {1203145C83}> #<SB-C::CTRAN > 24 {1203145DD3}> #<SB-C::LVAR 25 {1203145E03}> (MIN 12 (MAX 0 (BLOCK B1 > #)))) > >>> 49: (SB-C::IR1-CONVERT-COMBINATION-ARGS #<SB-C::LVAR 26 {1203145B13}> > #<SB-C::CTRAN 27 {1203145AE3}> #<SB-C::CTRAN 28 {1203145823}> #<SB-C::LVAR > 29 {1203145853}> ((THE (SIMPLE-ARRAY BIT #) #*0011111011110.. > >>> 50: (SB-C::IR1-CONVERT-COMBINATION #<SB-C::CTRAN 30 {1203145953}> > #<SB-C::CTRAN 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> (AREF (THE > (SIMPLE-ARRAY BIT #) #*0011111011110) (MIN 12 (MAX 0 #))) #<SB-C::.. > >>> 51: (SB-C::IR1-CONVERT-COMBINATION-CHECKING-TYPE #<SB-C::CTRAN 30 > {1203145953}> #<SB-C::CTRAN 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> > (AREF (THE (SIMPLE-ARRAY BIT #) #*0011111011110) (MIN 12 (MAX 0.. > >>> 52: (SB-C::IR1-CONVERT #<SB-C::CTRAN 30 {1203145953}> #<SB-C::CTRAN > 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> (AREF (THE (SIMPLE-ARRAY BIT > #) #*0011111011110) (MIN 12 (MAX 0 #)))) > >>> 53: (SB-C::IR1-CONVERT-SRCTRAN #<SB-C::CTRAN 30 {1203145953}> > #<SB-C::CTRAN 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> > #<SB-C::GLOBAL-VAR :%SOURCE-NAME SBIT :TYPE #1=#<SB-KERNEL:FUN-TYPE > (FUNCTION (# .. > >>> 54: (SB-C::IR1-CONVERT #<SB-C::CTRAN 30 {1203145953}> #<SB-C::CTRAN > 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> (SBIT #*0011111011110 (MIN > 12 (MAX 0 #)))) > >>> 55: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 30 {1203145953}> > #<SB-C::CTRAN 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> ((SBIT > #*0011111011110 (MIN 12 #)))) > >>> 56: (SB-C::IR1-CONVERT-BLOCK #<SB-C::CTRAN 31 {12031219D3}> > #<SB-C::CTRAN 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> (BLOCK B5 > (SBIT #*0011111011110 (MIN 12 #)))) > >>> 57: (SB-C::IR1-CONVERT #<SB-C::CTRAN 31 {12031219D3}> #<SB-C::CTRAN > 28 {1203145823}> #<SB-C::LVAR 29 {1203145853}> (BLOCK B5 (SBIT > #*0011111011110 (MIN 12 #)))) > >>> 58: (SB-C::IR1-CONVERT-COMBINATION-ARGS #<SB-C::LVAR 32 {1203121863}> > #<SB-C::CTRAN 33 {1203121833}> #<SB-C::CTRAN 34 {1203121413}> #<SB-C::LVAR > 35 {1203121443}> ((LCM (LOGXOR # #) (BIT #*1011101110001010.. > >>> 59: (SB-C::IR1-CONVERT-COMBINATION #<SB-C::CTRAN 36 {1203121673}> > #<SB-C::CTRAN 34 {1203121413}> #<SB-C::LVAR 35 {1203121443}> (* (LCM > (LOGXOR # #) (BIT #*1011101110001010010 #)) (BLOCK B5 (SBIT #*0011111.. > >>> 60: (SB-C::IR1-CONVERT-COMBINATION-CHECKING-TYPE #<SB-C::CTRAN 36 > {1203121673}> #<SB-C::CTRAN 34 {1203121413}> #<SB-C::LVAR 35 {1203121443}> > (* (LCM (LOGXOR # #) (BIT #*1011101110001010010 #)) (BLOCK B5 (.. > >>> 61: (SB-C::IR1-CONVERT #<SB-C::CTRAN 36 {1203121673}> #<SB-C::CTRAN > 34 {1203121413}> #<SB-C::LVAR 35 {1203121443}> (* (LCM (LOGXOR # #) (BIT > #*1011101110001010010 #)) (BLOCK B5 (SBIT #*0011111011110 #)))) > >>> 62: (SB-C::IR1-CONVERT-PROGN-BODY #<SB-C::CTRAN 36 {1203121673}> > #<SB-C::CTRAN 34 {1203121413}> #<SB-C::LVAR 35 {1203121443}> ((* (LCM # #) > (BLOCK B5 #)))) > >>> 63: (SB-C::IR1-CONVERT-AUX-BINDINGS #<SB-C::CTRAN 36 {1203121673}> > #<SB-C::CTRAN 34 {1203121413}> #<SB-C::LVAR 35 {1203121443}> ((* (LCM # #) > (BLOCK B5 #))) NIL NIL NIL :VALUE-SOURCE-FORMS NIL) > >>> 64: (SB-C::IR1-CONVERT-SPECIAL-BINDINGS #<SB-C::CTRAN 36 > {1203121673}> #<SB-C::CTRAN 34 {1203121413}> #<SB-C::LVAR 35 {1203121443}> > ((* (LCM # #) (BLOCK B5 #))) NIL NIL NIL NIL :VALUE-SOURCE-FORMS NIL) > >>> 65: (SB-C::IR1-CONVERT-LAMBDA-BODY ((* (LCM # #) (BLOCK B5 #))) > (#<SB-C::LAMBDA-VAR :%SOURCE-NAME A :TYPE #<SB-KERNEL:NUMERIC-UNION-TYPE > (INTEGER -6 28)> :WHERE-FROM :DECLARED {1203120C23}> #<SB-C::LAMBDA.. > >>> 66: (SB-C::IR1-CONVERT-LAMBDA (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) > (DECLARE (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...) > :SOURCE-NAME SB-C::.ANONYMOUS. :DEBUG-NAME (LAMBDA (A B C)).. > >>> 67: (SB-C::IR1-TOPLEVEL-FOR-COMPILE (LAMBDA #1=(A B C) (DECLARE (TYPE > # A)) (DECLARE (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) > ...) NIL) > >>> 68: (SB-C::%COMPILE (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) (DECLARE > (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...) NIL NIL) > >>> 69: ((LAMBDA NIL :IN SB-C:COMPILE-IN-LEXENV)) > >>> 70: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT)) > >>> 71: (SB-C:COMPILE-IN-LEXENV (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) > (DECLARE (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...) > #<NULL-LEXENV> NIL NIL NIL NIL NIL) > >>> 72: (COMPILE NIL (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) (DECLARE > (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...)) > >>> > >>> > >>> The error was: > >>> > >>> The value > >>> 3 > >>> is not of type > >>> LIST > >>> when binding SB-C::*CURRENT-PATH* > >>> [Condition of type TYPE-ERROR] > >>> > >>> > >>> This thing is throwing up all sorts of errors, so I don't know how > useful that is. Another one: > >>> > >>> Backtrace: > >>> 0: ((FLET SB-C::MAYBE-REOPTIMIZE :IN > SB-C::MAYBE-REOPTIMIZE-PREVIOUS-NODE) #<SB-C::COMBINATION :FUN #<SB-C::REF > :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND > # :TYPE #<SB-KE.. > >>> Locals: > >>> NODE = #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF # > {12053C4F53}> :ARGS (#) {12053C4FC3}> > >>> 1: (SB-C::MAYBE-REOPTIMIZE-PREVIOUS-NODE #<SB-C::CTRAN 1 > {12053C3CA3}> #<SB-C::CBLOCK NIL :START c1 {12053C3DA3}>) > >>> 2: (SB-C::UNLINK-NODE #<SB-C::CRETURN :LAMBDA #<SB-C::CLAMBDA > :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (LET #) :KIND (NIL) :TYPE > #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFIN.. > >>> 3: (SB-C::MOVE-RETURN-USES #<SB-C::CLAMBDA :%SOURCE-NAME > SB-C::.ANONYMOUS. :%DEBUG-NAME (LET (#1=#:N-LEN57)) :KIND (NIL) :TYPE > #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED > :VA.. > >>> 4: (SB-C::MOVE-RETURN-STUFF #<SB-C::CLAMBDA :%SOURCE-NAME > SB-C::.ANONYMOUS. :%DEBUG-NAME (LET (#1=#:N-LEN57)) :KIND (NIL) :TYPE > #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED > :V.. > >>> 5: (SB-C::LET-CONVERT #<SB-C::CLAMBDA :%SOURCE-NAME > SB-C::.ANONYMOUS. :%DEBUG-NAME (LET (#1=#:N-LEN57)) :KIND (NIL) :TYPE > #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED > :VARS (#.. > >>> 6: (SB-C::MAYBE-LET-CONVERT #<SB-C::CLAMBDA :%SOURCE-NAME > SB-C::.ANONYMOUS. :%DEBUG-NAME (LET (#1=#:N-LEN57)) :KIND (NIL) :TYPE > #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED > :V.. > >>> 7: (SB-C::LOCALL-ANALYZE-COMPONENT #<SB-C:COMPONENT :NAME > "<unknown>" :REANALYZE T {120533B203}>) > >>> 8: (SB-C::TRANSFORM-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF > #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND # > :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHER.. > >>> 9: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN > #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. > :%DEBUG-NAME # :KIND # :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION > (read-on.. > >>> 10: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME "<unknown>" :REANALYZE > T {120533B203}> NIL) > >>> 11: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME "<unknown>" > :REANALYZE T {120533B203}>) > >>> 12: (SB-C::IR1-OPTIMIZE-PHASE-1 #<SB-C:COMPONENT :NAME "<unknown>" > :REANALYZE T {120533B203}>) > >>> 13: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME "<unknown>" :REANALYZE T > {120533B203}>) > >>> 14: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" > :REANALYZE T {120533B203}>) > >>> 15: (SB-C::%COMPILE (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) (DECLARE > (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...) NIL NIL) > >>> 16: ((LAMBDA NIL :IN SB-C:COMPILE-IN-LEXENV)) > >>> 17: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT)) > >>> 18: (SB-C:COMPILE-IN-LEXENV (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) > (DECLARE (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...) > #<NULL-LEXENV> NIL NIL NIL NIL NIL) > >>> 19: (COMPILE NIL (LAMBDA #1=(A B C) (DECLARE (TYPE # A)) (DECLARE > (TYPE # B)) (DECLARE (TYPE # C)) (DECLARE (IGNORABLE . #1#)) ...)) > >>> > >>> The error in this case was > >>> > >>> Unhandled memory fault at #x6. > >>> > >>> On Fri, Nov 28, 2025 at 7:39 PM Stas Boukarev <[email protected]> > wrote: > >>>> > >>>> Can you get a backtrace? > >>>> > >>>> On Sat, Nov 29, 2025 at 3:36 AM Paul Dietz <[email protected]> > wrote: > >>>> > > >>>> > I'm seeing quite a few failures in random testing. The failures do > not reproduce or minimize and appear to be due to memory corruption. > Sometimes they drop out into the low level debugger. This is in version > "2.5.10.157-6d2ffcff0" on x86-64. > >>>> > > >>>> > I'll try to bisect to see where this started. > >>>> > > >>>> > Paul Dietz > >>>> > > >>>> > _______________________________________________ > >>>> > Sbcl-devel mailing list > >>>> > [email protected] > >>>> > https://lists.sourceforge.net/lists/listinfo/sbcl-devel > _______________________________________________ Sbcl-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/sbcl-devel