failed AVER: (EQ PHYSENV (LAMBDA-PHYSENV #))

[Tobias C. Rittweiler]

(defun test ()
  (let* ((*sequence* '#*0000000000)
         (*size* 10)
         (*start* 1)
         (*end* (1- *size*))
         (*from-end* t))
    (let ((result
           (sb-sequence:make-sequence-like *sequence*
                                           (- (or *end* *size*) (or *start* 0)))))
      (multiple-value-bind (iterator+977 getter+978 setter+979)
          (DOES-NOT-EXIST-BUT-DOES-NOT-MATTER)
          #+nil
          (tcr.sequence-iterators::%make-sequence-iterator *sequence*
                                                           :start *start*
                                                           :end *end*
                                                           :from-end *from-end*)

        (declare (ignorable iterator+977 setter+979 getter+978))
        (flet ((iterator+976 ()
                 (funcall iterator+977))
               (ptr ()
                 (funcall getter+978))
               ((setf ptr) (new-value)
                 (funcall setter+979 new-value)))
          (declare (ignorable (function iterator+976) (function (setf ptr))
                              (function ptr)))
          (declare (inline iterator+976 ptr (setf ptr)))
          (let ((iterator+976 #'iterator+976))
            (declare (ignorable iterator+976))
            (prog ((iterator+1002 iterator+976) (elt) (idx+1005) (next?+1003))
             [do-sequence-iterators*]-loop+1004
               (let (tmp-var+1006 tmp-idx+1007)
                 (multiple-value-setq (next?+1003 tmp-var+1006 tmp-idx+1007)
                   (funcall iterator+1002))
                 (unless next?+1003 (return result))
                 (setq elt tmp-var+1006)
                 (setq idx+1005 tmp-idx+1007))
               (setf (elt result idx) elt)
               (incf idx)
               (go [do-sequence-iterators*]-loop+1004))))))))

[Nikodemus Siivola (nikodemus)]

Reduced test case:

(defun test ()
  ;; If there is only a single value here, the code compiles fine.
  (multiple-value-bind (iterator+977 getter+978) (DOES-NOT-EXIST-BUT-DOES-NOT-MATTER)
    (flet ((iterator+976 ()
             (funcall iterator+977)))
      ;; If the inline declaration is missing, the code compiles fine.
      (declare (inline iterator+976))
      (let ((iterator+976 #'iterator+976))
        ;; If the call is to the function and not the variable, the code compiles fine.
        (funcall iterator+976)))))

[Alexey Dejneka (adejneka)]

Inline expansion of ITERATOR+976 tries to refer to a dead LAMBDA-VAR ITERATOR+977 of varargs entry, which was substituted with ITERATOR+977 of &OPTIONAL processor. Thus the referenced variable is dead and is not bound anywhere.

The attached patch fixes the problem by giving up on inline expansion if it tries to make a reference to a dead LAMBDA-VAR, similar to the way dead BLOCK tags are treated.

[Nikodemus Siivola (nikodemus)]

In SBCL 1.0.42.15.