Error in IR1 transform for logtest

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

Bug Description

File attached. It includes some infrastructure functions/macros from the random tester; you may be able to get rid of some of that with further simplification.

(load "f368.lsp") ==>

The value
  NIL
is not of type
  SB-KERNEL:CTYPE
when binding TYPE
[...]
  0: (SB-KERNEL:CTYPEP 0 NIL) [external]
  1: ((SB-C:DEFTRANSFORM LOGTEST) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME LOGTEST :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL..
  2: (SB-C::IR1-TRANSFORM #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME LOGTEST :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUNCTIO..
  3: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME LOGTEST :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLO..
  4: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK 91 :START c1 {10090E7963}>)
[...]

Paul F. Dietz (paul-f-dietz) wrote :
Stas Boukarev (stassats) wrote :

5e0e669b3168f43ca61cfa358bfe0d12762831fa

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