Re: [Sbcl-devel] BUG: memory fault in CONSET-ADJOIN

[Nikodemus S. <nik...@ra...>]

Thank you!

For some reason we have a lambda-var without constraints in safety 0
code. This catches it in a sane manner:

diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp
index fae2b81..4f8de26 100644
--- a/src/compiler/constraint.lisp
+++ b/src/compiler/constraint.lisp
@@ -332,7 +332,8 @@
 ;;; such constraints from a conset.
 (defun register-constraint (x con y)
   (declare (type lambda-var x) (type constraint con) (type constraint-y y))
-  (conset-adjoin con (lambda-var-constraints x))
+  (conset-adjoin con (or (lambda-var-constraints x)
+                         (error "no constaints on ~S?" x)))
   (macrolet ((ensuref (place default)
                `(or ,place (setf ,place ,default)))
              (ensure-hash (place)

Will commit this or equivalent in a few days unless someone comes up
with an actual diagnosis.

Cheers,

 -- Nikodemus