[prev in list] [next in list] [prev in thread] [next in thread] 

List:       sbcl-devel
Subject:    [Sbcl-devel] [BUG]  failed AVER: (EQ PHYSENV (LAMBDA-PHYSENV #))
From:       "Tobias C. Rittweiler" <tcr () freebits ! de>
Date:       2009-10-18 13:41:01
Message-ID: 87d44klt02.fsf () freebits ! de
[Download RAW message or body]


Compiling the function below produces a failed aver in
SB-C::FIND-IN-PHYSENV. (1.0.31.20)

  -T.

(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))))))))


------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay 
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[prev in list] [next in list] [prev in thread] [next in thread]