add stack sanity check

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index b2eee68b3ffde47e379c340a91ffbba7b05dc791..adda0537a6e1ce3ed0db7f17f2bd44bb31225e7a 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -745,7 +745,8 @@ the annotation emission."
                (cdr insn))))
     (comp-op-case
       (TAG
-       (comp-lap-to-limple-bb arg))
+       ;; Paranoically sanity check stack depth.
+       (cl-assert (= (cddr insn) (comp-limplify-sp comp-pass))))
       (byte-stack-ref
        (comp-copy-slot (- (comp-sp) arg 1)))
       (byte-varref