Similar example:
(defun f () (let* ((v (make-array nil :initial-element (let ((v2 (cons 0 0))) (return-from f 0))))) (declare (dynamic-extent v)) (aref v)))
Similar example:
(defun f ()
(return- from f 0)))))
(let* ((v (make-array nil :initial-element (let ((v2 (cons 0 0)))
(declare (dynamic-extent v))
(aref v)))