The value (#<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF [...] is not of type (OR NULL SB-C::COMPILER-ERROR-CONTEXT SB-C::NODE) when binding SB-C::*COMPILER-ERROR-CONTEXT*

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

Bug Description

(lambda ()
  (declare (optimize (safety 0)))
  (let ((*s* (boole boole-2 0 (catch 'ct1 0))))
    (declare (dynamic-extent *s*))
    (declare (special *s*))
    ))

==>

The value
  (#<SB-C::COMBINATION
     :FUN #<SB-C::REF
            :LEAF #<SB-C::GLOBAL-VAR
                    :%SOURCE-NAME SB-C::%NLX-ENTRY
                    :TYPE #1=#<SB-KERNEL:FUN-TYPE (FUNCTION (T)
                                                   *)>
                    :DEFINED-TYPE #1#
                    :WHERE-FROM :DECLARED
                    :KIND :GLOBAL-FUNCTION {100A188BC3}> {100A188D13}>
     :ARGS (#<SB-C::REF
              :LEAF #<SB-KERNEL:CONSTANT
                      :VALUE #<SB-C::NLX-INFO
                               :BLOCK #<SB-C::CBLOCK 7 :START c1 {100A182C63}>
                               :TARGET #<SB-C::CBLOCK NIL :START c2 {100A188A23}>
                               :INFO NIL {100A188973}> {100A188EA3}> {100A188F13}>) {100A188D83}>
   #<SB-EXT:EXIT
     :ENTRY #<SB-C::ENTRY {100A182D33}>
     :VALUE #<SB-C::LVAR 3 {100A183973}> {100A1839C3}>)

is not of type
  (OR NULL SB-C::COMPILER-ERROR-CONTEXT SB-C::NODE)
when binding SB-C::*COMPILER-ERROR-CONTEXT*
   [Condition of type TYPE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: ((FLET SB-C::DO-1-USE :IN SB-C::NOTE-NO-STACK-ALLOCATION) (#<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF # {100A188D13}> :ARGS (#) {100A188D83}> #<SB-EXT:EXIT :ENTRY #<SB-C::ENTRY {100A182D33}> :VALUE #..
  1: (SB-C::NOTE-NO-STACK-ALLOCATION #<SB-C::LVAR 4 {100A181BC3}> :FLUSH NIL)
  2: (SB-C::RECHECK-DYNAMIC-EXTENT-LVARS #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) :REANALYZE T {100A186043}>)
  3: (SB-C::PHYSENV-ANALYZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-0) :REANALYZE T {100A186043}>)
[...]

Stas Boukarev (stassats) wrote :

f0d316f0b2f010ea2e1551b8ea729708a87d5951

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats) on 2018-04-29
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