Compiler error with NIL array type when optimize iterations are limited

[Paul F. Dietz]

 (let ((sb-c::*max-optimize-iterations* 1)) (compile nil '(lambda (a) (setf (aref (the (simple-array nil) a)) 1))))

==>

The value
  #<SB-KERNEL:NAMED-TYPE NIL>
is not of type
  SB-KERNEL:VALUES-TYPE
[...]
  0: (SB-C::CAST-CHECK-TYPES #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1005E86B13}> :ASSERTED-TYPE #1=#<SB-KERNEL:NAMED-TYPE NIL> :TYPE-TO-CHECK #1# {1005E89DC3}>)
  1: (SB-C::GENERATE-TYPE-CHECKS #<SB-C:COMPONENT :NAME (LAMBDA (A)) {1005E89063}>)
  2: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LAMBDA (A)) {1005E89063}>)
  3: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (A)) {1005E89063}>)
[...]

[Stas Boukarev (stassats)]

I'd say WONTFIX unless it can be replicated with a normal *max-optimize-iterations*.

[Paul F. Dietz (paul-f-dietz)]

Fair enough!