Comment 3 for bug 1811251

And
(defun test (z)
  (declare (optimize (debug 1) speed (safety 0)))
  (block b8
    (return-from b8
      (let ((lv3 333333)
            *)
        (boole boole-1 lv3
               (the integer
                    (catch 'ct4
                      (let ((x (list 1)))
                        (declare (dynamic-extent x))
                        (return-from b8 (if z
                                            (eval x)
                                            (eval x)))))))))))

failed AVER: (EQ (SB-C::IR2-LVAR-KIND SB-C::2FIRST) :UNKNOWN)