In SBCL 2.1.10.214-c78c677a3, x86-64
(defun bug072 (a) (labels ((%f () 0)) (if (<= a 0) :bad (if (< a 0) (%f) (%f)))))
(bug072 10) ==> :BAD
This was fixed in a later commit.
Bug watches keep track of this bug in other bug trackers.
This was fixed in a later commit.