failed AVER: (EQ SB-C::CALLED SB-C::FUN)

Bug #1748299 reported by Paul F. Dietz on 2018-02-08
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(compile
 nil
 '(lambda (float-string &key start end radix junk-allowed type)
   (let ((radix-array (radix-values radix))
         (integer-part 0)
         (mantissa 0)
         (mantissa-size 1)
         (sign 1))
     (with-input-from-string (float-stream float-string)
       (labels ((peek ()
                  (peek-char nil float-stream nil nil nil))
                (next ()
                  (read-char float-stream nil nil nil))
                (sign ()
                  (cond ((char= (peek) #\+) (next) (setf sign 1))
                        ((char= (peek) end *a*
                                (read-n-bytes-into *stream* *n-bytes* *v*)
                                (setf (aref *vector* *i*) (funcall *f* *v* 0))
                                *finally*
                                (return *vector*)
                                )
                         (next)
                         (setf sign -1)))
                  (integer-part))
                (integer-part ()
                  (cond
                    ((position (peek) radix-array)
                     (setf integer-part 0)
                     (return-from integer-part (integer-part)))
                    ((null (peek)) (done))
                    ))
                (mantissa ())
                (bad-string ())
                (done ()))
         (sign)
         )))))

===>

failed AVER: (EQ SB-C::CALLED SB-C::FUN)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ SB-C::CALLED SB-C::FUN))
  1: (SB-IMPL::%FAILED-AVER (EQ SB-C::CALLED SB-C::FUN))
  2: (SB-C::UNCONVERT-TAIL-CALLS #<SB-C::CLAMBDA :%SOURCE-NAME SIGN :%DEBUG-NAME (LABELS SIGN :IN #:DROP-THRU-TAG-1) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED..
  3: (SB-C::MOVE-RETURN-STUFF #<SB-C::CLAMBDA :%SOURCE-NAME SIGN :%DEBUG-NAME (LABELS SIGN :IN #:DROP-THRU-TAG-1) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED :V..
  4: (SB-C::LET-CONVERT #<SB-C::CLAMBDA :%SOURCE-NAME SIGN :%DEBUG-NAME (LABELS SIGN :IN #:DROP-THRU-TAG-1) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED :VARS NI..
  5: (SB-C::MAYBE-LET-CONVERT #<SB-C::CLAMBDA :%SOURCE-NAME SIGN :%DEBUG-NAME (LABELS SIGN :IN #:DROP-THRU-TAG-1) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED :V..
  6: (SB-C::PROPAGATE-FUN-CHANGE #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SIGN :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FRO..
  7: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SIGN :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE..
[...]

Stas Boukarev (stassats) wrote :

In a2821fe5df7cb8a926c53607c17bbf68443a558c

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers