make-array bug

[Alessandro Serra]

Hello,

evaluating in sbcl ver 1.3.13 and ver 1.3.14 the following expression:

(defvar a nil)
(let ((rows (make-array 1
                :adjustable t
                :fill-pointer (if a
                          0
                          nil)
                :initial-element nil)))
       rows)

I have:

debugger invoked on a TYPE-ERROR in thread
#<THREAD "main thread" RUNNING {1001BBF533}>:
  The value
    NIL
  is not of type
    REAL

Restarts:

 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*PROCESS-INPUT] Continue reading input.
 2: [ABORT] Return to SLIME's top level.
 3: [CLOSE-CONNECTION] Close SLIME connection.
 4: [ABORT] abort thread (#<THREAD "swank-server" RUNNING {10061EE153}>)

Backtrace:
  0: ((LAMBDA ()))
  1: (SB-INT:SIMPLE-EVAL-IN-LEXENV (LET* ((A NIL) (ROWS #)) ROWS) #<NULL-LEXENV>)

With sbcl/1.3.12 there is not any error.

Linux desktop 4.9.6-1-ARCH #1 SMP PREEMPT Thu Jan 26 09:22:26 CET 2017 x86_64 GNU/Linux.

Regards

Alessandro

[Stas Boukarev (stassats)]

In 70c777694103e07eb80b03cf34aba2cdb6cd4f69.