Move a runtime interpreter check to ENABLE_CHECKING

* src/bytecode.c (exec_byte_code): Turn error condition into eassert.

1 files changed, 2 insertions, 7 deletions

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