#<SB-KERNEL:NAMED-TYPE NIL> fell through ETYPECASE expression.

Bug #1928798 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(lambda (b)
  (block b7
    (equal
     (the integer
          (ignore-errors
           (return-from b7
             b)))
    (the integer
          (if t
              (return-from b7 b)
              (ignore-errors
               (if t
                   (return-from b7 1099511627782)
                   -59060)))))))

==>

#<SB-KERNEL:NAMED-TYPE NIL> fell through ETYPECASE expression.
Wanted one of (SB-KERNEL:ARRAY-TYPE SB-KERNEL:UNION-TYPE
               SB-KERNEL:MEMBER-TYPE
               SB-KERNEL:INTERSECTION-TYPE).
   [Condition of type SB-KERNEL:CASE-FAILURE]
[...]
  0: ((LABELS SB-KERNEL::DETERMINE :IN SB-KERNEL:CTYPE-ARRAY-DIMENSIONS) #<SB-KERNEL:NAMED-TYPE NIL>)
  1: (SB-KERNEL:CTYPE-ARRAY-DIMENSIONS #<SB-KERNEL:NAMED-TYPE NIL>)
  2: (SB-C::ARRAY-TYPE-DIMENSIONS-MISMATCH #<SB-KERNEL:NAMED-TYPE NIL> #<SB-KERNEL:NAMED-TYPE NIL>)
  3: ((SB-C:DEFTRANSFORM EQUAL) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME EQUAL :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUN..
  4: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME EQUAL :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBA..
 [...]

description: updated
Stas Boukarev (stassats)
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