From: Andrea Corallo <akrl@sdf.org>
Date: Sun, 13 Oct 2019 18:22:14 +0000 (+0200)
Subject: add stack sanity check
X-Git-Tag: emacs-28.0.90~2727^2~1082
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=a90803a4d1bc47fcfc3b9a3af519cd8441bd92de;p=emacs.git

add stack sanity check
---

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index b2eee68b3ff..adda0537a6e 100644
--- 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