Failed AVER calling FORMAT with a bad special variable in place of format string

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

Bug Description

(compile nil '(lambda () (format nil *debugger-hook*)))

==>

failed AVER:
    (MULTIPLE-VALUE-BIND (SB-C::VAL SB-C::WIN)
        (SB-KERNEL:CSUBTYPEP TYPE
                             (SB-KERNEL:SPECIFIER-TYPE
                              'FUNCTION))
      (OR SB-C::VAL (NOT SB-C::WIN)))
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (MULTIPLE-VALUE-BIND (SB-C::VAL SB-C::WIN) (SB-KERNEL:CSUBTYPEP TYPE (SB-KERNEL:SPECIFIER-TYPE #)) (OR SB-C::VAL (NOT SB-C::WIN))))
  1: (SB-IMPL::%FAILED-AVER (MULTIPLE-VALUE-BIND (SB-C::VAL SB-C::WIN) (SB-KERNEL:CSUBTYPEP TYPE (SB-KERNEL:SPECIFIER-TYPE #)) (OR SB-C::VAL (NOT SB-C::WIN))))
  2: (SB-C::VALIDATE-CALL-TYPE #<SB-C::COMBINATION :FUN #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {10085CED73}> :ASSERTED-TYPE #1=#<SB-KERNEL:UNION-TYPE (OR # # BASE-STRING FUNCTION)> :TYPE-TO-C..
  3: (SB-C::PROPAGATE-FUN-CHANGE #<SB-C::COMBINATION :FUN #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {10085CED73}> :ASSERTED-TYPE #1=#<SB-KERNEL:UNION-TYPE (OR # # BASE-STRING FUNCTION)> :TYPE-TO..
  4: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {10085CED73}> :ASSERTED-TYPE #1=#<SB-KERNEL:UNION-TYPE (OR # # BASE-STRING FUNCTION)> :TYP..
  5: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK NIL :START c2 {10085D5803}>)
[...]

Stas Boukarev (stassats) wrote :

449d87a8a82a95a9adc6aacee807e5f3772c108f

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-02-28
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers