1.0.26.21 can't compile ironclad 0.26

Bug #349244 reported by Attila Lendvai
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Unassigned

Bug Description

unpulling the 1.0.26.12 change fixes it, so i believe it's 1.0.26.12 that broke it:

Sun Mar 22 20:44:13 CET 2009 jsnell
  * [sbcl @ 2009-03-22 19:44:13 by jsnell]
  1.0.26.12: Don't allow (LOOP FOR X ACROSS A ...) where A evaluates to NIL

          * Patch by Daniel Lowe

the error comes from macroexpand:

The length requested (0) does not match the type restriction in (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (16)).

  0: (MAKE-SEQUENCE (SIMPLE-OCTET-VECTOR 16) 0) [:EXTERNAL]
  1: (SB-KERNEL:LIST-TO-VECTOR* NIL (SIMPLE-OCTET-VECTOR 16))
  2: (SB-LOOP::LOOP-DECLARE-VAR IV (SIMPLE-OCTET-VECTOR 16) NIL)
  3: (SB-LOOP::LOOP-MAKE-VAR #<unavailable argument> (IV MODE) (SIMPLE-OCTET-VECTOR 16) NIL)
  4: (SB-LOOP::LOOP-DO-WITH)
  5: (SB-LOOP::LOOP-ITERATION-DRIVER)
  6: (SB-LOOP::LOOP-TRANSLATE (WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = PLAINTEXT-START ...) #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))) #<SB-LOOP::LOOP-UNIVERSE ANSI>)
  7: (MACROEXPAND-1 (LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...) #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))))
  8: (SB-WALKER::WALK-DECLARATIONS ((LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...)) #<FUNCTION SB-WALKER::WALK-REPEAT-EVAL> #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))) NIL #<unavailable argument> NIL)
  9: (SB-WALKER::WALK-LET/LET*
      (LET ()
        (LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...))
      :EVAL
      #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1)))
      NIL)
 10: (SB-WALKER::WALK-FORM-INTERNAL
      (LET ()
        (LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...))
      :EVAL
      #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))))
...

hth,

- attila

Revision history for this message
Juho Snellman (jsnell+bugs) wrote :

Reverted.

Changed in sbcl:
status: New → Fix Committed
Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

In 1.0.27.

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

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.