From: Mattias Engdegård <mattiase@acm.org>
Date: Sun, 2 Jan 2022 10:15:41 +0000 (+0100)
Subject: Move a runtime interpreter check to debug mode
X-Git-Tag: emacs-29.0.90~2808
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=4ff1fb8eb475a540c094878db1811797e2ca2368;p=emacs.git

Move a runtime interpreter check to debug mode

* src/bytecode.c (exec_byte_code): Perform bytecode unwinding error
check only when building with debugging (NDEBUG not defined, checking
enabled, or BYTE_CODE_SAFE enabled).  This improves speed in several
ways.
---

diff --git a/src/bytecode.c b/src/bytecode.c
index 8e0f3d3e4b2..75f1a6b43e5 100644
--- a/src/bytecode.c
+++ b/src/bytecode.c
@@ -1564,15 +1564,17 @@ exec_byte_code (Lisp_Object bytestr, Lisp_Object vector, Lisp_Object maxdepth,
 
  exit:
 
-  eassert (SDATA (bytestr) == bytestr_data);
-
-  /* Binds and unbinds are supposed to be compiled balanced.  */
+#if BYTE_CODE_SAFE || !defined NDEBUG
   if (SPECPDL_INDEX () != count)
     {
+      /* Binds and unbinds are supposed to be compiled balanced.  */
       if (SPECPDL_INDEX () > count)
 	unbind_to (count, Qnil);
       error ("binding stack not balanced (serious byte compiler bug)");
     }
+#endif
+  /* The byte code should have been properly pinned.  */
+  eassert (SDATA (bytestr) == bytestr_data);
 
   Lisp_Object result = TOP;
   SAFE_FREE ();