memory fault loading .fasl or type-error during compilation

Bug #2002895 reported by 3b
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
High
Unassigned

Bug Description

on windows and linux x8664, 2.3.0.130-2ae8a38b6 (seems to be new since 2.3.0?)

loading a fasl of a file containing

((lambda ()
   (alexandria:format-symbol :keyword "~a" 2)
   (alexandria:format-symbol :keyword "~a" 2)))

errors with

CORRUPTION WARNING in SBCL pid 27928 tid 27928:
Memory fault at 0xfffffffffffffff9 (pc=0x536082b6 [code 0x53608230+0x86 ID 0x6b92], fp=0x7f8ba3767528, sp=0x7f8ba3767518) tid 27928
The integrity of this image is possibly compromised.
Continuing with fingers crossed.

debugger invoked on a SB-SYS:MEMORY-FAULT-ERROR in thread #<THREAD "main thread" RUNNING {10013A0003}>: Unhandled memory fault at #xFFFFFFFFFFFFFFF9.

with (sb-ext:restrict-compiler-policy 'debug 3 3), it instead fails during compilation with

debugger invoked on a TYPE-ERROR @52DA4948 in thread
#<THREAD "main thread" RUNNING {10013A0003}>:
  The value
    0
  is not of type
    SB-C::CONSTRAINT

Seems to be specific to top-level forms (original code was building the initial value for a defparameter).

Revision history for this message
Stas Boukarev (stassats) wrote :
Changed in sbcl:
status: New → Confirmed
importance: Undecided → High
Charles (karlosz)
Changed in sbcl:
status: Confirmed → Fix Committed
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.