Comment 3 for bug 902351

Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

This one still complains.

(defun foo (a)
  (let* ((l1 (blah a))
         (l2 (blah a))
         (foo (make-array l1 :element-type '(unsigned-byte 8)
                             :initial-element 4))
         (bar (make-array l1 :element-type '(unsigned-byte 8)
                             :initial-element 0))
         (hoge (make-array l2 :element-type '(unsigned-byte 8)
                              :initial-element 2))
;;; this one gets a "couldn't stack allocate" note:
         (piyo (make-array l2 :element-type '(unsigned-byte 8)
                              :initial-element 0)))
    (declare ((mod 32752) l1)
             (fixnum l2))
    (declare (dynamic-extent foo bar hoge piyo))
    (do-something-with foo bar hoge piyo)
    (do-something-with foo bar hoge piyo)
    a))