Compiler bug involving tag collision and labels function inlining

[pfdietz]

(defun bug392 ()
  (let ((lam
         '(lambda ()
           (tagbody (labels ((%f () (go 5)))
                      (declare (inline %f))
                      (tagbody 5 (%f)))
            5)
           nil)))
    (funcall (compile nil lam))))

This function, when called, loops infinitely. I suspect the compiler is getting the two "5" tags confused.

"Version 1.12.2 (v1.12.2) LinuxX8664"